Re: description-logic208 from Jos De_Roo on 2003-10-12 (www-webont-wg@w3.org from October 2003)

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Sun, 12 Oct 2003 16:04:53 +0200
To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-ID: <OFA54838D6.3C0F55E6-ONC1256DBD.004C9F98-C1256DBD.004D50BC@agfa.be>

> Fixed in editors draft, also added description-logic-209 to capture the
> nonentailment.

Jeremy - I also removed

<owl:Thing rdf:about="http://oiled.man.example.net/test#V16448">
  <rdf:type>
<owl:Class rdf:about="http://oiled.man.example.net/test#C122"/>
</rdf:type>
</owl:Thing>

from http://www.w3.org/2002/03owlt/description-logic/conclusions668
(but haven't updated the editors draft nor made a description-logic-669)
Both description-logic-208 and description-logic-668 are now running.


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 12 October 2003 10:06:00 UTC