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] Please help: complement of a class?

Thomas Russ 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 [1].
>
> 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 [1] 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.
>
> Scott
>
> [1] 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 mailing list