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] Example Rule

Matthew Horridge matthew.horridge at
Thu Sep 24 01:36:22 PDT 2009

Hi Antonis,

I have attached a small ontology that shows you the kinds of things  
you can do with user defined numeric ranges in OWL 2.  Open it in  
Protege 4 and then use a reasoner e.g. FaCT++, Pellet or HermiT to  
classify the ontology.  You should notice that individuals no1 and no2  
get inferred to be instances for some classes (based on the  
definitions of these classes and the peoperties of no1 and no2).   
Also, you get inferred subsumptions between classes based on numeric  
ranges, for example, VeryFastVehicle is inferred to be a subclass of  

The one place were you would need some kinds of rules is to do  
calculations.  For example if you wanted to work out acceleration from  
horse power and mass, but you already have this encoded in the  
ontology anyway.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: vehicle.owl
Type: application/octet-stream
Size: 10317 bytes
Desc: not available
URL: <>
-------------- next part --------------

On 23 Sep 2009, at 22:08, Antonis Kaklis wrote:

> Thank you for your quick response Matthew.
> Can you provide me any example?  Anything...
> since i 'm not familiar yet with OWL 2.0.
> (I'm going to!).
> I just downloaded the Protege 4 User guide.
> Antonis
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

More information about the protege-owl mailing list