Podpora odvozování

Úlohy očekávané od odvozovače už byly zmíněny. Připomeňme, že podle tabulky složitosti odvozování v DL se zdá, že odvozování v OWL je v obecném případě výpočetně nezvládnutelné (např. NExpTime pro OWL DL). Přesto existují odvozovače, které si s praktickými případy poradí. V této části pouze stručně uvedeme dostupné odvozovače. Podrobnosti o implementaci a obecných problémech lze najít v knize The Description Logic Handbook.

Jednu skupinu odvozovačů tvoří systémy původně napsané jako odvozovače pro deskripční logiky. Příklady jsou Pellet, FACT++ a Racer. Přistupovat k nim lze prostřednictvím XML rozhraní vyvinutého skupinou DL Implementation Group (DIG). DIG je jednoduchý protokol založený na HTTP PUT/GET spolu s XML schématem pro vyjadřování výroků a dotazů v jazyce deskripčních logik. Současné rozhraní DIG bohužel nestačí k zachycení obecných ontologií OWL DL. Například v DIG 1.1 chybí podpora datových typů. I když nelze všechny prvky OWL DL použít jako vstup pro odvozování, mohou být obecné odvozovače deskripčních logik velmi užitečné pro podporu odvozování na sémantickém webu.

Existuje několik balíků nebo rámců pro sémantický web, které do jisté míry implementují vlastní podporu odvozování (například je podporováno RDFS nebo podmnožina OWL DL). Zaměříme se na balíček Jena, který poskytuje vlastní specializovaný inferenční stroj pro podporu odvozování v RDFS, OWL Lite, OWL DL a OWL Full. U inferencí v Jena se netvrdí, že jsou úplné, ale tvrdí se, že jsou korektní. Jena také poskytuje obecný pravidlový stroj, v němž lze psát pravidla pro vlastní inferenci. Jako příklad jsou dodávána pravidla pro odvozování v podmnožinách jednotlivých variant OWL. Je možné přímo připojit odvozovač deskripčních logik Pellet k Jena a obejít tak omezení DIG; v tom případě by v Jena mělo být možné plné odvozování v OWL DL.