- From: Dave Matthews <matthews@greengenes.cit.cornell.edu>
- Date: Sun, 26 Aug 2007 16:27:47 -0400 (EDT)
- To: public-webont-comments@w3.org
: 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.org
Received on Monday, 27 August 2007 14:48:24 UTC