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>
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

 

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

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT