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

Re: yet another non-entailment

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 27 Aug 2002 13:10:24 +0200
To: <www-webont-wg@w3.org>
Message-ID: <MABBLGKMPIJFCKFGDBEPMEBGCBAA.jjc@hplb.hpl.hp.com>


Thanks Peter for the correction
the entailment I had in mind was the one Peter identified:

:p rdfs:domain :A .
:q rdfs:domain :B .
:A owl:disjointWith :B .
: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
)

Jeremy
Received on Tuesday, 27 August 2002 07:05:27 GMT

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