W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2007

Re: Axiom annotations

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 18 Apr 2007 10:16:34 +0100
Message-ID: <4625E1F2.202@hpl.hp.com>
To: Boris Motik <bmotik@cs.man.ac.uk>
CC: "'Alan Ruttenberg'" <alanruttenberg@gmail.com>, public-owl-dev@w3.org, "'chris mungall'" <cjm@fruitfly.org>


Reification isn't pretty.
This seems to be only about making something work in practice.

Jeremy



Boris Motik wrote:
> Hello,
> 
> You are right - we overlooked this point. Would you mind logging this as an
> issue at Google Code?
> 
> The problem seems to be caused by the fact that, dating from OWL 1.0, you
> could state only binary equivalences, disjointness axioms, etc. in OWL RDF.
> OWL 1.1 inherits this limitation from OWL 1.0 (in order to be backwards
> compatible); however, as you notice, this has consequences regarding
> annotations.
> 
> There are two fixes that I see:
> 
> 1. One should provide an RDF encoding that does not break up equivalences;
> then, we might tack on the annotations appropriately.
> 
> 2. A hack would be to simply repeat the axiom annotation on each generated
> equivalence. I am not particularly fond of this, but it is a possibility.
> 
> Thanks for pointing this out!
> 
> Sincerely yours,
> 
> 	Boris
> 
>> -----Original Message-----
>> From: public-owl-dev-request@w3.org [mailto:public-owl-dev-request@w3.org]
>> On Behalf Of Alan Ruttenberg
>> Sent: 18 April 2007 01:54
>> To: public-owl-dev@w3.org
>> Cc: chris mungall
>> Subject: Axiom annotations
>>
>>
>>  From http://webont.org/owl/1.1/rdf_mapping.html
>>
>>> Axioms with annotations are reified. If s p o is the RDF
>>> serialization of the corresponding axiom without annotations given
>>> in Table 2 and the axiom contains annotations Annotation(apIDi
>>> cti), 1 ? i ? n, then, instead of being serialized as s p o, the
>>> axiom is serialized as follows:
>>>
>>> _:x rdf:type owl11:Axiom
>>> _:x T(apIDi) T(cti)   1 ? i ? n
>>> _:x rdf:subject s
>>> _:x rdf:predicate p
>>> _:x rdf:object o
>> What happens when an Axiom serializes as multiple triples:
>>
>>> EquivalentClasses(c1 ... cn) =>
>>> T(ci) owl:equivalentClass T(ci+1)   1 ? i ? n-1
>> -Alan
> 
> 

-- 
Hewlett-Packard Limited
registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Wednesday, 18 April 2007 09:17:21 GMT

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