W3C home > Mailing lists > Public > public-owl-wg@w3.org > April 2009

RE: RDF-Based Semantics and n-ary dataranges

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 1 Apr 2009 22:09:54 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0011DA53B@judith.fzi.de>
To: "Bijan Parsia" <bparsia@cs.man.ac.uk>
Cc: "W3C OWL Working Group" <public-owl-wg@w3.org>
>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Bijan Parsia
>Sent: Wednesday, April 01, 2009 9:56 PM
>To: W3C OWL Working Group
>Subject: Re: RDF-Based Semantics and n-ary dataranges
>
>On 1 Apr 2009, at 20:44, Michael Schneider wrote:
>
>>> -----Original Message-----
>>> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-
>>> request@w3.org]
>>> On Behalf Of Ian Horrocks
>>> Sent: Wednesday, April 01, 2009 8:47 PM
>>> To: W3C OWL Working Group
>>> Subject: RDF-Based Semantics and n-ary dataranges
>>>
>>> We didn't manage to conclude this discussion.
>>>
>>> Summary of (my understanding of) the discussion so far:
>>>
>>> * we all believe that OWL 2 *should* only support unary datatypes/
>>> ranges, and that ontology documents including n-ary *should* be non-
>>> conformant
>>
>> Hm, I thought that if C&P extends Pellet by support for certain n-ary
>> datatypes, then C&P should still be allowed to call Pellet a
>> conformant OWL
>> 2 DL reasoner?
>
>[snip]
>
>Isn't this always the problem with extensions?
>
>But here it's about documents. An OWL Document with n-ary predicates
>in it is not a conforming OWL Document (it is an extended owl
>document). Thus, a conforming OWL reasoner may reject it.
>
>An OWL reasoner which, in some mode, accepts such documents is no
>more non-conforming than if it accepts XML Schema documents and
>checks them for satisfiability or if it accepts HTML and renders it.

Yes, I think you are right! In general, a conformant OWL 2 XX entailment
checker is only forced to produce the correct set of entailments for a
conformant OWL 2 XX document. For non-conformant documents, I think the
situation is that it may well decide to accept them, either, and produce
whatever result it likes. 

>Cheers,
>Bijan.

Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. 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 Wednesday, 1 April 2009 20:10:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 1 April 2009 20:10:35 GMT