-1 OWL로 작성된 논리 식은 어떻게 작성됩니까? "and"및 "or"연산자가 포함 된 식을 사용합니다. 또한 클라이언트 (예 : OWL 파서가있는 Java 프로그램)가이 표현식을 true 또는 false 값으로 해결해야하는 몇 가지 힌트를 제공하십시오. 모든 포인터가 많이 감사하겠습니다.OWL의 논리 식 출처 2017-12-01 badari +0 [W3C 문서] (https://www.w3.org/TR/owl2-overview/)을 보았습니까? 특히 의미 부분도? OWL 의미론은 Description Logics를 기반으로하므로 모델 이론의 일반적인 집합 기반 의미론이있는 기본 논리 형식입니다. – AKSW +0 . 신청서를 작성 중입니다. 이론에 그다지 중요하지 않습니다. 문자열 형식의 IRI가 있습니다. 오케스트레이션의 다음 단계를 계속하기 전에 특정 상태를 유지하고 싶습니다. 예를 들어 .. – badari +0 당신의 의견을 이해할 수 없습니다. "문자열 형식의 IRI가 있습니다."-> 그리고 지금은? 이게 무슨 상관이야? 특히 실행중인 예제를 제공하지 않았을 때 무엇을 묻고 있는지 명확하지 않습니다. 더 자세한 내용으로 질문을 확장하십시오 – AKSW
[W3C 문서] (https://www.w3.org/TR/owl2-overview/)을 보았습니까? 특히 의미 부분도? OWL 의미론은 Description Logics를 기반으로하므로 모델 이론의 일반적인 집합 기반 의미론이있는 기본 논리 형식입니다. – AKSW
. 신청서를 작성 중입니다. 이론에 그다지 중요하지 않습니다. 문자열 형식의 IRI가 있습니다. 오케스트레이션의 다음 단계를 계속하기 전에 특정 상태를 유지하고 싶습니다. 예를 들어 .. – badari
당신의 의견을 이해할 수 없습니다. "문자열 형식의 IRI가 있습니다."-> 그리고 지금은? 이게 무슨 상관이야? 특히 실행중인 예제를 제공하지 않았을 때 무엇을 묻고 있는지 명확하지 않습니다. 더 자세한 내용으로 질문을 확장하십시오 – AKSW