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] WG: reasoner

Mudunuri, Raj Raj.Mudunuri at
Thu Sep 7 09:24:51 PDT 2006

Hi nini,


Sorry for the late... I'm not sure whether you can achieve what you want in Protégé-Owl... it is not possible to associate cardinality restrictions to data type properties, except making them functional... that is, you cannot use a data type property like hasID in the following way... "Student => hasID min 3 ID", where Student and ID are concepts... You can only use object type properties while defining the concepts... I think this is a kind of restriction in OWL DL to keep the semantics reasonable for the reasoners... may be some DLers can comment on this...


Btw, do you mean functional restriction when you say =1 cardinality restriction? I defined it in that way in the ontology attached to this mail... I think you can achieve what you want with the help of SWRL rules... may be some SWRL experts can comment on this...






Von: nini [mailto:nitun at] 
Gesendet: Mittwoch, 30. August 2006 11:15
An: Mudunuri, Raj
Betreff: reasoner


Hello Raj,


I like to define a datatype property to assign a unique value to each individual (instance).

So, I made =1 cardinality restriction on that property.

For example, hasStudentID: Student --> Integer

But, Racer and pellet show warnings on such cardinality restrictions of datatype properties, when I check for consistency.

Do you have any idea for that?



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: student.pprj
Type: application/octet-stream
Size: 200600 bytes
Desc: student.pprj
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: student.owl
Type: application/octet-stream
Size: 1184 bytes
Desc: student.owl
URL: <>

More information about the protege-owl mailing list