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

Re: Semantic layering bug (not again!)

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Mon, 22 Sep 2003 19:11:54 +0200
To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OFB4B7E82A.6756EB4A-ONC1256DA9.005E11C8-C1256DA9.005E7DBD@agfa.be>


Jeremy:
[...]
> <Empty>
>
> entails
>
> _:a rdf:type owl:Ontology .
>
> ====
>
> I think this is an OWL Lite entailment but an OWL Full non-entailment.
> Technically this follows from the decision we made to make such triples
> optional - I do not think making them compulsory would be the right fix.

Yes, while testing, I got indeed an incomplete run.
Another fix (which I tried and found no problem) is
to use a comprehension principle.


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 22 September 2003 13:12:00 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT