Search Mailing List Archives
[protege-owl] Please help: complement of a class?
tar at ISI.EDU
Tue Jan 8 14:03:11 PST 2008
On Jan 8, 2008, at 1:27 PM, Scott L Holmes wrote:
> Pardon the interruption but Thomas, you are very close to explaining
> why I had so much difficulty with individuals when I attempt to
> implement a sequence pattern as described in .
> After creating my sequence of individuals, I was unable to construct
> a class that answers the query "What is the last item in my list?".
> Creating an individual of class EmptyList as described in  makes
> no sense to me and leads pretty quickly to inconsistencies. Also I
> see no way in OWL to infer some thing that doesn't have some thing
> related to it. So I'm at a loss at how to infer the last item in the
> list if you are only able to describe it as that list item not
> followed by anything.
>  Putting OWL in Order: Patterns for Sequences in OWL, Nick
> Drummond, et. al.
I only looked at this briefly, but why doesn't this work:
lastItem <=> List and some hasNext EmptyList
since hasNext is functional, if there is an emptylist there, you must
be the last item.
More information about the protege-owl