W3C home > Mailing lists > Public > public-owl-wg@w3.org > February 2008

Possible backwards compatibility issue with the RDF-to-FS mapping

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 6 Feb 2008 10:32:08 +0100
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A06C2FF7@judith.fzi.de>
To: <public-owl-wg@w3.org>
[This mail is slightly related to ISSUE-68, in that it talks about conditional mapping rules.] 


I wonder whether the RDF-to-FS mapping [1] is fully backwards compatible with OWL-1.0. Consider the following OWL-1.0-DL ontology O, encoded in RDF, which performs some trivial ontology mapping task:

    (R1) O rdf:type owl:Ontology 
    (R2) O owl:imports O1 		# defines object property O1:op
    (R3) O owl:imports O2 		# defines object property O2:op
    (R4) O1:op owl:equivalentProperty O2:op

How does this ontology translate into an OWL-1.1 ontology in functional syntax? For triple (R4), only the following two mapping rules seem to be appliable in principle:

    # Mapping rule for object properties:
    Source (RDF): 
      x owl:equivalentProperty y
      { OnlyOP(x) = true and OnlyOP(y) = true }
    Target (FS):
      EquivalentObjectProperties( OP(x) OP(y) )

    # Mapping rule for data properties:
    Source (RDF):
      x owl:equivalentProperty y
      { OnlyDP(x) = true and OnlyDP(y) = true }
    Target (FS):
      EquivalentDataProperties(dp1 ... dpn)

    (Oops, what's this n-ary "dp1 ... dpn", btw. ?)

The first of these mapping rules would be the correct one, since OnlyOP(O1:op) and OnlyOP(O2:op) are true in the example above. But without looking into the imported ontologies O1 and O2, I cannot tell this. And from reading the RDF-to-FS mapping section, it doesn't look to me that the imports are taken into account (the scope of such a mapping seems to be a single RDF graph).


[1] <http://www.w3.org/2007/OWL/wiki/Mapping_to_RDF_Graphs#Translation_from_RDF_Graphs_to_Functional-Style_Syntax>

Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus

Received on Wednesday, 6 February 2008 09:32:29 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:02 UTC