데이터 속성에 제한을 두어 개인에 고유 한 값을 부여하는 방법

클래스 Sensor 및 각 센서 hasID 데이터 속성이 있습니다. 각 센서에는 다른 센서가 걸리지 않는 별개의 ID#이 있습니다. 즉, 두 개의 센서에는 동일한 ID#을 사용할 수 없습니다. 어떻게 표현할 수 있습니까?데이터 속성에 제한을 두어 개인에 고유 한 값을 부여하는 방법

출처

2016-10-22 Ali

왜 센서 URI를 고유 식별자로 사용하는 대신 데이터 속성의 객체로 ID #가 필요합니까? –

내 모델의 ID 번호를 기반으로 각 센서를 추적해야하기 때문에 – Ali

hasID를 속성으로 지정하여 Sensor에 HasKey 공리를 만들 수 있습니다. HasKey는 OWL 2 스펙에 설명되어 있습니다.

출처

2016-10-22 11:40:26 Ignazio

Protege'hasID some SubClassOf Sensor '에서이 작업을 수행 한 방법이지만 두 개의 센서가 동일한 ID를 가질 수 있기 때문에 정확하지 않은 것으로 보입니다 # '어떤 생각? – Ali

키 실행에는 추론자가 필요합니다. 어떤 추론자가 당신을 사용하고 있습니까? – Ignazio

Protege 4.3에서 FaCT ++을 사용했습니다. – Ali

데이터 속성에 제한을 두어 개인에 고유 한 값을 부여하는 방법

답변

관련 문제