W3C home > Mailing lists > Public > public-webont-comments@w3.org > August 2007

"inverse" in owl-guide

From: Dave Matthews <matthews@greengenes.cit.cornell.edu>
Date: Sun, 26 Aug 2007 16:27:47 -0400 (EDT)
Message-Id: <200708262027.l7QKRlep017933@greengenes.cit.cornell.edu>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:43:30 GMT