Re: owl:Ontology in abstract syntax

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Wed, 18 Dec 2002 11:25:57 -0500 (EST)
• To: jjc@hpl.hp.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20021218.112557.65669040.pfps@research.bell-labs.com>

From: "Jeremy Carroll" <jjc@hpl.hp.com>
Subject: Re: owl:Ontology in abstract syntax
Date: Wed, 18 Dec 2002 17:07:23 +0100

> 
> >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.
> 
> 
> Can you indicate which ones -
> it makes a lot of difference to the test cases.
> 
> Jeremy

I'll put the revision in the usual place when I'm done.

peter

Received on Wednesday, 18 December 2002 11:26:07 UTC