펠렛 추론기를 사용하여 일부 온톨로지를 분석 중이지만 일부 이상한 결과가 나타납니다. 온톨로지에서 "펠릿 정보"방법을 수행하고 OWL 프로파일을 DL 표현식과 비교할 때 때로는 동일한 프로파일로 표현 성이 다른 온톨로지를 얻습니다. 그것은 적어도 그럴듯한 것 같지만, 같은 표현이지만 다른 OWL 프로파일을 가진 온톨로지를 찾고 있습니다. 프로필은 처음부터 온톨로지의 표현력과 환원성의 표시이기 때문에 어떻게 가능합니까?시맨틱 웹 온톨로지는 표현력은 동일하지만 프로파일은 다를 수 있습니까?
일반적으로 OWL2 (SROIQ 기준) 및 OWL-EL (EL++ 기반)과 같은 하위 언어 인 프로필을 비교하는 것을 고려하고 있다면 다음과 같이 생각할 수 있습니다. 온톨로지는 완전한 OWL2를 '프로필'로 간주하고 표현성이 DL 표현성으로 간주되는 경우 SROIQ가 EL ++를 포함하므로 동일한 표현 성과 다른 '프로필'을 가질 수 있습니다.
그러나 프로필의 경우 정확하게 세 개의 OWL2 profiles 중 하나를 의미합니다. OWL2-EL, OWL2-QL 및 OWL2-RL 일 때, 서로 다른 OWL2 프로파일을 갖는 두 개의 온톨로지가 실제로일부가 표현 성을 교차 할 수있는 설명 로직에 의해 토대가됨에 따라 동일한 표현 (적어도 DL- 표현성)을 가질 수 있습니다. 예를 들어
(EL++ 기준) OWL2-EL 프로필 온톨로지 및 OWL2-QL 프로필 (DL-Lite 기준)이 설명 로직 모두 같은 것을 표현할 수
두 프로필에 공통적 인 DL 구성 요소의 사용으로 제한되는 프로필 (EL, QL)의 온톨로지는 동일한 DL- 표현 성을 갖습니다.