Protege 4의 추론자가 데이터 속성 점수에 따라 개인을 계단애 달기 위해 노력하고 있습니다. 건강이 좋은 개인은 'ambulation Score'의 데이터 속성이 8입니다. 나는 '좋은 건강'이라는 수업에 그러한 개인을 배치 할 추론자를 얻으려고합니다. 데이터 속성 'ambulation Score'는 1에서 10 사이의 정수입니다. 개별 'Alice'
OWL API 4.1.3을 사용하여 크지 않은 내 온톨로지를로드했습니다. 유추 된 정보를 사용해야 할 때도 Hermit 1.3.8.413 라이브러리를 사용하여 추론을 수행했습니다. 다음 코드는 내가 어떻게했는지 보여준다. public class ReasonRDF {
public static void main(String[] args) throws OWL
주어진 인스턴스에 대한 모델 사양을 생성 할 수 있는지 궁금합니다. 내 목표는 인스턴스가 모델을 준수하는지 여부를 확인하는 것입니다. 사례의 자동 사양을 다루는 문서를 발견했습니다. 이를 '인스턴스를 사용하여 합금 사양을 작성하는 자동화 된 접근법'(http://users.ece.utexas.edu/~khurshid/papers/2006/06isola-aD
현재 더 큰 온톨로지를 작성/수정하고 있습니다. 내가 제한 사항을 정의하는 문제가 있었다로서 나는 매우 짧은 예제를 빌드 : 나는 클래스와 클래스와 IslandCountry로 EuropeanCountry 있습니다 <owl:Class rdf:about="http://www.semanticweb.org/tanktoo/ontologies/2016/10/untit
나는 Protege를 처음 접했기 때문에 나는 매우 기본적인 질문을 가지고있다. 나는 Child과 Parent 클래스를 가지고 있습니다. Child의 서브 클래스는 Girl입니다. child1는 child2는 Child 및 anna 및 peter 가지고있는 타입 두 종류 Parent을 가지고, 유형 Girl 있습니다. 또한 더 이상의 특성이없는 anna i
올빼미 클래스는 속성의 도메인/범위는인지 우리가 제한에서 일부 값을 생성하는 클래스의 인스턴스 속성을 가지고해야하는지 여부를 테스트 그런 다음 제한의 일부 값을 보완하여 클래스의 만족 가능성을 물어보십시오. 교집합이 만족 스럽다면 클래스의 인스턴스는 속성을 가질 필요가 없습니다. 그렇지 않으면 속성이 필요하지 않습니다. 클래스는 객체 속성의 도메인이 경우에
웹 온톨로지 및 설명 논리를 배우고 있습니다. 나는이 문제를 겪고 대답이 무엇인지에 대해 매우 혼란스러워했다. 이것은 지식 기반이다. 부모 (X, Y)를 의미 어디에서 X는 Y를의 부모 Parent(X,Y).
Parent(Y,Z).
Parent(X,Z).
Parent(Z,M).
Manager(Y).
¬Manager(M).
이다 이러한 사실은 사
필자는 온톨로지를 만들기 위해 Protege를 사용했습니다. 그것은 두 개의 기본 클래스로 구성됩니다. 그들 각각에는 3 개의 아가씨가 있습니다. 서브 클래스는 특정 객체 및 데이터 속성이있는 클래스입니다. 인스턴스를 만들 때 클래스 개별이지만 해당 데이터 속성을 사용하여 인스턴스를 일부 하위 클래스에 속하게합니다. Protege에서 Hermit을 실행하면
추론자를 사용하여 객체 속성의 반대를 쿼리하려면 어떻게해야합니까? 예를 들어, 사람은 총과 그 반대의 경우도 마찬가지 가질 수 있습니다 OWLObjectProperty getOWLInverseRelation(OWLReasoner reasoner, OWLObjectProperty relation) {
Set<OWLObjectPropertyExpres
AND 연산에서 작동하는 방법, 그것은 같은 것입니다 : 위의 규칙에서 Symptom(fever)^Symptom(vomiting)^Disease(?y)^hasSymptom(?y,fever)^hasSymptom(?y,vomiting) -> sqwrl:select(?y) , 그것은 모두 증상이 질병을 선택하는 것입니다. sqwrl 쿼리에서 OR 연산은 어떻습니