Ontológia

Az ontológia a filozófia egyik ága, amely a lét természetét és a létező entitások általános szerkezetét vizsgálja. Kérdések: mi létezik, milyen típusú dolgok vannak, és hogyan kapcsolódnak egymáshoz a kategóriák. A hagyományos ontológia a valóság alapelemeire és a létezés módjaira törekszik; az informatikában pedig formalizált ontológiákat készítenek, amelyekben fogalmak, tulajdonságok és kapcsolatok írják le egy domain elemeit.

A filozófiai gyökerek az ókori Görögországba és Arisztotelészhez vezetnek; a középkor metafizikája, majd a modern filozófia és a logika fejlődése formálta a tudományos részleteket. A 20. századotól a formalizált ontológia és a tudásreprezentáció korszaka jellemző, és a szemantikus webben a leíró logikák és OWL révén terjedt el a gyakorlati használat.

Fontos fogalmak: entitások osztályai és példányai; relációk, tulajdonságok; identitás és egybevágóság; mereológia (részekegyesülés), modalitás és időbeliség. Felső ontológiák (top-level) mint keretek, amelyekhez doménontológiák kapcsolódhatnak, és amelyeket axiomatikus formában írnak le.

Két fő irány: filozófiai ontológia és formális ontológiák tervezése (ontology engineering). Top-ontológiák, például BFO vagy DOLCE, támogatják az interoperabilitást. Alkalmazások: szemantikus web, adatintegráció, bioinformatika, tudásmenedzsment és természetes nyelvfeldolgozás.

Kihívások közé tartozik a fogalmak tartalmi vitája és a lefedettség mértéke, az ontológiák karbantartása és verziókezelése, illetve az adatok közötti kompatibilitás biztosítása.