한국식 피자를 Pizza Ontology에 추가하기

도전 목표

Step 5에서 만든 Pizza Ontology에 한국 고유 피자와 토핑을 추가합니다. 추론기가 올바르게 분류하는지 확인합니다.

---

요구사항

Part 1: 한국 토핑 추가 (최소 5개)

아래 토핑 클래스를 적절한 상위 클래스 아래에 추가하세요:

Part 2: 한국 피자 3종 정의

Part 3: 추론 테스트

1. GogumaPizza는 VegetarianPizza로 분류되는가? (되어야 함!)
2. BulgogiPizza는 VegetarianPizza인가? (아니어야 함!)
3. KoreanHotPizza는 SpicyPizza로 분류되는가? (SpicyPizza를 정의했다면)

Part 4: 한국 피자 전용 속성 추가

---

산출물

1. Protege 파일 (.owl 또는 .ttl)
2. 추론기 실행 스크린샷 (또는 결과 설명)
3. 분류 결과 요약표:

---

평가 기준

항목	배점
토핑 클래스 정확한 위치 배치 (5개+)	25%
피자 3종 some/only 제약 정확성	30%
추론 결과 정확성	25%
Disjoint 설정 완성도	20%

BulgogiTopping은 MeatTopping의 subclass (고기!)
KimchiTopping은 VegetableTopping의 subclass
SweetPotatoTopping도 VegetableTopping의 subclass
GochujangSauce를 위해 SauceTopping 클래스를 새로 만들 수 있음
추론이 안 되면 Disjoint 누락 확인 → 형제 토핑들 disjoint 설정
only 제약 없이 some만 쓰면 추가 토핑이 있을 수 있어서 추론이 부정확