Re: dependency analysis of OWL axioms

This is not quite a full answer, but may be useful :

Grau, Bernardo Cuenca, Christian Halaschek-Wiener, and Yevgeny Kazakov.*History
matters: Incremental ontology reasoning using modules*. Springer Berlin
Heidelberg, 2007.

http://www.cs.ox.ac.uk/isg/people/yevgeny.kazakov/publications/confs/CueHalKaz07Incremental.pdf

Pellet code:
https://github.com/clarkparsia/pellet/tree/master/modularity

Modularity  code in owlapi (layered on C&P code) :

https://github.com/owlcs/owlapi/tree/master/tools/src/main/java/org/semanticweb/owlapi/modularity
-->
https://github.com/owlcs/owlapi/tree/master/tools/src/main/java/uk/ac/manchester/cs/owlapi/modularity
-->
https://github.com/owlcs/owlapi/tree/master/tools/src/main/java/com/clarkparsia/owlapi/modularity/locality
On Nov 14, 2014 8:01 AM, "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.
>