Results 31 to 40 of about 3,544,832 (346)

Minimally inconsistent reasoning in Semantic Web. [PDF]

open access: yesPLoS 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

Argumentative Support for Structured HACCP Plans

open access: yesAdvances in Electrical and Computer Engineering, 2010
This research presents an argumentation based decision support system for implementing the Hazard Analysis at Critical Control Points (HACCP) standard in food industry.
GROZA, A., LETIA, I. A.
doaj   +1 more source

Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases

open access: yesAAAI Conference on Artificial Intelligence, 2016
Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics.
Meghyn Bienvenu   +2 more
semanticscholar   +1 more source

The Logical Difference for the Lightweight Description Logic EL [PDF]

open access: yesJournal of Artificial Intelligence Research, 2012
We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest.
B. Konev   +3 more
semanticscholar   +1 more source

Finiteness of One-Valued Function Classes in Many-Valued Logic

open access: yesFractal and Fractional, 2023
This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology.
Elmira Yu. Kalimulina
doaj   +1 more source

Tableaux for Free Logics with Descriptions [PDF]

open access: yes, 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
openaire   +3 more sources

Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics [PDF]

open access: yes, 2017
Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation
Aiguier, Marc   +3 more
core   +4 more sources

Strong Faithfulness for ELH Ontology Embeddings [PDF]

open access: yesTransactions on Graph Data and Knowledge
Ontology embedding methods are powerful approaches to represent and reason over structured knowledge in various domains. One advantage of ontology embeddings over knowledge graph embeddings is their ability to capture and impose an underlying schema to ...
Lacerda, Victor   +2 more
doaj   +1 more source

Towards a generation-based semantic web authoring tool [PDF]

open access: yes, 2009
Widespread use of Semantic Web technologies requires interfaces through which knowledge can be viewed and edited without deep understanding of Description Logic and formalisms like OWL and RDF.
Power, Richard
core   +3 more sources

On Construction and Evaluation of Analogical Arguments for Persuasive Reasoning

open access: yesApplied Artificial Intelligence, 2019
Analogical reasoning is a complex process based on a comparison between two pairs of concepts or states of affairs (aka. the source and the target) for characterizing certain features from one to another.
Teeradaj Racharak   +3 more
doaj   +1 more source

Home - About - Disclaimer - Privacy