Search Mailing List Archives
[protege-owl] Inference of individuals over transitive properties.
am283298 at ohio.edu
Tue Sep 19 13:19:32 PDT 2006
I am trying to design an set of OWL lists that can classify individual lists
based upon their contents. The list ontology is defined similarly to Pattern 2
of the W3C Working Group Note on N-ary Relations
(http://www.w3.org/TR/swbp-n-aryRelations/). I have attached the list ontology
for reference as well.
If I define a class, Digit, to be an enumeration (using the Enumeration Pattern
Wizard in Protege}, I want to be able to define a concrete list, as an
individual of the class List, where all items in the list contain only
individuals of the class Digit, and let the reasoner infer it to also be of
Given that each item in the list is related to every other item int he list via
a transitive, isFollowedBy, property, I attempted to model a NumberList as follows:
isFollowedBy all ( List and hasContents all Digit)
.....or in OWL...
.....but Protege/Racer will not classify any individuals under NumberList (even
a list consisting of a single digit).
Note: List Items are actually chained together via the non-transitive
Is this a limitation of Protege/Racer integration or an error in design?
Aaron Mitchell <amitchel at cs.ohiou.edu>
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 3892 bytes
Desc: not available
More information about the protege-owl