RE: RDF-Based Semantics and n-ary dataranges

>-----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
=======================================================================