W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2003

Re: description-logic208

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">
<owl:Class rdf:about="http://oiled.man.example.net/test#C122"/>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC