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] OWL Lists

Nick Drummond nick.drummond at
Mon Aug 13 02:31:24 PDT 2007


I'm not sure the example you have here is a list.
It is a set of assertions about different cars. There is no ordering  
required by this.
So, you could use the reasoner to assert that each of these cars  
(individuals I assume) is a member of the class of things that only  
have colour red.
Then, if one didn't match this (assuming all of your disjoints are  
correct) you would get in incoherent individual.

With respect to lists in general...
Assuming Red is a class, and subclasses of red are also valid  
(according to my paper [1]):

	and hasContents only red
	and isFollowedBy only (List and hasContents only red)



On 11 Aug 2007, at 00:00, Leonardo Ayres wrote:

> is it possible to define a OWL list that it has a restriction where  
> all elements has the same value of a specific property?
> For example:
> List = { (car1,hasColor,red);(car2,hasColor,red); 
> (car3,hasColor,red);(car4,hasColor,red) }
>                                                           ERROR
> List = { (car1,hasPrice,30);(car2,hasPrice,30);(car3,hasPrice,30); 
> (car4,hasPrice,40)}
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing: 
> faq.html#01a.03

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list