W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

Re: [OWLWG-COMMENT] ISSUE-55 (owl:class)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 20 Dec 2007 11:56:46 +0000
Message-ID: <476A587E.10707@hpl.hp.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
CC: schneid@fzi.de, alanruttenberg@gmail.com, public-owl-dev@w3.org

Peter F. Patel-Schneider wrote:

> So another example of forcing the domain to be finite without mentioning
> owl:Thing would be
> 
> 	C = { a }
> 	C- = { b }
> 

I think the observation that this is satisfiable in OWL DL and not in 
OWL Full is more about the finiteness issue than the owl:Class v 
rdfs:Class issue.

It is true that there is an OWL DL definition in the RDFS compatible 
semantics in OWL 1.0, and the owl:Class v rdfs:Class difference is 
visible with that semantics, but I don't think anyone works with that.

Jeremy
Received on Thursday, 20 December 2007 11:57:28 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT