[owl-s] Matching chains with datatype properties

[Jakub Moskal]

Hello all,

I am not sure this is the best mailing list to post my question,
however, since I haven't found a mailing list dedicated to the
ontology matching/alignment, I thought people in this group should
have some experience with matching.

I am trying to align two OWL ontologies by merging them into one and
adding axioms, mainly equivalentClass and equivalentProperty. Using
the OWL2 propertyChain axiom I can match chains of object properties from one
ontology with object properties in the second one. The part that I
cannot figure out is how to match a datatype property in one ontology
with a chain of object properties and a datatype property in the
second one. To better illustrate my problem, consider this (pardon my
informal syntax):

ont1:
class Person,
datatypeProperty hasAge: Person --> int

ont2:
class Person,
class IntegerQuantity,
class Age (subclass of IntegerQuantity),
objectProperty hasAge: Person --> Age,
datatypeProperty hasValue: IntegerQuantity --> int

Is the following possible to express in OWL2?

ont1:Person.hasAge == ont2.Person.hasAge.hasValue

Jakub