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    

[p4-feedback] Why max operator doesnt work when min operator works

Dave McComb dave.mccomb at
Thu Nov 14 15:36:15 PST 2013

It's part of the open world assumption.  

Create a complement of the class with the max restriction.  ( say your restriction is tricycle vehicle and hasWheels max 3). Create a vehicle instance.  Create 4 wheel instances and make sure they are mutually different from each other.  Create a complement to the Tricycle class ( say NonTrike, which is equivalent to Not Tricycle ). Put the four wheels on your vehicle and you'll see it infers to be a NonTrike. 

Sent from my iPhone

On Nov 14, 2013, at 2:52 PM, "buksy" <jjtusan at> wrote:

> and what about the min & max operator? Why does max operator doesn't work?
> Could you please suggest how to edit ontology to make max operator work?
> --
> View this message in context:
> Sent from the Protege-OWL 4.x Support mailing list archive at
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at

More information about the p4-feedback mailing list