표현 언어

기술 논리

Description Logic

정의

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

영어

Description Logic

관련 용어

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

근거 등급

C

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

처음 들어온 버전

0.1.0

고정 주소

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

이 용어의 JSON-LD

인용

OntoCraft 한국 산업 용어 등록부, 「기술 논리」(Description Logic), 버전 0.1.1, https://ontocraft.com/terms/description-logic, CC BY 4.0.