Errata/E10

3) http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Object_Property_Restrictions

The document is written in a controlled subset of English grammar; some conventions need to be explicitly clarified for the reader; e.g.:

"X is connected by an OPE to Y"
=> X and Y are in the domain and range of the OPE respectively.

Please note that there is no direct connection between X being connected by an OPE to Y and domains and ranges; that is, whenever the document says something about a connection through an OPE, there is usually no intention to discuss the domains and ranges of OPE.

"individuals that are connected through an OPE"
=> the individuals above are in the domain of the OPE

"individuals that are connected by an OPE"
=> the individuals above are in the domain of the OPE

In other places, I suggest being more explicit, again, to facilitate understanding.

Currently:

The ObjectSomeValuesFrom class expression allows for existential quantification over an object property expression, and it contains those individuals that are connected through an object property expression to at least one instance of a given class expression.

The ObjectAllValuesFrom class expression allows for universal quantification over an object property expression, and it contains those individuals that are connected through an object property expression only to instances of a given class expression.

The ObjectHasValue class expression contains those individuals that are connected by an object property expression to a particular individual.

Suggestion:

The ObjectSomeValuesFrom class expression allows for an existentially quantified subclass of the domain of an object property expression, and it contains those individuals that are connected through that object property expression to at least one instance of a given class expression.

The ObjectAllValuesFrom class expression allows for a universally quantified subclass of the domain of an object property expression, and it contains those individuals that are connected through that object property expression only to instances of a given class expression.

The ObjectHasValue class expression contains those individuals in the domain of an object property expression that are connected by that object property expression to a particular individual in its range.


I think it would help to remind the reader that all OPE/DPE specify a subclass of the domain of an OPE/DPE respectively as clearly specified in the OWL2 Direct Semantics here: http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/#Class_Expressions

ObjectSomeValuesFrom, ObjectAllValuesFrom, and ObjectHasValue class expressions make no (direct) statements about the domain of an object property expression.