Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening proced...
In computer science, ontologies are dynamic entities: to adapt them to new and evolving applications...
Abstract. We investigate cases where an ontology expressed in a seem-ingly hard DL can be polynomial...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its...
Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its...
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or e...
Ontology engineering is a hard and error-prone task, in which small changes may lead to er...
The classical approach for repairing a Description Logic ontology O in the sense of removing an unwa...
Concept refinement operators have been introduced to describe and compute generalisations and specia...
We describe two applications of refinement operators that can generalise and specialise concepts exp...
Reasoners can be used to derive implicit consequences from an ontology. Sometimes unwanted consequen...
Ontologies based on Description Logic (DL) represent general background knowledge in a terminology (...
With the proliferation of the Semantic Web, there has been a rapidly rising interest in de-scription...
Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies....
High-quality ontologies are critical to ontology-based applications, such as natural language unders...
In computer science, ontologies are dynamic entities: to adapt them to new and evolving applications...
Abstract. We investigate cases where an ontology expressed in a seem-ingly hard DL can be polynomial...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...
Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its...
Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its...
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or e...
Ontology engineering is a hard and error-prone task, in which small changes may lead to er...
The classical approach for repairing a Description Logic ontology O in the sense of removing an unwa...
Concept refinement operators have been introduced to describe and compute generalisations and specia...
We describe two applications of refinement operators that can generalise and specialise concepts exp...
Reasoners can be used to derive implicit consequences from an ontology. Sometimes unwanted consequen...
Ontologies based on Description Logic (DL) represent general background knowledge in a terminology (...
With the proliferation of the Semantic Web, there has been a rapidly rising interest in de-scription...
Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies....
High-quality ontologies are critical to ontology-based applications, such as natural language unders...
In computer science, ontologies are dynamic entities: to adapt them to new and evolving applications...
Abstract. We investigate cases where an ontology expressed in a seem-ingly hard DL can be polynomial...
Abstract. The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoni...