Re: dependency analysis of OWL axioms

You'll first need to make precise what you mean by "an axiom affects
another axiom". Depending on the precise semantics of such dependency
one can develop analytic methods.

One such notion could be based on modules: an axiom X depends on axiom
Y in ontology O if every module of O which contains X also contains Y.
Intuitively this means that every subset of the ontology which is
complete for reasoning over some fixed set of terms (concepts or
relations) has to contain Y if it contains X. You can find more
details in the papers on atomic decomposition, e.g. [1].

However, people are more often interested not in dependencies between
*asserted* axioms but between axioms and entailments. Then the basic
question is: which entailments will go away (resp. appear) if I remove
(resp. add) the given axiom?

If that is your question, then, as previously suggested, the body of
work on truth maintenance in highly relevant. Specifically, you can
consult literature on incremental reasoning, e.g. [2], or
explanations.

Cheers,
Pavel

[1] Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas
Schneider: The Modular Structure of an Ontology: Atomic Decomposition.
IJCAI 2011: 2232-2237
[2]  Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny
Kazakov: History Matters: Incremental Ontology Reasoning Using
Modules. ISWC/ASWC 2007: 183-196


On Fri, Nov 14, 2014 at 12:36 PM, Leila Bayoudhi <bayoudhileila@yahoo.fr> wrote:
> Hello
> I want to know if there is a tool or an approach realizing dependency
> annalysis of OWL 2 axioms.
> Example:
> by removing a subClassOf axioms , I want to know affected ones in the
> ontology.
> Or, can I do it manually by recognizing different types of axioms and
> expecting relations between them.
> Thank you for answering me.

Received on Friday, 14 November 2014 20:32:52 UTC