Add to ORKGIn this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any ALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued ALC. Our approach can be viewed as a paraconsistent version of KAON2 algorithm
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We fir...
Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is un...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...
In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a...
A four-valued description logic has been proposed to reason with description logic based inconsisten...
International audienceA four-valued description logic has been proposed to reason with description l...
Four-valued description logic has been proposed to reason with description logic based inconsistent ...
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it ...
Description logics are a family of knowledge representation formalism which descended from semantic ...
International audienceThe Web Ontology Language OWL is currently the most prominent formalism for re...
The Web Ontology Languages define a rich machine readable language for knowledge representation on t...
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it ...
Abstract. In an open, constantly changing and collaborative environment like the forthcoming Semanti...
It is well known that description logics cannot tolerate the incomplete or inconsistent data. Recent...
Abstract. The Web Ontology Language OWL is currently the most prominent formalism for representing o...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We fir...
Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is un...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...
In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a...
A four-valued description logic has been proposed to reason with description logic based inconsisten...
International audienceA four-valued description logic has been proposed to reason with description l...
Four-valued description logic has been proposed to reason with description logic based inconsistent ...
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it ...
Description logics are a family of knowledge representation formalism which descended from semantic ...
International audienceThe Web Ontology Language OWL is currently the most prominent formalism for re...
The Web Ontology Languages define a rich machine readable language for knowledge representation on t...
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it ...
Abstract. In an open, constantly changing and collaborative environment like the forthcoming Semanti...
It is well known that description logics cannot tolerate the incomplete or inconsistent data. Recent...
Abstract. The Web Ontology Language OWL is currently the most prominent formalism for representing o...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We fir...
Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is un...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...