Results 11 to 20 of about 3,682,520 (371)
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics [PDF]
Journal of experimental and theoretical artificial intelligence (Print), 2019 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of concept combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC TR, whose semantics is based on the notion of rational ...
Lieto, Antonio, Pozzato, Gian Luca
core +5 more sources
SHACL: A Description Logic in Disguise [PDF]
International Conference on Logic Programming and Non-Monotonic Reasoning, 2021 SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its ...
B. Bogaerts +2 more
semanticscholar +8 more sources
A Neutrosophic Description Logic [PDF]
New Mathematics and Natural Computation, 2008 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.
ANDRÉ ROGATKO +8 more
core +5 more sources
Unification in the Description Logic EL [PDF]
Logical Methods in Computer Science, 2010 The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other hand, EL is used to define large biomedical ontologies.
Franz Baader, Barbara Morawska
doaj +6 more sources
The Data Complexity of Description Logic Ontologies [PDF]
Logical Methods in Computer Science, 2017 We analyze the data complexity of ontology-mediated querying where the ontologies are formulated in a description logic (DL) of the ALC family and queries are conjunctive queries, positive existential queries, or acyclic conjunctive queries. Our approach
Carsten Lutz, Frank Wolter
doaj +3 more sources
A Description Logic of Typicality for Conceptual Combination [PDF]
International Syposium on Methodologies for Intelligent Systems, 2018 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling.
A Lieto +12 more
core +2 more sources
Description logic programs: combining logic programs with description logic [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.
Benjamin N. Grosof +3 more
semanticscholar +4 more sources
Tableaux for Free Logics with Descriptions [PDF]
, 2021 This is a full version of a conference paper that will appear in the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
Andrzej Indrzejczak, Michał Zawidzki
openalex +5 more sources
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
Farshad Badie, Hans Götzsche
openalex +4 more sources
IEEE Intelligent Systems, 2014 This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to ...
Krötzsch, M, Simancik, F, Horrocks, I
+6 more sources