W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

Fwd: Nonstructural restrictions

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Thu, 27 Mar 2008 14:27:45 -0400
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
Message-Id: <509BA12A-CCC6-49F5-95E2-38D1A5D51FCF@gmail.com>


Begin forwarded message:

> Resent-From: public-owl-dev@w3.org
> From: "Marco Colombetti" <colombet@elet.polimi.it>
> Date: March 26, 2008 12:11:47 PM EDT
> To: <public-owl-dev@w3.org>
> Subject: Nonstructural restrictions
> Archived-At: <http://www.w3.org/mid/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, andDisjointObjectProperty axioms.
> I wonder whether composite properties should also be forbidden in  
> ObjectPropertyReflexiveaxioms, given that these are equivalent  
> toSubObjectPropertyOf(owl:Thing,ObjectExistsSelf(P)).
>
> Regards,
>
> Marco Colombetti
>
>
Received on Thursday, 27 March 2008 18:28:37 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 27 March 2008 18:28:39 GMT