Results 1 to 10 of about 2,297,669 (248)
Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies
Information, 2022 Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge.
Thierry Louge +2 more
doaj +1 more source
An Occurrence Description Logic [PDF]
Logical Investigations, 2022 Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative
Badie, Farshad; id_orcid 0000-0003-1534-3332 +1 more
openaire +2 more sources
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2
Future Internet, 2022 In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to OWL
Domenico Lembo +3 more
doaj +1 more source
Ontological analysis in the problems of container applications threat modelling
Informatika, 2023 Objectives. The main purpose of the work is the experimental verification of the method of automatic threat modelling based on the ontological approach using the example of multicomponent container applications presented in the form of data flow diagrams.
A. I. Brazhuk, E. V. Olizarovich
doaj +1 more source
Description logic programs [PDF]
Proceedings of the twelfth international conference on World Wide Web - WWW '03, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description ...
Benjamin N. Grosof +3 more
openaire +4 more sources
A NEUTROSOPHIC DESCRIPTION LOGIC [PDF]
New Mathematics and Natural Computation, 2006 Description Logics (DLs) are appropriate, widely used, logics for managing structured knowledge. They allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it
HAIBIN WANG +3 more
openaire +7 more sources
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +3 more
core +4 more sources
Algorithms for Instance Retrieval and Realization in Fuzzy Ontologies
Mathematics, 2020 Fuzzy description logics, the formalism behind fuzzy ontologies, are an important mathematical method with applications in many artificial intelligence scenarios. This paper proposes the first specific algorithms to solve two reasoning tasks with respect
Ignacio Huitzil +2 more
doaj +1 more source
On bisimulations for description logics [PDF]
Information Sciences, 2015 42 ...
Ali Rezaei Divroodi, Linh Anh Nguyen
openaire +3 more sources
Description logics of context [PDF]
Journal of Logic and Computation, 2013 We introduce Description Logics of Context (DLCs)—an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify and express first-order properties.
Szymon Klarman +1 more
openaire +3 more sources