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