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] How to express mandatory participation of B in R where are is a Datatype property.

Thomas Russ tar at ISI.EDU
Wed May 21 10:18:40 PDT 2008

On May 21, 2008, at 2:23 AM, Mariano Rodriguez wrote:

> Hello everybody, this is about a general question which is affecting
> some parts of our project. Related to some possible bug in protege.
> The objective is to be able to express mandatory participation of
> instances of a concept into a Datatype property.
> That is, we want to say:
> A \isa \exists U in DL		------ where U is a datatype property (a.k.a.,
> concept attribute, concrete domain role, etc)

Use a minimum cardinality restriction with the minimum cardinality  
being 1:

A \isa U >= 1

More information about the protege-owl mailing list