W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

Nonstructural restrictions

From: Marco Colombetti <colombet@elet.polimi.it>
Date: Wed, 26 Mar 2008 17:11:47 +0100
To: <public-owl-dev@w3.org>
Message-ID: <002e01c88f5c$18ecbb70$7c46fea9@lapcolombetti>


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




Marco Colombetti


Received on Thursday, 27 March 2008 16:36:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC