Representation languages

기술 논리

Description Logic

Definition(Written in Korean)

OWL의 형식 의미를 주는 논리 체계입니다. 개념(클래스), 역할(속성), 개체로 지식을 적고, 어떤 생성자를 허용하느냐에 따라 표현력과 추론의 계산 복잡도가 정해집니다. OWL 2 DL은 SROIQ에 해당합니다.

English

Description Logic

Related terms

OWL 2OWL 2OWL 프로파일OWL Profile (EL·QL·RL)추론기Reasoner

Evidence grade

C

자가신고: 교과서 집필 중에 정리한 정의이며 외부 원문과 대조하지 않았습니다

Added in version

0.1.0

Permanent URI

https://ontocraft.com/terms/description-logic

JSON-LD for this term

Citation

OntoCraft Korean Industrial Term Registry, “기술 논리” (Description Logic), version 0.1.1, https://ontocraft.com/terms/description-logic, CC BY 4.0.