Search Mailing List Archives
[protege-owl] Modeling question
dario.rehman at gmail.com
Fri Nov 26 07:23:31 PST 2010
Supposing I have a class X such that:
hasP some Y
That is, class X is defined by all the individuals that have some property
hasP with individuals of class Y.
How can I add additional restrictions on the necessary conditions based on
restricting on Y?
By this I mean I want to add some restriction on Y for example, Y must
contain some Z, something like the following:
hasP some Y and (Z partOf Y)
How can I express such a condition in Protégé?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl