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

Re: owl:Ontology in abstract syntax

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 18 Dec 2002 17:07:23 +0100
To: <www-webont-wg@w3.org>

>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.

Received on Wednesday, 18 December 2002 11:04:00 UTC

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