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 googlemail.com
Tue Apr 13 07:02:07 PDT 2010


No problem i have just figured it out. it is all at the link
https://mailman.stanford.edu/pipermail/protege-owl/2009-August/011944.html

2010/4/13 Rodolfo Rieckhof <rodo2024 at googlemail.com>

> 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: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20100413/ecc4e8d6/attachment.html>


More information about the protege-owl mailing list