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

RE: ACTION-178: What is ISSUE-116 (Axiomatic Triples for OWL R) about?

From: Michael Schneider <schneid@fzi.de>
Date: Tue, 12 Aug 2008 17:02:59 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0AD970C@judith.fzi.de>
To: "Alan Ruttenberg" <alanruttenberg@gmail.com>
Cc: "public-owl-wg Group WG" <public-owl-wg@w3.org>, "Ivan Herman" <ivan@w3.org>, "Zhe Wu" <alan.wu@oracle.com>, "Ian Horrocks" <ian.horrocks@comlab.ox.ac.uk>
Alan Ruttenberg wrote:

>Is the assumption that in OWL R/Full that the only way in which one
>determine entailments is to forward chain rules and then look in the
>resultant triples for it?

It's not an "execution semantics". Instead, there has to *exist* a finite
sequence of rule applications, which leads from the LHS to the RHS (or an
upper graph of the RHS). 

"Entailment" might be not the right term here, because it is probably more
typically used in the context of model-theoretic semantics. I prefer to
speak about "derivations".

>-Alan

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 Tuesday, 12 August 2008 15:03:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 12 August 2008 15:03:40 GMT