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

ISSUE-73 (infinite universe): REPORTED: Should owl:Thing be necessarily infinite?

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Wed, 21 Nov 2007 14:31:49 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071121143149.9539C5F70A@stu.w3.org>


ISSUE-73 (infinite universe): REPORTED: Should owl:Thing be necessarily infinite?

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Jeremy Carroll
On product: 

In this description the 'universe' means the class extension of owl:Thing.


In OWL 1.0 Full, the universe is necessarily infinite.

In OWL 1.0 DL, the universe is required to be non-empty.

The compatibility between OWL Full and OWL DL could be enhanced by requiring the universe to be infinite in both cases.

Looking at:
http://lists.w3.org/Archives/Public/public-owl-dev/2007AprJun/0131
and related messages, this is not difficult to implement.

>From a modelling point of view, any model with a finite domain of discourse, would model that domain as a subclass of owl:Thing; and the domain owl:Thing would be reserved as everything in a Web context, for which it is difficult to give a finite bound.
Received on Wednesday, 21 November 2007 14:31:59 GMT

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