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 UTC