: Each of these sublanguages is an extension of its simpler predecessor, both : in what can be legally expressed and in what can be validly concluded. The : following set of relations hold. Their inverses do not. : : Every legal OWL Lite ontology is a legal OWL DL ontology. ... I believe you mean "converses". The converse is Every legal OWL DL ontology is a legal OWL Lite ontology. The inverse is Every legal OWL Lite ontology is not a legal OWL DL ontology. OWL is an advanced logic. Not good to have a basic error like this in the documentation. A subset/superset relation might be more appropriate. - Dave - - - - - - - - - - - - - - - - - - - - David E. Matthews, PhD USDA-ARS Plant Genome Database Curator Cornell University Email: matthews@greengenes.cit.cornell.edu Department of Plant Breeding Phone: +1-607-255-9951 409 Bradfield Hall Fax: +1-607-255-6683 Ithaca, New York 14853, USA GrainGenes: www.graingenes.orgReceived on Monday, 27 August 2007 14:48:24 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:19:16 GMT