Jazyk ontologie - Ontology language
 | Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)
|
v počítačová věda a umělá inteligence, ontologické jazyky jsou formální jazyky slouží ke konstrukci ontologie. Umožňují kódování znalost o konkrétní domén a často zahrnují pravidla uvažování, která podporují zpracování těchto znalostí. Jazyky ontologie jsou obvykle deklarativní jazyky, jsou téměř vždy zobecnění rámcové jazyky, a jsou obvykle založeny na obou logika prvního řádu nebo na logika popisu.
Klasifikace ontologických jazyků
Klasifikace podle syntaxe
Tradiční syntaxe ontologických jazyků
- Společná logika - a jeho dialekty
- CycL
- DOGMA (Vývoj metod a aplikací založených na ontologii)
- F-logika (Frame Logic)
- KIF (Formát výměny znalostí)
- Ontolingua na základě KIF
- KL-ONE
- Programovací jazyk KM
- LOOM (ontologie)
- OCML (Operational Conceptual Modeling Language)
- OKBC (Otevřete připojení ke znalostní databázi )
- PLIB (Knihovna dílů)
- ZÁVODNÍK
Značkovací ontologické jazyky
Tyto jazyky používají a označení schéma pro zakódování znalostí, nejčastěji s XML.
- DAML + OLEJ
- Vrstva odvození ontologie (OLEJ)
- Jazyk webové ontologie (SOVA)
- Rámec popisu zdrojů (RDF)
- Schéma RDF (RDFS)
- OBUV
Řízené přirozené jazyky
Otevřená přirozená řeč slovní zásoby
Klasifikace podle struktury (logický typ)
Na základě rámu
Tři jazyky jsou zcela nebo částečně na základě rámce jazyky.
Popis založený na logice
Logika popisu poskytuje rozšíření rámcové jazyky, aniž bychom šli tak daleko, abychom udělali skok logika prvního řádu a podpora libovolných predikátů.
Gellish je příklad kombinovaného ontologického jazyka a ontologie založené na logice popisu. Rozlišuje mezi sémantickými rozdíly mezi ostatními:
- typy relací pro vztahy mezi pojmy (třídami)
- typy vztahů pro vztahy mezi jednotlivci
- typy vztahů pro vztahy mezi jednotlivci a třídami
Obsahuje také konstrukce pro vyjádření dotazů a komunikativní záměr.
Logika prvního řádu
Několik ontologických jazyků podporuje výrazy v logika prvního řádu a povolit obecné predikáty.
Viz také
- Teorie domén
- Formální koncepční analýza
- Galoisovo spojení
- Mříž (objednávka)
- Seznam jazyků reprezentace znalostí
- Modelovací jazyk
- OntoUML
Poznámky
- ^ Kuhn, Tobias. "Attempto Řízená angličtina jako jazyk ontologie "Výroční schůze REWERSE. 2006.
- ^ www.executable-english.com
Reference
- Oscar Corcho, Asuncion Gomez-Perez, Plán ke specifikačním jazykům ontologie (2000)
- Úvod do logiky popisu - kurz DL Enrico Franconi, Fakulta informatiky, Svobodná univerzita v Bolzanu, Itálie