- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 18 Dec 2002 10:39:01 -0500 (EST)
- To: jjc@hpl.hp.com
- Cc: www-webont-wg@w3.org
From: "Jeremy Carroll" <jjc@hpl.hp.com> Subject: owl:Ontology in abstract syntax Date: Tue, 17 Dec 2002 18:06:26 +0100 > I want to check that I am right in thinking that the following two files are > in OWL Lite: > > http://www.w3.org/2002/03owlt/imports/support003-A.rdf > http://www.w3.org/2002/03owlt/imports/support003-B.rdf > > hmmm, > > they are not are they? > > They don't say that the classes are subclasses of owl:Thing and hence they > cannot be the image of the mapping rules. I'm going to remove the subClass triple that causes this problem, along with a number of other subClass, domain, and range triples. They are all entailed by the OWL model theory anyway. peter
Received on Wednesday, 18 December 2002 10:39:16 UTC