- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Thu, 16 Dec 2010 18:55:10 -0500
- To: Michael Schneider <schneid@fzi.de>
- Cc: public-owl-dev@w3.org, Timothy Redmond <tredmond@stanford.edu>
On Thu, Dec 16, 2010 at 3:34 PM, Michael Schneider <schneid@fzi.de> wrote: > Dear all! > > I am trying to find out, from inspecting the OWL 2 specification, whether an > OWL 2 DL ontology can contain typed literals with datatypes that have been > defined by means of a datatype definition, as specified in Sec. 9.4 of [1]. My read is no, based on Sec. 5.7 about Literals. It says: "Each literal consists of a lexical form, which is a string, and a datatype; the datatypes supported in OWL 2 are described in more detail in Section 4." Section 4 describes the OWL2 datatype map, noting the distinction between the set of datatypes and the datatype map. I think it be clearer to to say in 5.7 "Each literal consists of a lexical form, which is a string, and a datatype from the OWL 2 datatype map, described in more detail in Section 4." An issue would be that while we are able to define a datatype IRI, we have no way of specifying the lexical space, which can't be unambiguously determined because of DataUnionOf and DataComplementOf Protege 4.1 will load the ontologies, however it will not find the inconsistency. It does not complain, however, and assuming this analysis is correct, it should complain when sending this to the reasoners. -Alan > > For example, is the following text given in Functional Syntax a > syntactically valid OWL 2 DL ontology, or not? > > Declaration(DataProperty( ex:hasAge )) > > DatatypeDefinition( ex:Adult > DatatypeRestriction( xsd:integer > xsd:minInclusive "18"^^xsd:integer )) > > DataPropertyAssertion( ex:hasAge ex:alice "42"^^ex:Adult ) > > In the case of a positive answer, my next question is: does adding the > following axiom lead to a syntax error, or does it lead to a semantically > inconsistent ontology? > > DataPropertyAssertion( ex:hasAge ex:bob "14"^^ex:Adult ) > > Best, > Michael > > [1] <http://www.w3.org/TR/2009/REC-owl2-syntax-20091027> > > -- > Dipl.-Inform. Michael Schneider > Research Scientist, Information Process Engineering (IPE) > Tel : +49-721-9654-726 > Fax : +49-721-9654-727 > Email: michael.schneider@fzi.de > WWW : http://www.fzi.de/michael.schneider > ======================================================================= > 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, RP Karlsruhe > Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor, > Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer > Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus > ======================================================================= > >
Received on Thursday, 16 December 2010 23:55:59 UTC