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