I finally figured out a (silly) way to make the ontology triple optional in translated OWL/DL ontologies. I just allow OWL ontologies to be bare sequences of directives wihtout the enclosing Ontology(...) <ontology> ::= Ontology ( {<directive>} ) | {<directive>} peterReceived on Monday, 30 December 2002 13:31:01 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:04:56 GMT