A Protégé beta változat a konzisztencia ellenőrzésnél az inkonzisztencia helyét megjelöli, de az ellentmondás formáját ő sem képes megmutatni.

Segítségével a Protégé kezeli az OWL ontológia nyelvet, képes OWL formátumú file-t betölteni/menteni. Szépen szerkeszthetőek az OWL DL logikai állításai.

A Protégé OWL plugin fölé készült vizuális szerkesztő. Szerkesztésre nem igazán alkalmas, de vizualizációra tökéletes. Csak Protégé v2.0.1 (stable) alatt sikerült telepítenem, a beta-val nem működik együtt.

Csak buta hierarchikus nézetet tud kezelni. FaCT és RACER következtetővel is működik (DIG, CORBA).

Már jó ideje nem fejlesztik. Most épp áttérnének OWL-re, de kicsit aggasztó: ,,We hope to have a new version of OilEd available in early 2003.''

Saját ontológia nyelvvel rendelkezik, mely szintén az RDF(S)-re épül, de a szemantikája alapvetően intuitív. Nem támogatja logikai formulák megadását, így az IKF céljaira szerintem kevésbé alkalmas.

Támogatott viszont: algebrai tulajdonságok (szimmetrikus, tranzitív, inverz), kardinalitás, ontológiák egymásba ágyazása (modularitás), meta-modellezés (pszeudo-példányok) és lexikai információ (pl. szinoníma) leírása több nyelven. Ezek közül az utóbbi kettő nem található meg az OWL-ben.

A KAON Tool Suite több modul-ból áll, például RDF API, KAON API, ontológia portál, OI-modeler ontológia szerkesztő (nagyon ergonómikus), RDF Crawler, stb.

Szándéknyilatkozatuk szerint a KAON és az OWL nyelveket párhuzamosan kívánják támogatni (utóbbira még nem született megoldásuk). Számos területen nincs szükség az OWL-re, olyankor a KAON kisebb számításigényű, skálázhatóbb megoldást kínál.

CPL, Open-source, de nekem túl pénz-szagúnak tűnik

Ontológia szerkesztő, Eclipse-en (IDE framework) és Jena-n alapul.

A meta-modellt függetlenítik a felhasználói felülettől (több meta-modell szintet is használnak), így később (elvileg) ki lehet cserélni alatta a logikát (most SHIQ). Jelenleg a DAML-OIL-t illetve OWL-t célozzák meg.

Az SHIQ-nál picit többet tud. Parancssorból indítható, a 8080-as porton szolgáltat (by default). Azonnal együttműködött a Protégé-zsel. Interfészek: DIG, API: Java, C++, Lisp.

Két következtetőt tartalmaz: SHF-hez és SHIQ-hoz.

Interfészek: CORBA, DIG, Lisp.

Nem következtető engine, hanem csak egy protokoll, amin keresztül több következtetőt is elérhetünk (FaCT, RACER).

Java API-ja van illetve parancssora, és csípőből kezel DAML+OIL-t és OWL-t. Részletesebben még nem néztem.

RDF lekérdező, következtető és transzformációs nyelv. Nincs beépített szemantikája, szabályok segítségével definiálhatunk egyet az RDF fölé. Állításuk szerint a DAML+OIL esetében ez nem lehetséges, ilyenkor külső DL classifier segítségével működtethető.

Valódi előnye valószínű akkor van, ha több, különböző RDF szemantikát kell kezelni (RDFS, UML, Topic Map, DAML+OIL) például integrálási feladatoknál.

Jenát (v1.3.2) és XSB-t (v2.5) használ, RACER és FaCT interfésszel rendelkezik a DAML+OIL támogatásához.

Úgy tűnik, az OWL-re még rá se mozdultak. :[

Java-ban készülő OWL következtető, mely az OWL DL-t fedi le nominálok nélkül (owl:oneOf, owl:hasValue kivételével, SHIN(D) logika). A tableaux algoritmuson alapszik, céljuk hatékony következtetőt készíteni az OWL azon részére, amire jelenlegi tudásunk szerint lehetséges.

A Jena v2 és ATerm könyvtárakat használja.

Még befejezetlen.

Adatbázis rendszer a következtetők alá: tabled resolution, klózok indexelése, adatbázis interfészek stb.

Vannak egzotikus Java interfészei (még nem néztem): YAJXB, Interprolog.

copyright OK (ha jól értelmezem)

Java framework, szemantikus web alkalmazások fejlesztéséhez. Kezeli az RDF(S)-t, OWL-t. Ontológia API-t nyújt, képes egymásba ágyazott ontológiák (include) kezelésére. A következtetési képességei gyengék: beépített egyszerű következtetőket tartalmaz, OWL esetében csak az OWL Lite egy részét implementálták (OWL FB Reasoner).

CVS-beli változata támogatja a DIG használatát, amivel el lehet érni a RACER következtetőt. Azonban a RACER feltételezi az egyedi elnevezéseket (unique names), ami miatt a dolog – ha jól értettem – bugzik.

Nagyon kellemes bevezetés, áttekintés.

Ontológia készítés: iterate until ''good enough'' &ndash szóval funny