W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: owl:Ontology in abstract syntax

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 18 Dec 2002 10:39:01 -0500 (EST)
Message-Id: <20021218.103901.115136804.pfps@research.bell-labs.com>
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.

Received on Wednesday, 18 December 2002 10:39:16 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:49 UTC