owl

Web Ontology Language의 약자로, RDFS보다 복잡한 논리적 추론을 지원하는 언어이다. 전이적 속성, 함수적 속성 등 고급 제약 조건을 정의하여 에이전트의 출력이 논리적으로 타당한지 검증하는 데 사용된다.