Results 21 to 30 of about 3,544,832 (346)
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
An ontology design for validating childhood cancer registry data
Frontiers in Oncology, 2023 Ontologies can provide a valuable role in the work of cancer registration, particularly as a tool for managing and navigating the various classification systems and coding rules.
Nicholas Nicholson +2 more
doaj +1 more source
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
The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
AI, 2022 Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal ...
Farshad Badie, Luis M. Augusto
doaj +1 more source
Plausible Description Logic Programs for Stream Reasoning
Future Internet, 2012 Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming to ...
Ioan Alfred Letia, Adrian Groza
doaj +1 more source
The volume profile method and its theoretical connection with microeconomic theory as the main premise of its application [PDF]
SHS Web of Conferences, 2021 Research background: This article was conceived as a very valuable basis and the result of theoretical research in the field of microeconomics with a specific application.
Chutka Jan
doaj +1 more source
A Rational Entailment for Expressive Description Logics via Description Logic Programs [PDF]
, 2022 Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL ...
Casini G, Straccia U
openaire +5 more sources
The semantics of similarity in geographic information retrieval
Journal of Spatial Information Science, 2011 Similarity measures have a long tradition in fields such as information retrieval, artificial intelligence, and cognitive science. Within the last years, these measures have been extended and reused to measure semantic similarity; i.e., for comparing ...
Krzysztof Janowicz +2 more
doaj +1 more source
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 +2 more sources