Results 21 to 30 of about 3,595,838 (347)
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
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
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
Reconciling description logics and rules [PDF]
Journal of the ACM, 2008 Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic inference. Many applications, however, require features of both DLs and rules.
Boris Motik, Riccardo Rosati
openalex +4 more sources
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
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
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, Camille +3 more
openaire +4 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
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
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS ONE, 2017 Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj +1 more source