- From: Stefano David <sdavid@delicias.dia.fi.upm.es>
- Date: Thu, 15 Jun 2006 14:55:11 +0200
- To: Semantic Web <semantic-web@w3.org>
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