Re: implementation report for DL syntax checker

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Mon, 11 Aug 2003 07:09:28 -0400 (EDT)
• To: jjc@hplb.hpl.hp.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20030811.070928.46629559.pfps@research.bell-labs.com>

From: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Subject: RE: implementation report for DL syntax checker
Date: Mon, 11 Aug 2003 12:30:04 +0200

> >
> > Several documents are labelled as being invalid for OWL Lite.  As
> > I have an
> > OWL DL syntax checker, I can't process these tests.  However, the
> > documents
> > are also probably not in OWL DL as well, and should be so labelled.
> 
> Could you give an example test or document, I am still not understanding the
> comment.

The NotOWLFeature tests all have level of OWL Lite, as I understand the
manifest file.  To me, this indicates that they are not in OWL Lite, which
does not mean that they are not in OWL DL.  I think that it would be better
to give them OWL DL as a level.

peter

Received on Monday, 11 August 2003 07:10:56 UTC