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

[This mail is slightly related to ISSUE-68, in that it talks about conditional mapping rules.] 

Hi!

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).

Cheers,
Michael

[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