W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

RE: A possible way of going forward with OWL-R unification (ISSUE-131)

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 16 Jul 2008 20:25:32 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0A26819@judith.fzi.de>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <public-owl-wg@w3.org>
Peter Patel-Schneider wrote:

>Is it even possible for any finite rule set to produce *every* RDFS
>entailment?  Remember that there are an infinite number of RDFS axioms.

Granted! Perhaps one should add some statement to the errata of the RDF
Semantics document that it is sufficient for any implementation to support
the axiomatic triples up to only rdf:_42 ;-)

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 Wednesday, 16 July 2008 18:26:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC