- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 17 Jan 2008 14:22:44 +0000
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- CC: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
Bijan Parsia wrote: > Furthermore such variables have far reaching consquences both > formally (e.g., on the data complexity of RDFS; undecidability of OWL > DL+ cyclic bnode patterns; what sorts of entailments occur) Remind me about the "undecidability of OWL DL+ cyclic bnode patterns" - I seem to vaguely remember briefly getting my head round it once, but it's gone. Is the statement that say using the existential semantics with bnodes for individuals in OWL DL takes us into undecidability? Jeremy
Received on Thursday, 17 January 2008 14:23:06 UTC