Results 31 to 40 of about 3,544,832 (346)
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
Argumentative Support for Structured HACCP Plans
Advances 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
AAAI 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]
Journal 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
Fractal 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]
, 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]
, 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]
Transactions on Graph Data and KnowledgeOntology 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]
, 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
Applied 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