- From: Michael Schneider <schneid@fzi.de>
- Date: Fri, 2 Nov 2007 20:37:16 +0100
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: <public-owl-dev@w3.org>
Hi Peter! Before I answer to your complete mail, I would like to inquire some information about the following point: Peter F. Patel-Schneider wrote: > I wrote: > >> Let's regard for example the following situation: >> >> (1) <c1> a owl:Class . >> (2) <p> a owl:ObjectProperty . >> (3) <c1> <p> <x> . > >In OWL 1.1 > > Declaration(OWLClass(c1)) > Declaration(ObjectProperty(p)) > ObjectPropertyAssertion(p c1 x) > >which should also have > > Declaration(Individual(c1)) > Declaration(Individual(x)) > >> While OWL-1.0-DL will not allow this combination of axioms, > >Not true, > > Class(c1) > ObjectProperty(p) > Individual(c1 value(p x)) > >is valid OWL DL abstract syntax. (It is true that the RDF translation >for this OWL DL KB is not defined.) If it wasn't you, I would have immediately answered that this is a syntax error. But now I am confused. In the above three Abstract Syntax expressions you state, the name "c1" appears both in a "Class()" expression and in a "Individual()" expression. This is clearly against the "strictly separated parts of the OWL universe" semantics in OWL-DL, and Abstract Syntax is not used for OWL-Full, so this should definitly not be accepted by an OWL-DL parser. I'm afraid that I do not know any OWL-DL validator for Abstract Syntax, otherwise I could easily check. But even if it turned out to be allowed, I would rather think that this is a bug in the OWL spec, not an intended feature. Or is there some intention behind this? Cheers, Michael -- Dipl.-Inform. Michael Schneider FZI Forschungszentrum Informatik Karlsruhe Abtl. Information Process Engineering (IPE) Tel : +49-721-9654-726 Fax : +49-721-9654-727 Email: Michael.Schneider@fzi.de Web : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555 FZI Forschungszentrum Informatik an der Universität Karlsruhe Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe Tel.: +49-721-9654-0, Fax: +49-721-9654-959 Stiftung des bürgerlichen Rechts Az: 14-0563.1 Regierungspräsidium Karlsruhe Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
Received on Friday, 2 November 2007 19:37:32 UTC