- From: <gstoil@image.ece.ntua.gr>
- Date: Thu, 8 Nov 2007 13:04:33 -0000
- 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 UTC