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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC