W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2008

Re: Proposal and Test cases (Re: skolems: visible differences?)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 17 Jan 2008 14:22:44 +0000
Message-ID: <478F64B4.6000305@hpl.hp.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 17 January 2008 14:23:08 GMT