설명 논리

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

설명 논리(DL)는 일차 논리의 단편으로, 지식 표현을 위한 형식 언어이다. 용어 시스템, 개념 언어라고도 불리며, 웹 온톨로지 언어(OWL)와 같은 다른 언어에서도 사용된다. DL은 개념, 역할, 개체 간의 관계를 정의하고 추론할 수 있게 해주며, TBox와 ABox로 구성된다. DL은 다양한 추론 문제를 해결하며, 일차 논리, 퍼지 논리, 양상 논리, 시간적 논리와의 관계를 갖는다. 여러 추론기와 편집기가 존재하며, DIG 인터페이스, OWL API, OWLAPY 등과 같은 인터페이스를 통해 접근할 수 있다.

더 읽어볼만한 페이지

지식 표현 언어 - 제스 (프로그래밍 언어)
제스는 자바 기반의 전문가 시스템 및 규칙 엔진으로, CLIPS를 기반으로 개발되었으며, 변수 바인딩, 함수 정의, 사실 집합 정의 등의 기능을 제공하고 헌혈 가능 여부 판단과 같은 규칙을 정의하는 데 사용된다.
비고전 논리 - 비단조 논리
비단조 논리는 새로운 정보로 인해 기존 결론이 변경될 수 있는 논리 체계로, 불완전하거나 변동적인 정보를 다루며 현실 세계 추론, 인간 사고, 인공지능 시스템 등에 활용되고, 증명론 및 모델론적으로 연구된다.
비고전 논리 - 다치 논리
다치 논리는 배중률을 따르지 않고 3개 이상의 진리값을 가지는 논리 체계로, 이진 문제를 해결하고 전자 회로 설계를 개선하는 데 응용되며, 퍼지 논리, 다치 메모리, 삼진법 컴퓨터 등에 활용된다.
정보과학 - 시소러스
시소러스는 특정 단어나 개념의 유의어, 상위어, 하위어를 모아놓은 사전으로, 어휘의 의미 관계를 보여주며 글쓰기, 번역 등 다양한 분야에 활용된다.
정보과학 - 지식 표현
지식 표현은 컴퓨터가 인간의 지식을 이해하고 활용하도록 정보를 구조화하는 기술이며, 표현력과 추론 효율성의 균형, 불확실성 처리 등을 핵심 과제로 다양한 기법과 의미 웹 기술을 활용한다.

설명 논리
개요
유형	지식 표현 언어
패러다임	선언형 프로그래밍
설계	개념 기술 술어 논리
주요 특징	지식 기반 시스템 자동 추론 온톨로지 의미론적 웹
상세 정보
하위 개념	ALC SHOIQ SHI SROIQ
활용 분야	생물 의학 정보학 지식 관리 데이터 통합 에이전트 기반 시스템 구성 관리 데이터베이스 소프트웨어 공학
참고 자료
참고 문헌	Description Logic Handbook: Theory, Implementation and Applications. Description Logics in Multimedia Reasoning.

2. 용어

2. 1. 용어 비교 (FOL, OWL, DL)

설명 논리 커뮤니티는 일차 논리(FOL) 커뮤니티와 조작적으로 동일한 개념에 대해 다른 용어를 사용한다. 웹 온톨로지 언어(OWL)는 또한 다른 용어를 사용하며, 아래 표에 나와 있다.

동의어
일차 논리 (FOL)	웹 온톨로지 언어 (OWL)	DL
상수	개체	개체
단항 술어	클래스	개념
이항 술어	속성	역할

2. 1. 1. 용어 대조표

wikitable

동의어
일차 논리 (FOL)	웹 온톨로지 언어 (OWL)	DL
상수	개체	개체
단항 술어	클래스	개념
이항 술어	속성	역할

2. 2. 명명 규칙

설명 논리에는 여러 종류가 있으며, 허용되는 연산자를 대략적으로 설명하는 비공식적인 명명 규칙이 있다. 표현력은 다음 기본 논리 중 하나로 시작하는 논리 레이블에 인코딩된다.

논리	설명
$\mathcal{AL}$	속성 언어. 다음을 허용하는 기본 언어이다.
$\mathcal{FL}$	프레임 기반 설명 언어,^[3] 허용:
$\mathcal{EL}$	존재 언어, 허용:

다음과 같은 확장이 이어집니다.

확장	설명
$\mathcal{F}$	함수적 속성, 고유성 정량화의 특별한 경우.
$\mathcal{E}$	전체 존재 자격 ( $\top$ 이외의 필러가 있는 존재적 제한).
$\mathcal{U}$	개념 합집합.
$\mathcal{C}$	복잡한 개념 부정.
$\mathcal{H}$	역할 계층 (하위 속성: `rdfs:subPropertyOf`).
$\mathcal{R}$	제한된 복잡한 역할 포함 공리; 반사성 및 비반사성; 역할 불일치.
$\mathcal{O}$	명목적 표현. (열거된 객체 값 제한 클래스: `owl:oneOf`, `owl:hasValue`).
$\mathcal{I}$	역 속성.
$\mathcal{N}$	기수 제한 (`owl:cardinality`, `owl:maxCardinality`), 계수 정량화의 특별한 경우
$\mathcal{Q}$	정량화된 기수 제한 (OWL 2에서 사용 가능, $\top$ 이외의 필러가 있는 기수 제한).
$^\mathcal{(D)}$	데이터 유형 속성, 데이터 값 또는 데이터 유형 사용.

2. 2. 1. 기본 논리

표현력은 다음 기본 논리 중 하나로 시작하는 논리 레이블에 인코딩된다.

2. 2. 2. 확장

기본 논리에 다음과 같은 확장이 추가될 수 있다.

2. 2. 3. 예외

몇몇 표준 DL은 명명 규칙을 정확히 따르지 않는다.

논리	설명
$\mathcal{S}$	전이적 역할을 가진 $\mathcal{ALC}$ 의 약어이다.
$\mathcal{FL^-}$	역할 제한을 허용하지 않음으로써 얻는 $\mathcal{FL}$ 의 하위 언어이다. 이는 원자적 부정을 제외한 $\mathcal{AL}$ 과 동일하다.
$\mathcal{FL}_o$	제한된 존재적 정량화를 허용하지 않음으로써 얻는 $\mathcal{FL^-}$ 의 하위 언어이다.
$\mathcal{EL^{++}}$	$\mathcal{ELRO}$ 의 별칭이다.^[4]

2. 2. 4. 예시

\mathcal{ALC}

는 다른 변종과의 비교가 가능한 핵심적인 설명 논리이다.

\mathcal{ALC}

는 원자 개념뿐만 아니라 모든 개념의 보수를 허용하는

\mathcal{AL}

이다.

\mathcal{ALC}

는 동등한

\mathcal{ALUE}

대신 사용된다.

또 다른 예로, 설명 논리

\mathcal{SHIQ}

는

\mathcal{ALC}

에 확장된 기수 제한, 전이적 역할 및 역 역할을 더한 것이다. 명명 규칙이 순전히 체계적인 것은 아니어서 논리

\mathcal{ALCOIN}

은

\mathcal{ALCNIO}

로 참조될 수 있으며, 가능하면 다른 약어도 사용된다.

온톨로지 편집기는

\mathcal{SHOIN}^\mathcal{(D)}

을 지원한다. SNOMED CT, GALEN, GO의 세 가지 주요 생물의학 정보학 용어 기반은

\mathcal{EL}

로 표현할 수 있다(추가적인 역할 속성을 포함).

OWL 2는

\mathcal{SROIQ}^\mathcal{(D)}

의 표현력을 제공하며, OWL-DL은

\mathcal{SHOIN}^\mathcal{(D)}

을 기반으로 하고, OWL-Lite는

\mathcal{SHIF}^\mathcal{(D)}

를 기반으로 한다.

3. 역사

설명 논리(Description Logic, DL)는 1980년대에 현재의 명칭을 얻기 전에는 '용어 시스템'과 '개념 언어'로 불렸다.^[5] 의미 프레임과 의미 망의 형식적 의미론 부족을 보완하기 위해, DL은 지식 표현 시스템에 도입되었다.^[5]

KL-ONE(1985)은 최초의 DL 기반 지식 표현 시스템이었다. 1980년대에는 KRYPTON (1983), LOOM (1987), BACK (1988), K-REP (1991), CLASSIC (1991) 등 구조적 포함 알고리즘^[5]을 사용하는 DL 기반 시스템들이 개발되었다. 이러한 시스템들은 제한된 표현력을 가졌지만, 비교적 효율적인 추론을 제공했다.^[5]

1990년대 초, 테이블 기반 알고리즘^[5]의 도입으로 더 표현력 있는 DL에서도 효율적인 추론이 가능해졌다. KRIS (1991) 등이 이러한 알고리즘을 사용했다.^[5] 1990년대 중반부터는 FaCT,^[6] RACER (2001), CEL (2005), KAON 2 (2005)와 같이 실용적 성능이 우수한 추론기들이 개발되었다.^[5]

시맨틱 웹과 관련하여, DARPA 에이전트 마크업 언어(DAML)와 온톨로지 추론 계층(OIL)은 시맨틱 웹을 위한 온톨로지 언어로 발전했다.^[8] 2004년에는 웹 온톨로지 언어(OWL)^[12] 권고안이 발표되었는데, OWL DL과 OWL Lite는 각각 $\mathcal{SHOIN}^\mathcal{(D)}$ 과 $\mathcal{SHIF}^\mathcal{(D)}$ 기반이다.^[13] 2009년에는 $\mathcal{SROIQ}^\mathcal{(D)}$ 기반의 OWL2^[15] 권고안이 발표되었다.^[16]

4. 모델링

설명 논리(DL)에서는 TBox(용어 상자)와 ABox(단언 상자)를 구분한다. TBox는 일반적으로 개념 계층 구조, 즉 개념 간의 관계를 설명하는 문장을 포함한다. 반면, ABox는 개별 개체가 계층 구조의 어디에 속하는지, 즉 개별 개체와 개념 간의 관계를 나타내는 기저 문장을 포함한다. 예를 들어 "모든 직원은 사람이다"라는 문장은 TBox에 속하고, "밥은 직원이다"라는 문장은 ABox에 속한다.

TBox/ABox 구분은 다양한 DL에 대한 의사 결정 절차를 설명하고 공식화할 때 유용할 수 있다. 예를 들어, 추론기는 TBox와 ABox를 별도로 처리할 수 있는데, 그 이유는 특정 주요 추론 문제가 하나에만 연결되어 있고 다른 하나에는 연결되어 있지 않기 때문이다('분류'는 TBox와 관련이 있고 '인스턴스 확인'은 ABox와 관련이 있다). 또한 TBox의 복잡성이 ABox와 관계없이 특정 DL에 대한 주어진 의사 결정 절차의 성능에 크게 영향을 미칠 수 있다.

지식 베이스 모델러의 관점에서도 이러한 구분이 의미가 있을 수 있다. 세계의 용어/개념(TBox의 클래스 공리)에 대한 우리의 개념과 이러한 용어/개념의 특정 표현(ABox의 인스턴스 단언)을 구분하는 것이 타당하다. 회사의 계층 구조가 모든 지점에서 동일하지만 직원에 대한 할당이 다른 경우, 동일한 ABox를 사용하지 않는 다른 지점에 대해 TBox를 재사용하는 것이 타당하다.

설명 논리는 다른 대부분의 데이터 설명 형식과 공유되지 않는 두 가지 특징이 있다. DL은 고유명 가정(UNA) 또는 폐쇄 세계 가정(CWA)을 하지 않는다. UNA가 없다는 것은 서로 다른 이름을 가진 두 개의 개념이 일부 추론에 의해 동일한 것으로 표시될 수 있음을 의미한다. CWA가 없거나, 개방 세계 가정(OWA)이 있다는 것은 사실에 대한 지식이 부족하다고 해서 즉시 사실의 부정을 의미하지 않는다는 것을 의미한다.

5. 형식적 기술

일차 논리(FOL)와 마찬가지로, 구문론은 설명 논리에서 기호 집합이 어떤 표현이 될 수 있는지 정의하며, 의미론은 의미를 결정한다.^[8] FOL과 달리, DL은 몇 가지 잘 알려진 구문 변형을 가질 수 있다.^[8]

==== 구문 ====

설명 논리족의 구성원 구문은 개념 항을 형성하는 데 사용할 수 있는 생성자를 명시하는 재귀적 정의로 특징지어진다. 일부 생성자는 1차 논리(FOL)의 논리 생성자와 관련이 있는데, 예를 들어 개념의 ''교집합'' 또는 ''논리곱'', 개념의 ''합집합'' 또는 ''논리합'', 개념의 ''부정'' 또는 ''여집합'', ''전칭 제한'' 및 ''존재 제한'' 등이 있다. 다른 생성자는 역할에 대한 제한을 포함하여 FOL에 해당 구성이 없으며, 예를 들어 역, 추이성 및 기능성이 있다.

==== 표기법 ====

C와 D는 개념, a와 b는 개체, R은 역할을 나타낸다.

만약 a가 b와 R로 연관되어 있다면, b는 a의 R-후계자라고 한다.

일반적인 표기법
기호	설명	예시	읽기
⊤	모든 개체를 인스턴스로 가지는 특수한 개념이다.	⊤	top
⊥	공집합 개념	⊥	bottom
⊓	개념의 교집합 또는 논리곱	C ⊓ D	C and D
⊔	개념의 합집합 또는 논리합	C ⊔ D	C or D
¬	개념의 부정 또는 여집합	¬C	not C
∀	전칭 제약	∀R.C	모든 R-후계자는 C에 속한다
∃	존재 제약	∃R.C	C에 속하는 R-후계자가 존재한다.
⊑	개념 포함	C ⊑ D	모든 C는 D이다
≡	개념 동치	C ≡ D	C는 D와 동치이다
$\dot =$	개념 정의	C $\dot =$ D	C는 D와 같도록 정의된다
:	개념 단언	a : C	a는 C이다
:	역할 단언	(a,b) : R	a는 b와 R로 연관되어 있다

==== $\mathcal{ALC}$ ====

속성 개념 언어와 보완/Attribute Concept Language with Complements^영어 ( $\mathcal{ALC}$ )는 1991년 만프레드 슈미트-샤우스와 게르트 스몰카가 소개했으며, 표현력이 풍부한 많은 DL의 기초가 된다.^[5] 다음 정의는 Baader 등의 논문을 따른다.^[5]

$N_C$ , $N_R$ 및 $N_O$ 를 각각 '개념 이름'( '원자 개념'이라고도 함), '역할 이름' 및 '개별 이름'('개체', '명목' 또는 '객체'라고도 함)의 집합이라고 하자. 그러면 정렬된 삼중항( $N_C$ , $N_R$ , $N_O$ )은 '서명'이다.

==== 의미론 ====

설명 논리의 의미론은 개념을 개체의 집합으로, 역할을 개체 순서쌍의 집합으로 해석하여 정의된다. 이러한 개체들은 일반적으로 주어진 도메인에서 가정된다. 비원자 개념과 역할의 의미론은 원자 개념과 역할을 사용하여 정의된다. 이는 구문과 유사한 재귀적 정의를 사용함으로써 이루어진다.^[5]

===== $\mathcal{ALC}$ =====

다음 정의는 Baader et al.의 설명을 따른다.^[5]

''용어적 해석'' $\mathcal{I}=(\Delta^{\mathcal{I}}, \cdot^{\mathcal{I}})$ 는 ''시그니처'' $(N_C,N_R,N_O)$ 에 대해 다음과 같이 구성된다.

공집합이 아닌 집합 $\Delta^{\mathcal{I}}$ 는 ''영역''이라고 한다.
''해석 함수'' $\cdot^{\mathcal{I}}$ 는 다음을 매핑한다.
* 모든 ''개체'' $a$ 를 원소 $a^{\mathcal{I}} \in \Delta^{\mathcal{I}}$ 로 매핑
* 모든 ''개념''을 $\Delta^{\mathcal{I}}$ 의 부분 집합으로 매핑
* 모든 ''역할 이름''을 $\Delta^{\mathcal{I}} \times \Delta^{\mathcal{I}}$ 의 부분 집합으로 매핑

다음과 같은 조건을 만족한다.

$\top^{\mathcal{I}} = \Delta^{\mathcal{I}}$
$\bot^{\mathcal{I}} = \emptyset$
$(C \sqcup D)^{\mathcal{I}} = C^{\mathcal{I}} \cup D^{\mathcal{I}}$ ''(합집합은 분리를 의미한다)''
$(C \sqcap D)^{\mathcal{I}} = C^{\mathcal{I}} \cap D^{\mathcal{I}}$ ''(교집합은 결합을 의미한다)''
$(\neg C)^{\mathcal{I}} = \Delta^{\mathcal{I}} \setminus C^{\mathcal{I}}$ ''(여집합은 부정을 의미한다)''
$(\forall R.C)^{\mathcal{I}} = \{x \in \Delta^{\mathcal{I}} | \text{for} \; \text{every} \; y, (x,y) \in R^{\mathcal{I}} \; \text{implies} \; y \in C^{\mathcal{I}} \}$
$(\exists R.C)^{\mathcal{I}} = \{x \in \Delta^{\mathcal{I}} | \text{there} \; \text{exists} \; y, (x,y) \in R^{\mathcal{I}} \; \text{and} \; y \in C^{\mathcal{I}}\}$

\mathcal{I} \models

를 다음과 같이 정의한다 (''I에서 성립한다''라고 읽는다).

5. 1. 구문

설명 논리족의 구성원 구문은 개념 항을 형성하는 데 사용할 수 있는 생성자를 명시하는 재귀적 정의로 특징지어진다. 일부 생성자는 1차 논리 (FOL)의 논리 생성자와 관련이 있는데, 예를 들어 개념의 ''교집합'' 또는 ''논리곱'', 개념의 ''합집합'' 또는 ''논리합'', 개념의 ''부정'' 또는 ''여집합'', ''전칭 제한'' 및 ''존재 제한'' 등이 있다. 다른 생성자는 역할에 대한 제한을 포함하여 FOL에 해당 구성이 없으며, 예를 들어 역, 추이성 및 기능성이 있다.

5. 1. 1. 표기법

C와 D는 개념, a와 b는 개체, R은 역할을 나타낸다.

만약 a가 b와 R로 연관되어 있다면, b는 a의 R-후계자라고 한다.

일반적인 표기법
기호	설명	예시	읽기
⊤	모든 개체를 인스턴스로 가지는 특수한 개념이다.	⊤	top
⊥	공집합 개념	⊥	bottom
⊓	개념의 교집합 또는 논리곱	C ⊓ D	C and D
⊔	개념의 합집합 또는 논리합	C ⊔ D	C or D
¬	개념의 부정 또는 여집합	¬C	not C
∀	전칭 제약	∀R.C	모든 R-후계자는 C에 속한다
∃	존재 제약	∃R.C	C에 속하는 R-후계자가 존재한다.
⊑	개념 포함	C ⊑ D	모든 C는 D이다
≡	개념 동치	C ≡ D	C는 D와 동치이다
$\dot =$	개념 정의	C $\dot =$ D	C는 D와 같도록 정의된다
:	개념 단언	a : C	a는 C이다
:	역할 단언	(a,b) : R	a는 b와 R로 연관되어 있다

5. 1. 2. $\mathcal{ALC}$

속성 개념 언어와 보완/Attribute Concept Language with Complements^영어 (

\mathcal{ALC}

)는 1991년 만프레드 슈미트-샤우스와 게르트 스몰카가 소개했으며, 표현력이 풍부한 많은 DL의 기초가 된다.^[5] 다음 정의는 Baader 등의 논문을 따른다.^[5]

N_C

,

N_R

및

N_O

를 각각 '개념 이름'( '원자 개념'이라고도 함), '역할 이름' 및 '개별 이름'('개체', '명목' 또는 '객체'라고도 함)의 집합이라고 하자. 그러면 정렬된 삼중항(

N_C

,

N_R

,

N_O

)은 '서명'이다.

5. 2. 의미론

설명 논리의 의미론은 개념을 개체의 집합으로, 역할을 개체 순서쌍의 집합으로 해석하여 정의된다. 이러한 개체들은 일반적으로 주어진 도메인에서 가정된다. 비원자 개념과 역할의 의미론은 원자 개념과 역할을 사용하여 정의된다. 이는 구문과 유사한 재귀적 정의를 사용함으로써 이루어진다.^[5]

5. 2. 1. $\mathcal{ALC}$

다음 정의는 Baader et al.의 설명을 따른다.^[5]

''용어적 해석''

\mathcal{I}=(\Delta^{\mathcal{I}}, \cdot^{\mathcal{I}})

는 ''시그니처''

(N_C,N_R,N_O)

에 대해 다음과 같이 구성된다.

공집합이 아닌 집합 $\Delta^{\mathcal{I}}$ 는 ''영역''이라고 한다.
''해석 함수'' $\cdot^{\mathcal{I}}$ 는 다음을 매핑한다.
* 모든 ''개체'' $a$ 를 원소 $a^{\mathcal{I}} \in \Delta^{\mathcal{I}}$ 로 매핑
* 모든 ''개념''을 $\Delta^{\mathcal{I}}$ 의 부분 집합으로 매핑
* 모든 ''역할 이름''을 $\Delta^{\mathcal{I}} \times \Delta^{\mathcal{I}}$ 의 부분 집합으로 매핑

다음과 같은 조건을 만족한다.

$\top^{\mathcal{I}} = \Delta^{\mathcal{I}}$
$\bot^{\mathcal{I}} = \emptyset$
$(C \sqcup D)^{\mathcal{I}} = C^{\mathcal{I}} \cup D^{\mathcal{I}}$ ''(합집합은 분리를 의미한다)''
$(C \sqcap D)^{\mathcal{I}} = C^{\mathcal{I}} \cap D^{\mathcal{I}}$ ''(교집합은 결합을 의미한다)''
$(\neg C)^{\mathcal{I}} = \Delta^{\mathcal{I}} \setminus C^{\mathcal{I}}$ ''(여집합은 부정을 의미한다)''
$(\forall R.C)^{\mathcal{I}} = \{x \in \Delta^{\mathcal{I}} | \text{for} \; \text{every} \; y, (x,y) \in R^{\mathcal{I}} \; \text{implies} \; y \in C^{\mathcal{I}} \}$
$(\exists R.C)^{\mathcal{I}} = \{x \in \Delta^{\mathcal{I}} | \text{there} \; \text{exists} \; y, (x,y) \in R^{\mathcal{I}} \; \text{and} \; y \in C^{\mathcal{I}}\}$

\mathcal{I} \models

를 다음과 같이 정의한다 (''I에서 성립한다''라고 읽는다).

6. 추론

설명 논리를 사용하여 개념 집합의 설명을 통해 설명된 개념과 인스턴스에 대한 질문을 할 수 있다. 가장 일반적인 결정 문제는 다음과 같다.

인스턴스 확인: 특정 인스턴스(ABox의 구성원)가 주어진 개념의 구성원인지 확인한다.
관계 확인: 관계/역할이 두 인스턴스 사이에 존재하는지(즉, '''a'''가 속성 '''b'''를 가지는지) 확인한다.
포함 관계: 한 개념이 다른 개념의 하위 집합인지 확인한다.
개념 일관성: 정의 또는 정의 체인 사이에 모순이 없는지 확인한다.

논리에 더 많은 연산자를 포함하고 TBox가 더 복잡할수록(사이클이 있고, 비원자 개념이 서로를 포함하도록 허용), 일반적으로 이러한 각 문제에 대한 계산 복잡성이 높아진다. 예를 보려면 [http://www.cs.man.ac.uk/~ezolin/dl/ Description Logic Complexity Navigator]를 참조.

7. 다른 논리와의 관계

7. 1. 일차 논리

많은 설명 논리는 결정 가능성이 있는 일차 논리의 단편이며, 일반적으로 두 변수 논리 또는 보호 논리의 단편이다. 또한 일부 설명 논리에는 일차 논리에서 다루지 않는 기능이 있는데, ''구체적 도메인''(예: ''hasAge'' 또는 ''hasName''과 같은 역할의 범위로 사용할 수 있는 정수 또는 문자열)이나 해당 역할의 추이적 폐쇄에 대한 역할 연산자가 그러한 예시이다.

7. 2. 퍼지 설명 논리

퍼지 설명 논리는 퍼지 논리와 설명 논리를 결합한 것이다. 인공 지능 시스템에 필요한 많은 개념이 명확하게 정의된 경계나 정확하게 정의된 멤버십 기준을 갖지 못하기 때문에, 퍼지 논리는 모호함과 부정확함의 개념을 다루는 데 필요하다. 이는 부정확하고 모호한 개념을 다루기 위해 설명 논리를 일반화하려는 동기를 제공한다.

7. 3. 양상 논리

설명 논리는 양상 논리와 관련이 있지만, 독립적으로 발전했다.^[5] 많은, 그러나 모든 것은 아닌, 설명 논리는 양상 논리의 구문 변형이다.^[5]

일반적으로 객체는 가능 세계에, 개념은 양상 명제에, 역할 제한 양화사는 해당 역할을 접근 관계으로 하는 양상 연산자에 해당한다.

역할에 대한 연산(구성, 역 등)은 동적 논리에서 사용되는 양상 연산에 해당한다.^[17]

7. 3. 1. 예시

wikitable

구문 변형
설명 논리 (DL)	모델 논리 (ML)
$\mathcal{ALC}$	K^[5]
$\mathcal{SR}$	PDL^[17]
$\mathcal{FSR}$	DPDL (결정적 PDL)^[17]
$\mathcal{TSL}\text{, or }\mathcal{SRI}$	역-PDL^[17]
$\mathcal{FSL}\text{, or }\mathcal{FSRI}$	역-DPDL (결정적 PDL)^[17]

7. 4. 시간적 설명 논리

시간적 설명 논리는 시간 의존적인 개념을 나타내며 이에 대한 추론을 가능하게 한다.^[18] 예를 들어, 설명 논리는 양상 시간 논리인 선형 시간 논리와 결합될 수 있다.^[18]

8. 추론기(Reasoners)

OWL과 기술 논리를 다루는 여러 의미 추론기는 다음과 같다.

[http://lat.inf.tu-dresden.de/systems/cel/ CEL]은 오픈 소스 LISP 기반 추론기이다(Apache 2.0 라이선스).
[https://web.archive.org/web/20060419191746/http://www.cerebra.com/ Cerebra Engine]은 2006년 webMethods에 인수된 상업용 C++ 기반 추론기였다.
[http://owl.man.ac.uk/factplusplus FaCT++]는 무료 오픈 소스 C++ 기반 추론기이다.
KAON2는 OWL 온톨로지에 대한 빠른 추론 지원을 제공하는 무료(비상업적 사용) Java 기반 추론기이다.
[http://www.cs.man.ac.uk/~schmidt/mspass/ MSPASS]는 수많은 DL 모델을 위한 무료 오픈 소스 C 추론기이다.
[https://web.archive.org/web/20070925082014/http://pellet.owldl.com/ Pellet]은 이중 라이선스(AGPL 및 독점)를 가진 상업용 Java 기반 추론기이다.
[http://www.racer-systems.com/ RacerPro]는 Racer Systems의 상업용(무료 평가판 및 연구 라이선스 제공) Lisp 기반 추론기였으며, 현재는 Lübeck University의 원래 개발자가 BSD 3 라이선스를 사용하여 개발한 오픈 소스 버전의 RACER와 [https://franz.com/agraph/racer/racer_features.lhtml Franz Inc.의 RacerPro]라는 상업화된 버전이 모두 존재한다.
[http://sim-dl.sourceforge.net/ Sim-DL]은 ALCHQ 언어를 위한 무료 오픈 소스 Java 기반 추론기이다. 또한 개념 간의 유사성 측정 기능을 제공한다. 이 기능에 액세스하려면 Protégé 플러그인을 사용할 수 있다.
[http://hermit-reasoner.com/ HermiT]는 "하이퍼 테이블" 계산법을 기반으로 하는 오픈 소스 추론기이다. 옥스퍼드 대학교에서 개발했다.
[https://owlready2.readthedocs.io/en/latest/ Owlready2]는 파이썬에서 온톨로지 중심 프로그래밍을 위한 패키지이다. OWL 2.0 온톨로지를 파이썬 객체로 로드하고, 수정하고, 저장하고, [http://hermit-reasoner.com/ HermiT] (포함)를 통해 추론을 수행할 수 있다. Owlready2는 OWL 온톨로지에 대한 투명한 액세스를 허용한다(일반적인 Java 기반 API와는 반대).
[https://github.com/dice-group/owlapy/releases OWLAPY]. OWLAPY는 OWL 온톨로지를 생성, 조작 및 추론하기 위한 오픈 소스 파이썬 프레임워크이다. 효율적이고 가벼운 추론을 위한 내장 StructuralReasoner와 HermiT, Pellet, JFact 및 Openllet과 같은 잘 알려진 Java 기반 추론기에 대한 래퍼를 포함한다.

9. 편집기(Editors)

Protégé는 DL 추론기를 사용하여 일관성 검사를 위한 백 엔드로 DIG 인터페이스를 제공할 수 있는 자유-오픈 소스 온톨로지 편집기이자 지식 베이스 프레임워크이다. SWOOP는 표준 웹 브라우저를 기본 UI 패러다임으로 사용하는 OWL 브라우저/편집기이다.

10. 인터페이스(Interfaces)

DIG 인터페이스는 DL 구현 그룹 (DIG)(http://dl.kr.org/dig/)에서 개발한 DL 시스템에 대한 표준화된 XML 인터페이스이다. OWL API는 웹 온톨로지 언어에 대한 자바 인터페이스 및 구현으로, 시맨틱 웹 온톨로지를 표현하는 데 사용된다. OWLAPY는 웹 온톨로지 언어에 대한 파이썬 인터페이스 및 구현으로, 시맨틱 웹 온톨로지를 표현하는 데 사용된다.

참조

_[1] 서적 Description Logics in Multimedia Reasoning https://www.springer[...] Springer International Publishing 2017
_[2] 논문 OWL 2: The next step for OWL http://www.cs.ox.ac.[...]
_[3] 논문 Expressiveness and tractability in knowledge representation and reasoning
_[4] 논문 Distributed Reasoning with EL++ Using MapReduce http://corescholar.l[...] Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio 2016-08-24
_[5] 문서 Chapter 3 Description Logics Elsevier 2007
_[6] 서적 Automated Reasoning
_[7] 논문 Pellet: A practical OWL-DL reasoner http://pellet.owldl.[...]
_[8] 문서 Ontology Reasoning in the SHOQ(D) Description Logic 2001
_[9] 논문 OIL: An ontology infrastructure for the Semantic Web
_[10] 문서 The Generation of DAML+OIL 2001
_[11] 문서 Web Ontology Working Group Charter 2003
_[12] 문서 W3C Press Release 2004
_[13] 논문 From SHIQ and RDF to OWL: The making of a Web Ontology Language http://www.comlab.ox[...]
_[14] 문서 OWL Working Group Charter 2007
_[15] 웹사이트 OWL 2 Web Ontology Language Primer http://www.w3.org/TR[...] World Wide Wed Consortium 2009-10-27
_[16] 서적 Foundations of Semantic Web Technologies http://www.semantic-[...] CRCPress 2009-08-25
_[17] 웹사이트 Correspondence theory for terminological logics: Preliminary Report http://www.cs.man.ac[...] KIT-BACK 2012-10-25
_[18] 문서 Temporal Description Logics 2005

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com

설명 논리

1. 개요

더 읽어볼만한 페이지

2. 용어

2. 1. 용어 비교 (FOL, OWL, DL)

2. 1. 1. 용어 대조표

2. 2. 명명 규칙

2. 2. 1. 기본 논리

2. 2. 2. 확장

2. 2. 3. 예외

2. 2. 4. 예시

3. 역사

4. 모델링

5. 형식적 기술

5. 1. 구문

5. 1. 1. 표기법

5. 1. 2. \mathcal{ALC}

5. 2. 의미론

5. 2. 1. \mathcal{ALC}

6. 추론

7. 다른 논리와의 관계

7. 1. 일차 논리

7. 2. 퍼지 설명 논리

7. 3. 양상 논리

7. 3. 1. 예시

7. 4. 시간적 설명 논리

8. 추론기(Reasoners)

9. 편집기(Editors)

10. 인터페이스(Interfaces)

참조

5. 1. 2. $\mathcal{ALC}$

5. 2. 1. $\mathcal{ALC}$