OWL lite and intersectionOf

Hello,
I have a (perhaps) stupid question, however I can not find out any answer....

I know it is possible to express in OWL Lite that a class can be defined 
as the (subclass of) an intersection of two or more other classes (which 
is the case I am interested in), but this fact is not reflected in the 
OWL Lite abstract syntax. What it is possible to find is the OWL DL axiom :

description ::= classID
            | restriction
            | 'unionOf(' { description } ')'
            | 'intersectionOf(' { description } ')'
            | 'complementOf(' description ')'
            | 'oneOf(' { individualID } ')'

but there is no "description" in any OWL Lite axiom (not at [1], at least).
Hence, there is something I am missing. I tried to figure out what a 
possible axiom for generating intersectionOf (in OWL Lite) might be:

super :: = classID | restriction | 'intersectionOf(' class ID { classID 
} {restriction}')'

Questions are: am I correct? Or where is the point I am missing?

Thanks for the attention,
Stefano David

[1] http://www.w3.org/TR/owl-semantics/

-- 
Stefano David
Ontology Engineering Group        * http://www.oeg-upm.net/ *
Universidad Politécnica de Madrid
Campus de Montegancedo s/n, 28660 Boadilla del Monte - Madrid

"Do you have an ontology in your application? Pay attention!" --e.

Received on Thursday, 15 June 2006 14:19:12 UTC