This is a comment on
http://www.w3.org/TR/2003/CR-owl-semantics-20030818/mapping.html#4.1
The mappjng rule for
ObjectProperty( ID InverseFunctional )
=>
ID rdf:type owl:ObjectProperty .
[opt if one of the last three triples is included]
ID rdf:type owl:InverseFunctionalProperty .
Does not appear to achieve the apparent desired effect.
Because while
eg:foo rdf:type owl:InverseFunctionalProperty .
is hence a legal OWL Lite ontology, the following is not
_:a rdf:type owl:Thing .
_:a eg:foo _:b .
_:b rdf:type owl:Thing .
eg:foo rdf:type owl:InverseFunctionalProperty .
Because the first three triples appear to correspond to:
Individual( value(eg:foo,individual() ) )
whose mapping includes
eg:foo rdf:type owl:ObjectProperty .
Jeremy