- From: Michael Schneider <schneid@fzi.de>
- Date: Sun, 6 Jan 2008 16:22:49 +0100
- To: "Pat Hayes" <phayes@ihmc.us>
- Cc: "Evren Sirin" <evren@clarkparsia.com>, "Owl Dev" <public-owl-dev@w3.org>
Pat Hayes wrote: >>> On 11/2/07 3:23 PM, Michael Schneider wrote: >>>> Hi, Evren! >>>> >>>> Evren Sirin wrote on November 02, 2007: >>>> >>>> >>>>> Michael, >>>>> You are correct in your understanding of punning. It is true that >>>>> punning semantics is strictly weaker than OWL-Full >semantics and the >>>>> inferences you will get will be a subset of OWL Full entailments. >> >>Is this a certain fact? I remember to have heard this claim a >few times >>before now, but don't remember to have ever heard about >evidence for it. >>Since there is no 1.1-Full draft at the moment, is there some >proof that >>this would be true for 1.0-DL+Punning in comparison to 1.0-Full? > >Yes, because in the Full semantics, :sameAs >entails :equivalentClass, but not in the punning >semantics. Pat, I know this. What I was asking for was whether Entailments(DL+Punning) is certain to be a /subset/ of Entailments(Full), i.e. wheter it is warranted that DL+Punning does not produce any "artifact" entailments, which aren't in Full. Best, 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 Sunday, 6 January 2008 15:23:02 UTC