Hi Jeremy! What you say below sounds interesting to me, but I don't know about pD*. I remember that it has been mentioned several times in the WG in the context of OWL Prime. Can you (or someone else) please elaborate a bit on pD* and its relationship to triple entailment rules, or give a few pointers? Cheers, Michael Jeremy Carroll wrote: >My understanding is that one of Herman's initial motivations for >developing the pD* semantics was to provide a large OWL subset that is >implementable by entailment rules. > >We seem to be carrying this work forward in OWL Prime. > >I feel that it is with this fragment that we should satisfy the >understandable desire of some parts of the community to have a rule >driven definition of some substantial part of OWL > >Jeremy -- 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
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 14 February 2008 10:16:39 GMT