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] Cardinality Restrictions

Rodolfo Rieckhof rodo2024 at
Tue Apr 13 07:02:07 PDT 2010

No problem i have just figured it out. it is all at the link

2010/4/13 Rodolfo Rieckhof <rodo2024 at>

> Hello i have an Ontology with the clases A , B and subB which is a subclass
> from C and the Object Propertie op
> i have defined class subB as: op exactly 2 A
> i have 3 Individuals  x,y from class A and z with no class but the
> assertions about Object properties op (x) and op(y)
> I though this should make the reasoner classify z as subB but it doesn't. i
> think it have to do with the Open world reason that, it may be that z more
> Object-Properties have but they are not declared, so how could i tell the
> reasoner that there are no more Object Properties.
> Thanks in advanced
> Rodolfo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list