Results 1 to 10 of about 2,714,739 (303)
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
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 +1 more source
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report) [PDF]
Logic Programming and Automated Reasoning, 2020 Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences.
Christian Alrabbaa +4 more
semanticscholar +1 more source
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
Provenance for the Description Logic ELHr [PDF]
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 ...
Camille Bourgaux +3 more
semanticscholar +1 more source
Ontology-based Knowledge System and Team Verification Tool for Competitive Pokemon
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Competitive Pokemon is a domain with rich semantics and complex relationships between its elements. Current research in the domain has focused on developing AI agents to select moves within a match, ignoring the problem of team building.
Daniel Verdear, Ubbo Visser
doaj +1 more source
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
Applied Sciences, 2022 Laser powder bed fusion (LPBF) provides a rapid and cost-effective solution for fabricating metallic parts with near full density and high precision, strength, and stiffness directly from metallic powders. In LPBF, process variables are widely recognised
Zuyu Li +3 more
doaj +1 more source
Spatiotemporal Data Mining Problems and Methods
Analytics, 2023 Many scientific fields show great interest in the extraction and processing of spatiotemporal data, such as medicine with an emphasis on epidemiology and neurology, geology, social sciences, meteorology, and a great interest is also observed in the study
Eleftheria Koutsaki +2 more
doaj +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