terminology confusions throughout spec docs

[GoogleCodeExporter]

The OWL 1.1 syntax introduces classes and descriptions. Classes are named 
concepts, while descriptions are predicates for set membership. 
Typically, classes are associated with one or more descriptions, 
specifying which sets of things are members of that concept.

In the semantics document (and fairly pervasively in the object model) 
class is used to refer to owl descriptions. In some places in the 
semantics document, class is overloaded between descriptions and owl 
classes.

There's a similar issue with objectproperty expressions in the semantics 
document, and also with dataproperty expressions.

This mixing of terminology is confusing for people like me that don't 
work in the core OWL or DL community.

Matthew

Original issue reported on code.google.com by turingat...@gmail.com on 27 Jul 2007 at 1:33

[GoogleCodeExporter]

Yes, indeed there are a number of edits that need to be made to the semantics
document.  I have marked up my copy with the changes.

Original comment by pfpschne...@gmail.com on 11 Oct 2007 at 3:12

[GoogleCodeExporter]

Original comment by pfpschne...@gmail.com on 25 Oct 2007 at 8:13

• Changed state: Migrated