Tools and validation
만족불가 클래스
Unsatisfiable Class
DraftVersion 0.1.1Updated 2026-10-09
- Definition(Written in Korean)
- 공리들 때문에 어떤 개체도 속할 수 없는 클래스입니다. 추론기가 owl:Nothing과 동치로 분류합니다. 개체가 하나라도 그 클래스에 속하면 온톨로지가 비일관해집니다.
- English
- Unsatisfiable Class
- Related terms
- 추론기Reasoner정당화Justification
- Evidence grade
C
자가신고: 교과서 집필 중에 정리한 정의이며 외부 원문과 대조하지 않았습니다
- Added in version
- 0.1.0
- Permanent URI
https://ontocraft.com/terms/unsatisfiable-class
JSON-LD for this term- Citation
- OntoCraft Korean Industrial Term Registry, “만족불가 클래스” (Unsatisfiable Class), version 0.1.1, https://ontocraft.com/terms/unsatisfiable-class, CC BY 4.0.
CC BY 4.0. Source: OntoCraft Korean Industrial Term Registry · License text