OWL DL?

[OWL Reference의 8.2절 번역입니다.]

OWL DL은 여러 OWL 언어 구문의 사용상 제약 사항을 포함하는 OWL의 하위 언어입니다. 제약 사항들을 간략하게 나열해 보면 다음과 같습니다.

• OWL DL은 클래스, 데이터타입, 데이터타입 속성, 객체 속성, 주석 속성(annotation properties), 온톨로지 속성 (예: 온톨로지 임포트 및 버전 정보에 관련된 속성들), 개체, 데이터 값 및 사전 정의 어휘 간에 상호 배타적인 분리를 전제한다. 예를 들면, 클래스는 개체가 될 수 없다.
• OWL DL에서 객체 속성과 데이터타입 속성은 서로 겹치지 않는 집합을 구성한다. 따라서 데이터타입 속성에 대해서는 속성의 역 관계, 역함수 특성, 대칭성, 이행성은 기술될 수 없다.
• OWL DL에서 이행 속성과 그 역 및 상위 속성들에 대해서는 전역 및 지역 관계 차수를 기술할 수 없다.
• 주석은 특수한 경우에만 기술될 수 있다. (참조)
• 대부분의 RDF(S) 어휘는 OWL DL 문서에서 사용될 수 없다. (참조)
• 모든 공리(axiom)는 엄격히 문법에 따라 작성되어야 하며, 트리 구조(tree-like structure)로 구성되어야 한다. 이 제약 사항은 모든 클래스와 속성은 명시적으로 OWL 클래스 및 속성으로 선언되어야 함을 뜻한다. 예를 들어 임의의 온톨로지가 다음과 같은 구문을 포함한다고 하자.
  

  <owl:Class rdf:ID="C1">
    <rdfs:subClassOf rdf:resource="#C2"/>
  </owl:Class>
  

  그러면 그 온톨로지에는 C2가 owl:Class라는 선언이 존재해야만 한다.
• 개체의 동치성과 비동치성은 명명된 개체들에 대해서만 기술될 수 있다.

상기한 제약 사항들은 추론 프로세스의 결정가능성(decidability)을 보장하기 위해 필요하다.이들은 기술 논리(description logics) 분야의 연구 결과로 밝혀진 것들이다.