W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

RE: [OWLWG-COMMENT] Re: Cardinality Restrictions and Punning

From: Michael Schneider <schneid@fzi.de>
Date: Sun, 6 Jan 2008 16:22:49 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A05A6148@judith.fzi.de>
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 

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.


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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC