Results 21 to 30 of about 2,766,744 (297)
EL Embeddings: Geometric construction of models for the Description Logic EL ++ [PDF]
International Joint Conference on Artificial Intelligence, 2019 An embedding is a function that maps entities from one algebraic structure into another while preserving certain characteristics. Embeddings are being used successfully for mapping relational data or text into vector spaces where they can be used for ...
Maxat Kulmanov +3 more
semanticscholar +1 more source
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics [PDF]
Journal of experimental and theoretical artificial intelligence (Print), 2018 We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality , whose semantics is based on the notion of rational closure ...
Antonio Lieto, G. Pozzato
semanticscholar +1 more source
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
openaire +3 more sources
Logic as an internal organisation of language [PDF]
\v{C}ulina, Boris (2024). Logic as an internal organisation of
language. Science and Philosophy 12 (1):62-71, 2021 Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths and logical consequence -- are defined using the internal syntactic and ...
arxiv +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, Götzsche, Hans
openaire +1 more source
The Data Complexity of Description Logic Ontologies [PDF]
Log. Methods Comput. Sci., 2016 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
C. Lutz, F. Wolter
semanticscholar +1 more source
Provenance for the Description Logic ELHr [PDF]
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020 We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens.
Bourgaux C +3 more
openaire +6 more sources
A Description Logic for Analogical Reasoning [PDF]
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021 Ontologies formalise how the concepts from a given domain are interrelated. Despite their clear potential as a backbone for explainable AI, existing ontologies tend to be highly incomplete, which acts as a significant barrier to their more widespread adoption.
Yazmín Ibáñez-García +2 more
openaire +4 more sources
Description Logic Knowledge and Action Bases [PDF]
Journal of Artificial Intelligence Research, 2014 Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information ...
Babak Bagheri Hariri +5 more
semanticscholar +1 more source
Definite Descriptions in Intuitionist Positive Free Logic [PDF]
Logic and Logical Philosophy 30/2 (2021): 327-358, 2021 This paper presents rules of inference for a binary quantifier $I$ for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. $I$ binds one variable and forms a formula from two formulas. $Ix[F, G]$ means `The $F$ is $G$'.
arxiv +1 more source