RE: dependency analysis of OWL axioms

We had proposed this a number of years ago, but never had time to go down that path. More towards trying to infer "integrity constraints" dynamically (yes, OWL is Open World; integrity constraints are Closed World). Finding the ripple effect of deleting, adding, moving graph nodes that kind of corresponds to "referential integrity" (i.e., structural) in the database world. Since all OWL ontologies (the axioms) can be represented as graphs, it should be doable. How efficiently, I don't know.

I hope someone is doing this these days, and would be interested in what you find out.

Thanks,
Leo

>-----Original Message-----
>From: Leila Bayoudhi [mailto:bayoudhileila@yahoo.fr]
>Sent: Friday, November 14, 2014 6:36 AM
>To: semantic-web@w3.org
>Subject: dependency analysis of OWL axioms
>
>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.
>--398296598-735493131-1415964971=3759
>Content-Type: text/html; charset=f-8
>Content-Transfer-Encoding: quoted-printable
>
><html><body><div style="color:#000; background-color:#fff; font-
>family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-
>serif;font-size:16px"><div>Hello</div><div>I want to know if there is a tool or
>an approach realizing dependency annalysis of OWL 2
>axioms.</div><div>Example:&nbsp;</div><div>by removing a subClassOf
>axioms , I want to know affected ones in the ontology.</div><div>Or, can I do it
>manually by recognizing different types of axioms and expecting relations
>between them.</div><div>Thank you for answering
>me.</div></div></body></html>
>--398296598-735493131-1415964971=3759--
>

Received on Friday, 14 November 2014 16:42:36 UTC