[Pellet-users] Cyclic Definition Consistency Checking

[Evren Sirin]

On 1/23/07 2:01 PM, Chalkiopoulos Christos wrote:
> Dear All,
>
> we are trying to check the consistency of an OWL-DL ontology using the 
> attached code.
>
> It works ok when disjoint axiom is violated.
> But it does not return an inconsistency when cyclic definitions (see 
> attached file) are validated.
>
> example:
> A subClassOf B
> B subClassOf A
This is not an inconsistency. These two statements are exactly 
equivalent to say

A equivalentClass B

If you also add the disjointness it is normal to get an inconsistency 
because you assert two contradictory statements.

Regards,
Evren
>
> regards
>
>
> Chalkiopoulos Christos
> Aegean University
> Department of Information & Communication Systems Engineering
>
>
>
>
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/