- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 18 Apr 2007 10:16:34 +0100
- 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 UTC