- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 20 Dec 2007 11:56:46 +0000
- 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 UTC