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

Re: Proposal to resolve ISSUE-81

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Sun, 23 Mar 2008 19:35:26 -0400
Message-Id: <DCDD3349-9E80-4B14-9E34-42561803E39A@gmail.com>
Cc: public-owl-wg@w3.org
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

Hi Peter,

The proposed resolution reduces 2 problems to 1. I believe the repair  
for Issue-67, which has to do with axiom annotation is to have the  
serialization include the the triples being reified, in additional to  
the reification triples. I'll submit a proposal to resolve along  
those lines.

-Alan

On Mar 23, 2008, at 4:48 PM, Peter F. Patel-Schneider wrote:

> From: Alan Ruttenberg <alanruttenberg@gmail.com>
> Subject: Proposal to resolve ISSUE-81
> Date: Sun, 23 Mar 2008 10:47:53 -0400
>
>>
>> To resolve this issue I propose that  
>> NegativeObjectPropertyAssertion be
>> transformed into the equivalent class assertion. In order to support
>> tools that wish to preserve the presentation of this axiom as
>> NegativeObjectPropertyAssertion we use the axiom annotation mechanism
>> with a new annotation property: syntaxHint.  syntaxHint would be
>> considered optional - not all tools need serialize using it, nor all
>> tool pay attention to it.
>>
>> So
>>
>> NegativeObjectPropertyAssertion(hasMother John Mary)
>>
>> Is translated in to
>>
>> ClassAssertion(
>>    Annotation(syntaxHint NegativeObjectPropertyAssertion)
>>    John ObjectAllValuesFrom(hasMother
>> ObjectComplementOf(ObjectOneOf(Mary))))
>>
>>
>> -Alan
>>
>> meta: ISSUE-103
>
> So let's see what happens when we transform these into RDF, using the
> RDF mapping.
>
> 	NegativeObjectPropertyAssertion(hasMother John Mary)
>
> is transformed into
>
> 	_:X rdf:type owl11:NegativeObjectPropertyAssertion
> 	_:x rdf:subject John
> 	_:x rdf:predicate hasMother
> 	_:x rdf:object Mary
>
> On the other hand
>
> 	ClassAssertion(
> 	    Annotation(syntaxHint NegativeObjectPropertyAssertion)
>  	    John ObjectAllValuesFrom(hasMother
> 		ObjectComplementOf(ObjectOneOf(Mary))))
>
> is transformed into
>
> 	_:x rdf:type owl11:Axiom
> 	_:X syntaxHint NegativeObjectPropertyAssertion
> 	_:x rdf:subject John
> 	_:x rdf:predicate rdf:type
> 	_:x object .... (the translation of the restrictions)
>
> Aside from any other problems with this proposal, I don't think  
> that it
> resolves the concern expressed in the statement of ISSUE-81.
>
> Peter F. Patel-Schneider
> Bell Labs Research
Received on Sunday, 23 March 2008 23:36:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 23 March 2008 23:36:08 GMT