Re: reification/annotations

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Subject: reification/annotations
Date: Tue, 27 May 2008 23:18:50 -0400

> 
> In the RDF mapping document, we have:
> 
> > Consider the following subclass axiom:
> >
> > SubClassOf( Comment( "Children are people." ) a:Child a:Person )
> >
> > Without the annotation, the axiom would be translated into the following triple:
> >
> > a:Child rdfs:subClassOf a:Person
> >
> > Thus, the annotated axiom is transformed into the following triples:
> >
> > _:x rdf:type owl:Axiom
> > _:x rdf:subject a:Child
> > _:x rdf:predicate rdfs:subClassOf
> > _:x rdf:object a:Person
> > _:x rdfs:comment "Children are people."
> 
> Had we not decided to include the triple being reified in the
> serialization when using reification? 

My recollection is that indeed we have not decided to include the triple
being reified in the serialization when using reification.  (Of course,
my recollection may be faulty, but then where is the discussion and
resolution for the change?)

> So would the serialization be: 
> 
> a:Child rdfs:subClassOf a:Person
> _:x rdf:type owl:Axiom
> _:x rdf:subject a:Child
> _:x rdf:predicate rdfs:subClassOf
> _:x rdf:object a:Person
> _:x rdfs:comment "Children are people."
> ?
> 
> -Alan

peter

Received on Wednesday, 28 May 2008 03:40:27 UTC