- 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
[...] > > > > 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 UTC