W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

Re: yet another non-entailment (was Re: another revision of semantics document)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 27 Aug 2002 08:43:50 +0200
To: <www-webont-wg@w3.org>
Message-ID: <MABBLGKMPIJFCKFGDBEPEEBBCBAA.jjc@hplb.hpl.hp.com>


I found one two, or rather an infinite set ...

for any three natural numbers iii, jjj, kkk such that
   iii+jjj>=kkk

following Peter's semantics we have:


:p rdfs:subPropertyOf :r .
:q rdfs:subPropertyOf :r .

entails

_:x rdf:type rdfs:Class .
_:x owl:intersectionOf [
   <<:p owl:minCardinality iii>>
   <<:q owl:minCardinality jjj>>
] .
_:x rdfs:subClassOf
   <<:r owl:minCardinility kkk>> .

(using notation from
http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-C.html
)

Since this entailment uses rather more arithmetic than I feel confortable
with, I prefer it being a non-entailment.

Jeremy
Received on Tuesday, 27 August 2002 02:38:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT