개체에 두 속성 중 하나의 속성이 아니라 두 속성의 교집합이 포함되어 있는지 확인하고 싶습니다. 예 : object:
A (has_disposition some disposition_A; has_disposition some disposition_B)
B (has_disposition some disposition_B; disjoint w
OWL 온톨로지, Protege 5를가집니다. 모든 대상 클래스 D를 검색하기 위해 소스 클래스 S를 시작하고 싶습니다. 여기에서 S는 to- objectProperty를 통한 하나의 카디널리티 즉, S ([0 .. *] - 1) D는 연결되는 objectProperty와 무관합니다. S ⊑ =1r:D;
S 내 소스 개념, D 변수 개념이고, R 변수
OWL의 AXIOM 표현식은 : 을 감안할 때 : 올빼미 : 클래스 스포츠 출력 :은 기존의 올빼미에 추가 : 객체 속성 플레이어 : 개체 속성 나는 올빼미를 추가 할 값이 Peter이고 올빼미 : 클래스 스포츠의 모든 인스턴스에 적용됩니다. 즉, 올빼미 : 클래스 스포츠 유형의 모든 사람들은 Peter라는 값으로 상속 된이 객체 속성을 가져야합니다. 첫
Protege에서 생성 된 온톨로지를 추론하기 위해 OWL API를 사용하고 있습니다. OWL API 예제 DL 쿼리를 다루고 있습니다 : http://sourceforge.net/p/owlapi/code/ci/aef6981535f07a2d0d44c394b9f4d5415f36025a/tree/contract/src/test/java/org/coode/owl
를 사용하여 클래스 표현에 문자열을 변환하는 동안 내가 ManchesterOWLSyntaxParser 나중에 양식을 사용하여 OWLClassExpression에 [맨체스터 OWL 구문에] String 변환 방법을 만들어 그것을 위해, 온톨로지에 새로운 공리를 추가 할 새로운 OWLAxiom 및 추가 온톨로지. <?xml version="1.0"?>
<!D
나는 올빼미 파일이 포함 된 몇 가지 공리를 읽을 수있는 형식으로 OWL 공리를 보여줍니다 방법 : 추종이 읽을 수있는 형식의 캐릭터 라인을 보여줍니다 두 공리 위에 <rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="namespace#Gender"/>
<owl
라는 이름이 OBJECTPROPERTY 하차하여 정확히 일대일 카디널리티에 의해 관련된 모든 클래스를 반환해야합니다 DropOff exactly 1
쿼리를 지원합니다. 첼로 추론자를 사용하면 "이 추론자가 명명 된 클래스를 지원하지 않습니다."라는 예외가 발생합니다. Hermit 추론자를 사용하는 동안 문제가 없습니다. 명명 된 클래스는 참조 대상 UR