OWL izračuni

hej mene zanima kako bi izvajal izračune na OWL ontologijah. Recimo, da ima vsaka instanca ontologije neko vrednost. Kako, na kakšen način bi zapisal, da bi to želel sešteti in kako bi potem dobil rezultat (reasoner?). Nekaj sem že gledal http://www.cs.man.ac.uk/~iannonel/owlca... in http://www.w3.org/TR/owl-test/extra-000... ampak mi ni jasno niti kako naj zapišem formulo niti kako naj potem dobim rezultat. Želim najti kaj podobnega temu http://www.ifcx.org/attach/Adenine/Aden... (to je za rdf).

Pozna kdo kaj to področje?

PS ne želim knjižnice, ki mi to pretvori, da lahko potem z navadnim programskim jezikom zračunam, jaz želim v sami ontologiji definirati način izračuna.

hvala in lp