온톨로지 언어

이 글에는 여러 가지 문제가 있다. 이 문제를 개선하거나 대화 페이지에서 토의하십시오. (이러한 템플릿 메시지를 제거하는 방법 및 시기 알아보기) 이 글에는 아마도 독창적인 연구가 포함되어 있을 것이다. 클레임을 확인하고 인라인 인용문을 추가하여 개선하십시오. 독창적인 연구로만 구성된 진술은 삭제해야 한다. (2014년 7월) (이 템플릿 메시지를 제거하는 방법과 시기 알아보기) 이 글은 검증을 위해 인용구가 추가로 필요하다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "온톨로지 언어" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2017년 5월) (이 템플릿 메시지를 제거하는 방법과 시기 학습) 이 글은 일반적인 참고문헌 목록을 포함하고 있지만, 그에 상응하는 인라인 인용구가 충분하지 않기 때문에 대체로 검증되지 않은 상태로 남아 있다. 좀 더 정밀한 인용구를 도입하여 이 기사를 개선할 수 있도록 도와주십시오. (2017년 5월) (이 템플릿 메시지를 제거하는 방법과 시기 알아보기) (이 템플릿 메시지를 제거하는 방법 및 시기 알아보기)

컴퓨터 과학과 인공지능에서 온톨로지 언어는 온톨로지 구축에 사용되는 공식 언어다. 그들은 특정 도메인에 대한 지식의 인코딩을 허용하고 종종 그 지식의 처리를 지원하는 추론 규칙을 포함한다. 온톨로지 언어는 보통 선언적인 언어로서 거의 항상 프레임 언어의 일반화이며, 일반적으로 1차 논리 또는 서술 논리 중 하나에 기초한다.

온톨로지 언어 분류

구문별 분류

기존 구문 온톨로지 언어

• 공통 논리 - 및 그 방언
• 싸이클
• DOGMA(온톨로지 기반 방법 및 애플리케이션 개발)
• F-로직(프레임 로직)
• KIF(Knowledge Interchange Format)
  • KIF 기반 온톨구아
• KL-ONE
• KM 프로그래밍 언어
• LOOM(물리학)
• OCML(운영 개념 모델링 언어)
• OKBC(개방형 기술 자료 연결)
• PLIB(부품 LIBrary)
• 레이서

마크업 온톨로지 언어

이러한 언어들은 지식을 가장 일반적으로 XML로 인코딩하기 위해 마크업 체계를 사용한다.

• 댐+오일
• 온톨로지 추론층(OIL)
• 웹 온톨로지 언어(OWL)
• RDF(Resource Description Framework)
• RDF 스키마(RDFS)
• 신발

통제된 자연어

• 미도 제어식 영어^[1]

개방 어휘 자연어

• 실행 가능한 영어^[2]

구조별 구분(로직형)

프레임 기반

3개 언어는 완전히 또는 부분적으로 프레임 기반 언어다.

• F-로직
• OKBC
• KM

설명 논리 기반

서술논리는 1차 논리로의 도약과 임의 술어에 대한 지원까지 하지 않고 프레임 언어의 확장을 제공한다.

• KL-ONE
• 레이서
• 올빼미.

겔리쉬는 논리에 기반을 둔 온톨로지 언어와 온톨로지(Ontology)가 결합된 예다. 그것은 다음 중 다른 것들의 의미적 차이를 구별한다.

• 개념 간의 관계에 대한 관계 유형(계속)
• 개인 간의 관계에 대한 관계 유형
• 개인과 계급 간의 관계에 대한 관계 유형

그것은 또한 질의와 의사소통의 의도를 표현하는 구조를 포함하고 있다.

1차 논리 기반

몇몇 온톨로지 언어는 1차 논리에서의 표현을 지원하며 일반적인 술어를 허용한다.

• 공통 논리학
• 싸이클
• KIF

참고 항목

• 도메인 이론
• 형식개념분석
• 갈루아 접속부
• 격자(주문)
• 지식 표현 언어 목록
• 모델링 언어
• 토우멜

메모들

참조

• 오스카 코르초, 아순시온 고메즈-페레즈, 온톨로지 사양 언어 로드맵(2000)
• Description Logics 소개 – 이탈리아 Bolzano의 컴퓨터 과학 교수인 Enrico Franconi의 DL 과정