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
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é?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list