현재 OWL 온톨로지에서 작업 중입니다. 재산과 관련하여 질문이 있습니다.OWL 온톨로지 (재산 제한 제공)
솔직히 말해서, 나는 수업 시간에 재산 제한을주는 것이 중요하지 않습니다.
예 :
제품 (종류)는 제조사 (속성)를 가지고 있습니다.
이 경우 하나의 제품에 적어도 하나의 제조업체가 있음을 의미합니다.
그러나, 왜 단지
하여 플라스틱 모델 (제품의 개별)를 속성 주장을 반대하지 제조업체 (개체 속성) DOCOMO (제조업체의 인스턴스)가?
둘 다해야합니까? 내가 제일 먼저하지 않으면, 추론자가 문제가 없다고 말한다. 왜 나는 둘 다해야합니까?
속성 제한은 단일 개체뿐만 아니라 개인 집합에 대해 무언가를 주장합니다. 속성 주장 대
Every man likes a woman. (i.e. "man subClassOf like some woman")
:
John likes Mary. (i.e. "{John} subClassOf like some {Mary}")
{John} 및
{Mary}이 한 개인과 클래스입니다
하지만 man 및 woman는 0 개 이상의 개인과 클래스에있는 속성 제한을 고려하십시오.
예를 들어 두 경우 모두해야합니까? 우리가 개인 관계를 제공 할 수 있다면 왜 수업들 사이에 관계를 부여해야할까요? –
내 예제는 속성 선언 및 속성 제한이 두 가지 다른 것을 보여줍니다. 당신은 당신이하고 싶은 말에 따라 하나 또는 다른 하나 또는 둘 모두를 사용해야합니다. 말하고 싶은게 뭡니까? – Kaarel
둘 다 감사해야한다고 생각합니다. –
"당신이 의미하는 바를 명확히하기 위해"추론자가 문제가 없다고 말하십시오. – Kaarel