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

Re: One comment on RDF mapping [related to ISSUE 67 and ISSUE 81]

From: Alan Wu <alan.wu@oracle.com>
Date: Fri, 13 Jun 2008 09:53:40 -0400
Message-ID: <48527BE4.6060800@oracle.com>
To: Alan Ruttenberg <alanruttenberg@gmail.com>
CC: Boris Motik <boris.motik@comlab.ox.ac.uk>, OWL Working Group WG <public-owl-wg@w3.org>

Alan,

Sorry I misunderstood. That should work then.

Thanks,

Zhe

Alan Ruttenberg wrote:
>
> On Jun 12, 2008, at 9:56 PM, Alan Wu wrote:
>
>> Alan,
>>
>> Sorry for the delay.
>>
>> What if the annotation itself is "There is an unnannotated version of 
>> this axiom"
> The string was just to say what I meant. There would need to be a 
> reserved vocabulary term to indicate this.
> -Alan
>>
>> Thanks,
>>
>> Zhe
>>
>> Alan Ruttenberg wrote:
>>> Can this not be resolved without compromising monotonicity?
>>> Assume we always serialize the s p o.
>>>
>>> In the case of an axiom that has no annotation we proceed as 
>>> documented.
>>> In the case where we have only an axiom with annotation we proceed 
>>> as documented, except that we add the s p o triple)
>>> In the case where there are both we add an annotation that says: 
>>> "There is an unnannotated version of this axiom".
>>> -Alan
>>>
>>>
>>> On Jun 11, 2008, at 11:42 AM, Alan Wu wrote:
>>>
>>>>> One concern of mine was the reverse mapping of axioms: if you find 
>>>>> both the nonreified and the reified and annotated axiom, you
>>>>>
>>>>> don't know what the original ontology was. Well, here is a 
>>>>> possible way to handle this:
>>>>>
>>>>> 1. We modify the forward mapping such that, if an ontology O 
>>>>> contains both a nonannotated axiom ax and an annotated axiom ax', 
>>>>> then we serialize the following:
>>>>>
>>>>>
>>>>> (a) the nonreified version of ax
>>>>>
>>>>> (b) the reified version of both ax and ax'
>>>>>
>>>>> 2. We modify the backward mapping such that, if an RDF graph 
>>>>> contains both a nonreified version of the axiom ax and a reified 
>>>>> version ax', then only ax' is kept.
>>>>>
>>>>>
>>>>> In this way, the axiom generated in (a) can be used for the 
>>>>> semantics. The axioms generated in (b), however, would reflect the 
>>>>> actual structure of the ontology.
>>>>>
>>>>>
>>>>> A slight problem might be that the reverse mapping is 
>>>>> nonmonotonic. I could live with that; however, I don't know 
>>>>> whether other people can.
>>>>>
>>>>> Regards,
>>>>>
>>>
>>
>
>
Received on Friday, 13 June 2008 13:56:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 13 June 2008 13:56:40 GMT