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

Kaarel Kaljurand kaljurand at
Fri Nov 26 15:58:31 PST 2010


On Fri, Nov 26, 2010 at 16:23, Dário Abdulrehman <dario.rehman at> wrote:
> 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é?

maybe like this:

hasP some (Y and inv(partOf) some Z)


More information about the protege-owl mailing list