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 ) JeremyReceived on Tuesday, 27 August 2002 07:05:27 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:04:53 GMT