W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

IFP and datatype properties

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 08 Mar 2007 10:22:54 +0000
Message-ID: <45EFE3FE.1030404@hpl.hp.com>
To: public-owl-dev@w3.org

A feature of OWL Full that is fairly widely used, but not in DL is the 
ability to declare a datatype property as inverse functional.

I seemed to remember that the reason for excluding it from DL was to do 
with complexity rather than decidability; and that there was a horrocks 
paper on the topic.

I can't find such a paper. Any pointers please?


Given an ontology A, which would be in DL except that property p is 
declared as both inverse functional and a datatype property, and for 
simplicity, p is not subPropertyOf or equivalentProperty to any other 
property, we can construct an ontology B as follows:

a) replace every triple
         a p d .
         a p' data:d .

b) replace every hasValue d restriction on p, with a hasValue data:d 
restriction on p'.

c) for each data:d1 and data:d2 URIs so introduced with data:d1 != 
data:d2 add
     data:d1 owl:differentFrom data:d2 .

Then B is an OWL DL ontology and is consistent iff A is consistent.

Since B is only polynomially more complex than A, it would seem that 
this is tractable.

Bold assertion: this generalizes to all use of IFP and DP.


Received on Thursday, 8 March 2007 10:23:11 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:14 UTC