Re: dependency analysis of OWL axioms

Hi Leila,

The literature on *Truth Maintenance* may be useful.

HTH,  -- Adrian

Executable Open English / Internet Business Logic
Open Apps for Open Data
A Wiki and SOA Endpoint for Apps written in Executable Open Vocabulary
English over SQL and RDF
Online at
Shared use is free, and there are no advertisements

Adrian Walker

On Fri, Nov 14, 2014 at 6:36 AM, Leila Bayoudhi <>

> 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 16:33:39 UTC