W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2004

Re: Concrete and abstract domains disjointness

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 10 May 2004 21:40:20 +0100
Message-ID: <409FE8B4.8090002@hplb.hpl.hp.com>
To: "Dimitrios A. Koutsomitropoulos" <kotsomit@hpclab.ceid.upatras.gr>
Cc: www-rdf-logic@w3.org

Dimitrios A. Koutsomitropoulos wrote:

> However, because of the consequent seperation of object and datatype
> properties, one still looses the (simple) ability to connect uniquely
> individuals and datatypes. For example,given an ID number, one can never
> retrieve the person to whom it corresponds to (using OWL DL of course, but I
> doubt if this is possible even in Full). Whould this be so hard for a DL
> reasoner to implement?

It's possible in OWL Full using an InverseFunctional Datatype Property.
I share your skepticism that this is not too hard for DL ... Ian 
Horrocks has argued on a number of occassions that it is, but stubbornly 
I remain unconvinced that this feature is truely harder than others that 
are already in OWL DL. But I can't point to working DL style reasoners ...

Received on Monday, 10 May 2004 16:40:44 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC