W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

[public-owl-wg] <none>

From: Kashyap, Vipul <VKASHYAP1@PARTNERS.ORG>
Date: Sat, 1 Dec 2007 16:14:38 -0500
Message-ID: <DBA3C02EAD0DC14BBB667C345EE2D1240180CBAE@PHSXMB20.partners.org>
To: "OWL Working Group WG" <public-owl-wg@w3.org>
Suppose I have the following ontology: 

Class1 
Class2 
Class3 = {Value-1, ..., Value-K} where Value-i = a string value 

OP1
OP2 

domain(OP1) = Class1 OR Class2 
range(OP1) = Class3 
domain(OP2) = Class1 
range(OP2) = Class2 

Now suppose I want to specify the following constraint: 

Given any individual I of Class1, I.OP1 = I.OP2.OP1 

Can we specify this using OWL 1.1? 

If I specify OP2 o OP1 < OP1, it doesn't seem to support what I need.

The subproperty chain might as well be violated as long as the values are
identical per, the constraint above. 

Is there some way to specify this using the current OWL 1.1 spec or would it
require an extension to the standard? 

Thanks,

---Vipul

The information transmitted in this electronic communication is intended only
for the person or entity to whom it is addressed and may contain confidential
and/or privileged material. Any review, retransmission, dissemination or other
use of or taking of any action in reliance upon this information by persons or
entities other than the intended recipient is prohibited. If you received this
information in error, please contact the Compliance HelpLine at 800-856-1983 and
properly dispose of this information.
Received on Saturday, 1 December 2007 21:14:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT