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

following Peter's semantics we have:

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


_: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

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

Received on Tuesday, 27 August 2002 02:38:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:33 UTC