W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

Re: possible changes to abstract syntax and direct semantics to support annotations and fix problem with imports

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Wed, 12 Feb 2003 00:31:21 +0100
To: pfps@research.bell-labs.com
Cc: "Jos De_Roo" <jos.deroo@agfa.com>, www-webont-wg@w3.org
Message-ID: <OF5AA6A3CA.5AF686AB-ONC1256CCA.0080E7E3-C1256CCA.00813F82@agfa.be>


[...]

> > > > does the merge of the following OWL Lite graph
> > > >
> > > >   :x rdf:type owl:Thing.
> > > >   :a rdf:type owl:ObjectProperty.
> > > >   :b rdf:type owl:Thing.
> > > >   :c rdf:type owl:ObjectProperty.
> > > >   :d rdf:type owl:Thing.
> > > >   :x :a :b.                        # annotation triple
> > > >   :x :c :d.                        # annotation triple
> > >
> > > Annotation triples are really part of the abstract syntax, not the
triple
> > > syntax.  In any case, the above graph is not an OWL Lite graph under
my
> > > proposal.
> >
> > Well, in your "Transformation to Triples" table in
> >
http://www-db.research.bell-labs.com/user/pfps/owl/semantics/mapping.html
> > I find that
> >
> >   Individual(iID annotation1 ... annotationn
> >              type(type1) ... type(typen)
> >              value(pID1 value1) ... value(pIDn valuen))
> >
> > generates the triples
> >
> >   iID T(annotation1) . ... iID T(annotationn) .
> >   iID rdf:type T(type1) . ... iID rdf:type T(typen) .
> >   iID T(pID1) T(value1) . ... iID T(pIDn) T(valuen) .
> >
> > and that
> >
> >   Annotation(URIreference URIreference)
> >
> > generates the triple
> >
> >   U <URIreference> <URIreference> .
> >
> >
> > What did I misunderstand?
> >
> > [...]
>
>
> The transformation does *not* produce
>
>    :a rdf:type owl:ObjectProperty.
> or
>    :c rdf:type owl:ObjectProperty.

OK
Then I still wonder about the second testcase:

Does the merge of the following OWL Lite graph

  :x rdf:type owl:Thing.
  :z rdf:type owl:Thing.
  :x :y :z.                        # annotation triple

with the following OWL Lite graph

  :y rdf:type owl:ObjectProperty.
  :v rdf:type owl:ObjectProperty.
  :y rdfs:subPropertyOf :v.

OWL Lite entail

  :x rdf:type owl:Thing.
  :v rdf:type owl:ObjectProperty.
  :z rdf:type owl:Thing.
  :x :v :z.


-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 11 February 2003 18:32:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT