도구와 검증

만족불가 클래스

Unsatisfiable Class

정의

공리들 때문에 어떤 개체도 속할 수 없는 클래스입니다. 추론기가 owl:Nothing과 동치로 분류합니다. 개체가 하나라도 그 클래스에 속하면 온톨로지가 비일관해집니다.

영어

Unsatisfiable Class

관련 용어

추론기Reasoner정당화Justification

근거 등급

C

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

처음 들어온 버전

0.1.0

고정 주소

https://ontocraft.com/terms/unsatisfiable-class

이 용어의 JSON-LD

인용

OntoCraft 한국 산업 용어 등록부, 「만족불가 클래스」(Unsatisfiable Class), 버전 0.1.1, https://ontocraft.com/terms/unsatisfiable-class, CC BY 4.0.