W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

mapping rule for InverseFunctionalProperty etc

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 15 Sep 2003 15:59:12 +0300
To: www-webont-wg@w3.org
Message-Id: <200309151559.12283.jjc@hpl.hp.com>

This is a comment on

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 .

Received on Monday, 15 September 2003 09:59:51 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:48 UTC