나는 과학 이론을 어떻게 설명하는지 궁금합니다.RDF에서 과학적 가설 작성하기
물리학에서 핵심 요소는 방정식 을 유효성 도메인을 결정하는 가설에 연결하는 것입니다. Equation123 O : 가설 _ : HypothesisABC를
_을 따를
N 진 문장 설명 될 수있다.
_ : HypothesisABC RDFS : 레이블 "ABC"
O : 식 "= B A".
그러나 가설은 데이터 유형 리터럴뿐만 아니라 그 자체로 트리플입니다.
따라서 나는 가설 자체를 작성하는 3 가지 방법을보고 내가 여전히 더 나은 방법이 생각 : AU 데이터 타입으로
- 인코딩 거북의 배를 문자 _ : HypothesisABC 오 : 표현 "A = b ".
- 인코딩 N 진 문장에서 트리플 : _ : HypothesisABC A :, 오는 "오 : 속성이있다"술어가있다, 오 : hasObject "O : 선형"대상 "기능 DB를"이있다.
- 저장합니다 RDF 그래프의 URI ㄱ 구별 RDF 그래프 트리플 및 표시
O : O HypothesisABC : storedIn http://example.org/graph; . 문자 데이터 유형을 분석
- : 아직
, 이러한 세 가지 방법은 RDF 그래프의 계산 등 가 먼저 요구 새로운 문제를 가져올 방정식과 기반 가설 사이의 링크를 작성 트리플 (사례 1과 2)로,
내가 고려하지 않은 다른 해결책이 있습니까? 그렇지 않은 경우 세 번째 솔루션이 합리적입니까?
추신 : this powerpoint presentation을 읽고 다른 일부처럼 RDF 구문에 대한 참조가 모델에 없습니다.
편집 (2015년 10월 10일 13시 10분) : 여기
내가 생각 또 다른 솔루션입니다.
가설의 개념을 속성에 통합하는 것입니다. 즉, 온톨로지에서 객체 속성과 데이터 유형 속성을 정의하여 가설 값을 가지고 있다는 것을 그들의 이름에서 나타내는 것입니다.
따라서 두 가지 버전의 속성 (예 :hasProperty haSupposedProperty)는 동일한 함수 (객체에 대한 속성의 속성)를 가지지 만 가설에 해당하는 트리플을 실제 문장에 해당하는 트리플과 다르게 쓸 수 있습니다.
근 당신,
jeybee
당신이 묻고있는 것이 완전히 명확하지는 않으며 너무 광범위 할 수 있습니다. 그러나 아마도 당신은 어떤 종류의 화법을 원할 것입니다. E..g, 당신은 거북이와 같은 것을 원할 것입니다 : ** ex : hyp72 a ex : 가설; rdf : 주제 예 : a; rdf : predicate 예 : =; rdf : object ex : b ** ** ex : a ex : = ex : b **는 가설입니다. –
내 요구를 명확히하는 데 도움을 준 @ JoshuaTaylor에게 감사드립니다. 네, 통일은 "n-ary relations"을 쓰려고 생각한 것입니다. 그렇다고해도 유화 만이 유일한 방법은 아닙니다. 싱글 톤 속성은이를 수행하는 또 다른 방법입니다. – jeybee
하지만 싱글 톤 속성이 아닐 경우 미래의 sparql 및 rdf 사양 (예 : sparql * 및 rdf *) (http://arxiv.org/abs/1406.3399)과 호환 될 수 있습니다. @JoshuaTaylor – jeybee