Re: pD* [WAS: OWL Full proposal (sort of) - addressing my Action]

Michael,

I think the latest version is in:

Horst, Herman J. ter. “Completeness, decidability and complexity of 
entailment for RDF Schema and a semantic extension involving the OWL 
vocabulary.” Journal of Web Semantics 3 (2005): 79-115.

See also:

http://tinyurl.com/342fu5

and

http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B758F-4H16P4Y-1-2H5&_cdi=12925&_user=723079&_orig=browse&_coverDate=10%2F31%2F2005&_sk=999969997&view=c&wchp=dGLbVzz-zSkWA&md5=9c1f136c9f09dba295e36b23d8625948&ie=/sdarticle.pdf

I hope you can read it; if not, I have a copy of the PDF file on my machine.

Ivan


P.S. And to avoid misunderstandings (it happened in the past): my 
_family_ name is 'Herman', and this guy's _surname_ is 'Herman' (a 
common problem for me here in the Netherlands...). No family or other 
relations...:-)


Michael Schneider wrote:
> 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

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf