W3C home > Mailing lists > Public > semantic-web@w3.org > October 2006

Readings on OWL's (un)decidability?

From: Yoshio Fukushige <fukushige.yoshio@jp.panasonic.com>
Date: Mon, 02 Oct 2006 15:28:15 +0900
To: semantic-web@w3.org
Cc: fukushige.yoshio@jp.panasonic.com
Message-Id: <20061002141111.7F53.FUKUSHIGE.YOSHIO@jp.panasonic.com>

Hello, 

I've seen many documents saying "OWL FULL is undecidable" ... (a)

But which of the following does (a) mean?:

(1) "There is no system which is decidable where there is a Class, say ClassA,
that is an instance of another Class."

or

(2)"There is at least one system which is undecidable where/because there is a Class, say ClassA,
that is an instance of another Class.
i.e. Not every system with a vocabulary in OWL FULL is decidable."

What do you recommend me to read for the proof of (a)?
(A (short) article on the Web is preferred to a whole book ^_^;)

Best,
Yoshio 

-- 
Yoshio Fukushige <fukushige.yoshio@jp.panasonic.com>
Network Development Center,
Matsushita Electric Industrial Co., Ltd.
Received on Monday, 2 October 2006 06:27:10 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:12 GMT