Hello all, Before I get into the details of my problem -- is there any mailing list dedicated to the problem of ontology matching/alignment? I wasn't able to find one, that's why the question is posted here. I am trying to align two OWL ontologies by merging them into one and adding axioms, mainly equivalentClass and equivalentProperty. Using 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 JakubReceived on Saturday, 22 January 2011 07:06:36 GMT
This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT