Logical inconsistency may often occur throughout the development stage of a DL-based ontology. We apply the lexicographic inference to reason over inconsistent DL-based ontologies without repairing them first. We address the problem of checki
International audienceAs they grow in size, OWL ontologies tend to comprise intuitively incompatible...
International audienceOntologies are at the heart of the Semantic Web technologies. This paper intro...
International audienceAn important issue that arises when querying description logic (DL) knowledge ...
Abstract. In this paper we provide an overview and analysis of approaches for dealing with inconsist...
As a tractable description logic, DL-Lite provides it good compromise between expressive power and c...
Abstract: Ontology driven architecture has revolutionized the inference system by allowing interope...
One of the major problems of large scale, distributed and evolving ontologies is the potential intr...
One of the major problems of large scale, distributed and evolving ontologies is the potential intro...
International audienceThere are several proposals to deal with inconsistencies in DL ontologies thro...
Deliverable D3.4.1(WP3.4) In this document we propose a general framework for reasoning with inconsi...
As classical reasoning from inconsistent ontologies can't give meaningful answers to queries, it is ...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...
International audienceFormally, an ontology is a knowledge base composed of a TBox (a set of axioms)...
The Web Ontology Language. (OWL) is a family of description logic based ontology languages for the S...
Web ontology language OWL DL has two-valued model theory semantics so that ontologies expressed by i...
International audienceAs they grow in size, OWL ontologies tend to comprise intuitively incompatible...
International audienceOntologies are at the heart of the Semantic Web technologies. This paper intro...
International audienceAn important issue that arises when querying description logic (DL) knowledge ...
Abstract. In this paper we provide an overview and analysis of approaches for dealing with inconsist...
As a tractable description logic, DL-Lite provides it good compromise between expressive power and c...
Abstract: Ontology driven architecture has revolutionized the inference system by allowing interope...
One of the major problems of large scale, distributed and evolving ontologies is the potential intr...
One of the major problems of large scale, distributed and evolving ontologies is the potential intro...
International audienceThere are several proposals to deal with inconsistencies in DL ontologies thro...
Deliverable D3.4.1(WP3.4) In this document we propose a general framework for reasoning with inconsi...
As classical reasoning from inconsistent ontologies can't give meaningful answers to queries, it is ...
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies.We firs...
International audienceFormally, an ontology is a knowledge base composed of a TBox (a set of axioms)...
The Web Ontology Language. (OWL) is a family of description logic based ontology languages for the S...
Web ontology language OWL DL has two-valued model theory semantics so that ontologies expressed by i...
International audienceAs they grow in size, OWL ontologies tend to comprise intuitively incompatible...
International audienceOntologies are at the heart of the Semantic Web technologies. This paper intro...
International audienceAn important issue that arises when querying description logic (DL) knowledge ...
DOI
Add to ORKG