hasPart와 partOf와 같은 컴포지션을 가진 온톨로지를 개발합니다. severals 클래스에는 이러한 속성을 사용해야합니다. 그래서 도메인이나 범위없이 이러한 속성을 만들었고 클래스에 올빼미 제한으로 사용했습니다. 그렇지? 게다가, 나는 그 부분을 읽었다. hasPart에도 전이를 추가해야합니까? 그런 다음 hasPart를 partOf의 역으로
나는이 온톨로지 있습니다 클래스 에이전트와 집단 소송을 데이터 속성 (A dataproperty의 restrictionProperties의 상속)의 목록 (에이전트와 액션)와 범위 원시 (예의 도메인 UNION을 가지고 hasMoney, hasTime) ag.hasTime> = ac.hasTime 및 ag.hasMoney> = ac.hasMoney 등 모든
용어와 관련하여 의문의 여지가 있습니다. 일부 클래스는 매개 변수에 적용될 때 의미있는 클래스를 나타내는 의미에서 매개 변수화 될 수 있음을 발견했습니다. 예를 들어, "village of China"및 "Village of Netherlands"는 Wikidata 지식 그래프에서 찾을 수 있습니다. 그것들은 인스턴스 가능한 개념이라는 의미에서 오비어 실제
OWL API를 직접 사용할 때와 비교하여 Protégé의 하위 클래스 처리에 대해 다소 혼란 스럽습니다. 나는 "남자"또는 "여자"가 남성 또는 여성 인 인간이라고 논리적으로 정의하는 간단한 온톨로지를 만들었습니다. 내가 피보호자이 온톨로지를 표시 할 때, 자동 :이 hasSex (Human -> Gender)
그래서 여성 인간과 hasGender 일
내가 온톨로지를 배우고 및 DL 언어가 나를 위해 어려운, 내가 온라인 좋은 운동을 발견하고 여기에 하나의 질문입니다 : 주어진 다음과 온톨로지 : 기관의 끊긴 두 종류가 있습니다 : 도시 및 국가. 각 국가에는 하나의 자본 인 도시가 있습니다. 그러나 도시는 한 국가보다 에 더 많이있을 수 있습니다. 각 국가는 최소한 하나의 국가와 이웃하고 아마도 바다
OWL Full이 결정 불가능한 이유를 다 둘러 보았습니다. 이해하기 쉬운 예제를 발견하지 못했습니다. 나는 그것이 "Entailment Closure"때문인 것으로 밝혀졌으며 OWL Full이 Properties이고 또한 동시에 Individual 인 클래스를 가질 수 있다고 설명하는 진술을 발견했습니다. 그러나 이러한 진술 간의 관계를 이해하지 못합니다
설명 로직을 사용하여 (그리고 OWL-DL 대응)은, 우리가 클래스 Meeting 클래스 Professor 참석 할 수있는 것을 그렇게 고려이 assistantOf domain Professor
assistantOf range Professor
질문 :가 어떻게 Terminolog을 - 특수 수있는 다른 Professor의 Assistant 수 (TB
우리는 다음과 같은 개념으로 도메인을 모델링한다고 가정합니다. 자동차 제조업체 인 Maker, 특정 모델 인 ModelhasMaker 고유 한 Maker입니다. Model, Maker, MakerExhibition
hasMaker domain Model
hasMaker range Maker
Model subClassOf hasMaker exactl
모든 cheesypizza가 치즈를 얹은 피자라고 말하는 온톨로지에서 매우 간단한 공리를 가정합니다. OWL 표현에서, cheeseypizza는 has-topping 특성에 대한 제한의 서브 클래스로 표현된다. 그러나, 나는 다음과 같은 트리플 세트 형식으로 추출 할 싶습니다 CheesyPizza1 하위 클래스 Pizza1을 Pizza1이 Pizza1 동적
올빼미 클래스에 닫힌 세계 가정을 강제 : A and not (hasB some (B and (hasC some C) and (hasD some D) and (hasList some (OWLList and (hasContents some (OWLList and (hasContents some (E and (hasValue some integer[< 200]