Język ontologii - Ontology language

W informatyce i sztucznej inteligencji , ontologia językami są języki formalne stosowane do budowy ontologii . Pozwalają na zakodowanie wiedzy o określonych dziedzinach i często zawierają reguły rozumowania, które wspierają przetwarzanie tej wiedzy. Języki ontologiczne są zwykle językami deklaratywnymi , prawie zawsze są uogólnieniami języków ramek i są powszechnie oparte albo na logice pierwszego rzędu, albo na logice opisu .

Klasyfikacja języków ontologicznych

Klasyfikacja według składni

Tradycyjne języki ontologii składni

• Common Logic - i jej dialekty
• CycL
• DOGMA (Opracowywanie metod i aplikacji opartych na ontologii)
• F-Logic (Frame Logic)
• KIF (format wymiany wiedzy)
  • Ontolingua w oparciu o KIF
• KL-ONE
• Język programowania KM
• LOOM (ontologia)
• OCML (Operational Conceptual Modeling Language)
• OKBC ( łączność z otwartą bazą wiedzy )
• PLIB (biblioteka części)
• BIEGACZ

Języki ontologii znaczników

Te języki używają schematu znaczników do kodowania wiedzy, najczęściej za pomocą XML .

• DAML + OLEJ
• Warstwa wnioskowania ontologicznego (OIL)
• Język ontologii sieciowej (OWL)
• Struktura opisu zasobów (RDF)
• Schemat RDF (RDFS)
• BUT

Kontrolowane języki naturalne

• Angielski kontrolowany przez Attempto

Otwarte słownictwo w językach naturalnych

• Wykonywalny angielski

Klasyfikacja według struktury (typ logiki)

Oparte na ramkach

Trzy języki są językami całkowicie lub częściowo opartymi na ramkach .

• F-Logic
• OKBC
• KM

Oparte na logice opisu

Logika opisu zapewnia rozszerzenie języków ramek , bez przeskakiwania do logiki pierwszego rzędu i obsługi dowolnych predykatów.

• KL-ONE
• BIEGACZ
• SOWA .

Gellish jest przykładem połączonego języka ontologii i ontologii opartej na logice opisu. Rozróżnia różnice semantyczne między innymi:

• typy relacji dla relacji między pojęciami (klasami)
• typy relacji dla relacji między osobami
• typy relacji dla relacji między jednostkami i klasami

Zawiera również konstrukcje do wyrażania zapytań i intencji komunikacyjnej.

Oparte na logice pierwszego rzędu

Kilka języków ontologicznych obsługuje wyrażenia w logice pierwszego rzędu i pozwala na ogólne predykaty.

• Wspólna logika
• CycL
• KIF

Zobacz też

• Teoria domen
• Analiza koncepcji formalnej
• Połączenie Galois
• Krata (zamówienie)
• Lista języków reprezentacji wiedzy
• Język modelowania
• OntoUML

Uwagi

Bibliografia

• Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000)
• Wprowadzenie do logiki opisu - kurs DL prowadzony przez Enrico Franconiego, Wydział Informatyki, Wolny Uniwersytet Bolzano, Włochy