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
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:57 UTC