Foundations of Semantic Web Technologies

248 Foundations of Semantic Web Technologies

<Import>

<location>χ("location"ˆˆ<rif:iri>)</location>

<profile>χ("http://...#OWL-DL"ˆˆ<rif:iri>)</profile>

</Import>

</directive>

. . .

</Document>

Note that, strictly speaking, the QNames rif:iri must be replaced by full

URIs before the transformation χ is applied.

RIF and OWL use different ways of encoding axioms, and even slightly dif-

ferent ways of referring to predicates and individual names. Hence, RIF must

also specify how exactly the OWL and RIF parts of a combined knowledge

base interact. Recall that, in Section 6.3, we have achieved such an interac-

tion by assuming that OWL class and property names can be used as unary

and binary predicates in datalog. Our semantic integration thus was built

upon