Search Mailing List Archives
[protege-owl] How to express mandatory participation of B in R where are is a Datatype property.
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
A \isa U >= 1
More information about the protege-owl