I'm not shure if this is the right place to ask for semantic web issures, but there only very few Forums out there for such things.
I've tried to make an RDF/OWL-ontology for units (ie. Volt). But the problem ist to map ie. the Class "Volt" to it's Definition of:
1 V = 1 kg m2 s-3 A-1
Even it's possible to make properties like "isDirectProportionalTo" and "isIndirectProportionalTo" it's awful to use:
V isDirectProportionalTo kg
V isDirectProportionalTo m (1)
V isDirectProportionalTo m (2)
I think that a better way may be to handle that within an external Math-Schema. But then I get the similar Problem of mapping:
Division(x, y) <-> Times(x, Power(x, -1))
according to the rule:
x/y <-> x y-1
My current Implementation looks like:
Has anybody a Idea how to handle this asymmetric mapping in OWL/RDF/DAIML+OIL directly to be able to use a semantic reasoner?