W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

Re: ISSUE-3: REPORTED: Lack of anonymous individuals

From: <gstoil@image.ece.ntua.gr>
Date: Thu, 8 Nov 2007 13:04:33 -0000
Message-Id: <200711081304.lA8D4XUV014949@manolito.image.ece.ntua.gr>
To: Carsten Lutz <clu@tcs.inf.tu-dresden.de>, Boris Motik <boris.motik@comlab.ox.ac.uk>
Cc: public-owl-wg@w3.org

Carsten Lutz <clu@tcs.inf.tu-dresden.de> said:

> relation. Actually, we could think of adding the universal property
> and interpreting the anonymous individuals as skolem constants, as you
> propose. This means that, if really needed, true anonymous individuals
> can still be recovered via the universal property. The restriction to
> tree-shaped interconnections is then automatic. And we don't introduce
> conjunctive queries to ontology entailment.
> 
> greetings,
> 
>  	Carsten

But is there currently any reasoning support for the universal role in SROIQ?
I believe there isn't any.

Greetings,
G. Stoilos
Received on Thursday, 8 November 2007 13:05:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT