Revising Ontologies via Models: The ALC-formula Case

by   Jandson S. Ribeiro, et al.
University of Bergen
University of Koblenz-Landau (Campus Koblenz)

Most approaches for repairing description logic (DL) ontologies aim at changing the axioms as little as possible while solving inconsistencies, incoherences and other types of undesired behaviours. As in Belief Change, these issues are often specified using logical formulae. Instead, in the new setting for updating DL ontologies that we propose here, the input for the change is given by a model which we want to add or remove. The main goal is to minimise the loss of information, without concerning with the syntactic structure. This new setting is motivated by scenarios where an ontology is built automatically and needs to be refined or updated. In such situations, the syntactical form is often irrelevant and the incoming information is not necessarily given as a formula. We define general operations and conditions on which they are applicable, and instantiate our approach to the case of ALC-formulae.


page 1

page 2

page 3

page 4


Computing Datalog Rewritings beyond Horn Ontologies

Rewriting-based approaches for answering queries over an OWL 2 DL ontolo...

Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?

The quest for acquiring a formal representation of the knowledge of a do...

Computing Horn Rewritings of Description Logics Ontologies

We study the problem of rewriting an ontology O1 expressed in a DL L1 in...

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)

State constraints in AI Planning globally restrict the legal environment...

A Survey of Syntactic Modelling Structures in Biomedical Ontologies

Despite the large-scale uptake of semantic technologies in the biomedica...

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

We present a second-order language that can be used to succinctly specif...

Bias in ontologies – a preliminary assessment

Logical theories in the form of ontologies and similar artefacts in comp...

Please sign up or login with your details

Forgot password? Click here to reset