I believe we agreed on if semantics for subPropertyOf
Does the following test case capture the lack of "only if"
eg:p rdfs:range xsd:integer .
eg:p rdfs:range xsd:string .
eg:q rdf:type rdf:Property .
does not entail (even with knowledge of xsd:integer and xsd:string)
eg:p rdfs:subPropertyOf eg:q .
(but does in OWL Full).
Jeremy