Re: [OWLAPI-developer] Intersection classes and reasoning!!

[Sean B. <sea...@ma...>]

On 10 Aug 2007, at 18:00, Gonzalo A. Aranda Corral wrote:

>
> Hi to all!!
>
>
> Im developing a plugin for prot=E9g=E9!!... but i have one problem!
>
> I dont know how to proove that two classes are disjoints... or its =20
> intersection is empty!
>
> Example:
>
> I have Person, Man and Woman classes.  Man is defined as (Person =20
> and not Woman)
>
> I want "some method" to discover that Man and Woman are disjoints,
> but Person and Man are not disjoint(or its intersection empty) even =20=

> they have not individuals

To check if A and B are disjoint, you can test the satisfiability of =20
(A and B).
If this is unsatisfiable, then you know that there cannot be any =20
individuals
which are both A's and B's, e.g. the two classes are disjoint. I =20
leave it as an
exercise for the reader to discover what the exact methods are to use =20=

for this
(but I suggest you look at the reasoning interfaces :-).

	Sean

--
Sean Bechhofer
School of Computer Science
University of Manchester
sea...@ma...
http://www.cs.manchester.ac.uk/people/bechhofer