Nonstructural restrictions

Hi.

 

In http://www.webont.org/owl/1.1/owl_specification.html  "OWL 1.1 Web
Ontology Language - Structural Specification and Functional-Style Syntax -
Editor's Draft of 23 May 2007". 

 

in Section 7 "Nonstructural Restrictions on Axioms",

 

I find that:

*	Only simple object properties are allowed to occur in Ax in 

*	ObjectMinCardinality, ObjectMaxCardinality, ObjectExactCardinality,
and ObjectExistsSelf classes, and 
*	ObjectPropertyFunctional, InverseFunctionalObjectProperty,
ObjectPropertyIrreflexive, ObjectPropertyAsymetric, and
DisjointObjectProperty axioms.

I wonder whether composite properties should also be forbidden in
ObjectPropertyReflexive axioms, given that these are equivalent to
SubObjectPropertyOf(owl:Thing,ObjectExistsSelf(P)).

 

Regards,

 

Marco Colombetti