온톨로지 소양 교육 — GT·WT 진단 온톨로지 프로젝트

A · 입력

입력한 사실

Asserted Facts

예) "기어박스가 발전기에 영향"
"윤활유시스템이 메인베어링에 공급"

B · 약속

의미와 규칙

Ontology + Rules

예) ":영향"은 이어진다
(Transitive)

추론 엔진

→

Reasoner

C ★ 도출

자동 따라오는 사실

Inferred Facts

"기어박스가 전력변환기까지"
한 번도 입력 안 함

DB는 저장된 사실만 답하지만, 온톨로지는 선언한 규칙 범위 안에서 따라오는 사실까지 답할 수 있습니다.

데모 A 전방 · 멀티홉 (①②)

① "직접 영향은 파급의 일종이다" :영향 ⊆ :파급 · subPropertyOf · 속성 계층 ② "파급은 이어진다 (A→B, B→C이면 A→C)" :파급 Transitive · 멀티홉 연쇄

✨ 추론 엔진(Reasoner)이 만든 사실

(규칙을 켜보세요 — 추론 엔진이 새 사실을 찾아냅니다)

데모 B 역방향 · inverseOf — 유체 공급·의존

입력 "윤활유시스템이 메인베어링에 공급한다" :suppliesFluidTo · 명시 · Asserted ③ "공급한다 ↔ 공급받는다는 서로 반대 방향"이라는 규칙을 명시 :suppliesFluidTo ↔ :receivesFluidFrom · inverseOf

✨ 추론 엔진(Reasoner)이 만든 사실

(규칙을 켜보세요 — 추론 엔진이 새 사실을 찾아냅니다)

※ 이 페이지는 OWL 구조 추론(클래스·관계 규칙)만 다룹니다. 진단 조건 룰(SWRL/SHACL)은 별도이며, 추론이 모든 질문에 답하는 것은 아닙니다.

이 코드는 어디에 두나? → OWL · Turtle(.ttl)

트리플 스토어에 아래와 같이 적재하면 추론기(Reasoner)가 규칙을 읽어 새 사실을 만듭니다.

Turtle 한 줄 데모 · 체크박스

:영향 rdfs:subPropertyOf :파급 .

① 직접 영향은 파급의 일종

:파급 a owl:TransitiveProperty .

② 파급은 이어진다

:공급하다 owl:inverseOf :공급받는다 .

③ 공급 ↔ 공급받음

한 단계 더 — 자주 쓰는 OWL 규칙 6가지 (이름만)

아래는 OWL 문법 이름입니다. 지금은 무슨 뜻인지만 보면 됩니다.

subClassOf — "X는 Y의 일종"

:고온알람은 :알람의 일종 → 고온알람 데이터는 자동으로 알람으로도 분류됩니다.

InverseOf — "반대 방향도 성립"

:공급하다 ↔ :공급받는다 — 정방향(공급)만 넣어도 역방향(공급받음)으로 질문·조회 가능. 데모 B가 이것입니다.

TransitiveProperty — "이어진다"

A→B, B→C이면 A→C. 위 데모의 :파급 규칙 ②가 이것입니다.

equivalentClass — "X와 Y는 같은 뜻"

두 클래스를 동일하게 봅니다. 한쪽에 속하면 다른 쪽에도 속한 것으로 처리됩니다.

disjointWith — "X와 Y는 동시에 안 됨"

예: :트립과 :정상운전을 같은 시점에 겹치게 두면 추론기가 모순으로 잡습니다.

FunctionalProperty — "딱 하나만"

한 대상에 값이 하나만 허용됩니다. 예: 진단당 :근본원인은 하나.