Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Modeling question

Dário Abdulrehman dario.rehman at gmail.com
Fri Nov 26 07:23:31 PST 2010


Supposing I have a class X such that:

Class X
necessary conditions:
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:

Class X
necessary conditions:
hasP some Y and (Z partOf Y)

How can I express such a condition in Protégé?

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20101126/a9d053b8/attachment.html>


More information about the protege-owl mailing list