- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Tue, 27 Aug 2002 08:43:50 +0200
- To: <www-webont-wg@w3.org>
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 UTC