-
Notifications
You must be signed in to change notification settings - Fork 4
/
189.txt
83 lines (62 loc) · 5.64 KB
/
189.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
[6] [DFN[RDF [RUBYB[データ・モデル]@en[data model]]]]は、 [[RDF]]
における[[データ・モデル]]です。
* 概要
[7] [[RDFデータ・モデル]]においては一つの単位となる言明は
- [8] [RUBYB[[[主語]]]@en[subject]]
- [9] [RUBYB[[[述語]]]@en[predicate]]
- [10] [RUBYB[[[目的語]]]@en[object]]
... の[RUBY[[[三項組]]]@en[トリプル][triple]]によって表されます。
[11] [[三項組]]は、[[主語]]と[[目的語]]の2つの[[節点]]を、
[[述語]]の[[有向辺]]によって[[接続]]したものとして表すことができます。
従って、零個以上の[[三項組]]の[[集合]]を指して[[RDFグラフ]]といいます。
[FIG[
[REFS[
- [2] [CITE@en[RDF 1.1 Concepts and Abstract Syntax]]
( ([TIME[2014-04-26 05:21:08 +09:00]] 版))
<https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-concepts/index.html#dfn-rdf-graph>
]REFS]
> [15] [DFN[[RUBYB[[[RDFグラフ]]]@en[RDF graph]]]]は、[[RDF三項組]]の[[集合]]です。
]FIG]
[12] [[RDF]] による記述の対象、すなわち[[主語]]や[[目的語]]は[RUBYB[[[資源]]]@en[resource]]と呼ばれています
[WEAK[([[RDF]] の「[[R]]」)]]。[[資源]]は [[RDF URI参照]]によって識別されますが、
[[RDF URI参照]]が付与されずに匿名であることもあります ([RUBYB[[[空白節点]]]@en[blank node]]といいます)。
[[目的語]]は[[資源]]のかわりに文字列値、言語情報付きの文字列値、[[データ型]]付きの値でも構いません。
これは[RUBYB[[[リテラル]]]@en[literal]]といいます。
[13] [[述語]]の種類 ([[辺]]の[[名札]]に当たるもの) は[RUBYB[[[特性]]]@en[property]]と呼ばれ、
[[RDF URI参照]]で識別されます。
* 同型性
[REFS[
- [17] [CITE@en[RDF 1.1 Concepts and Abstract Syntax]] ([TIME[2014-04-26 06:41:04 +09:00]] 版) <https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-concepts/index.html#h3_graph-isomorphism>
]REFS]
[18] [[RDFグラフ]] [VAR[G]], [VAR[G']] が[RUBYB[[[同型]]]@en[isomorphic]]であるとは、
次のような[RUBYB[[[全単射]]]@en[bijection]] [VAR[M]] が存在することを言います [SRC[>>17]]。
[FIG[
- [19] [VAR[M]] により[[ブランク節点]]が[[ブランク節点]]へと[[写像]]される
- [20] [VAR[G]] の[[節点]]であるすべての [[RDFリテラル]] [VAR[lit]] について、 [CODE[[VAR[M]]([VAR[lit]]) = [VAR[lit]]]]
である
- [21] [VAR[G]] の[[節点]]であるすべての [[IRI]] [VAR[iri]] について、 [CODE[[VAR[M]]([VAR[iri]]) = [VAR[iri]]]] である
- [22] [[三項組]] [CODE[([VAR[s]], [VAR[p]], [VAR[o]])]] は [VAR[G']]
に[[三項組]] ([VAR[M]]([VAR[s]]), [VAR[p]], [VAR[M]]([VAR[o]])) がある場合、その場合に限って
[VAR[G]] に含まれる
]FIG]
* 変種
** SPARQL の RDF データ・モデル
[1] 仕様書: [CITE@en[SPARQL Query Language for RDF]] ([TIME[2008-01-17 00:38:24 +09:00]] 版) <http://www.w3.org/TR/rdf-sparql-query/#initDefinitions>
- [2] [RUBYB[[[RDF語]]]@en[RDF term]]は [[RDF URI参照]]ではなく、[[IRI]] によって表されます。
-- 従って、この点だけを見ると [[SPARQL]] では本来の [[RDFデータ・モデル]]の[[部分集合]]しか表せません。
-- と [[SPARQL]] には書いてありますが、[[RDF URI参照]]と [[IRI]] は実際にはどちらが[[部分集合]]でもない一部が重なった[[集合]]達なので、本来の [[RDFデータ・モデル]]と [[SPARQL]] の [[RDFデータ・モデル]]で表現できるものも一部が重なった異なる[[集合]]です。
- [3] [[主語]]に[[リテラル]]を使うことができます。
-- 従って、この点だけを見ると本来の [[RDFデータ・モデル]]の[[超集合]]を表現できます。
-- [[RDF中核作業部会]]も将来的に [[RDFデータ・モデル]]をそのように拡張することを示唆しています。
** RIF の一般化 RDF グラフ
[4] 仕様書: [CITE[RIF RDF and OWL Compatibility]] ([TIME[2010-06-22 23:52:50 +09:00]] 版) <http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/#note-generalized-rdf-graphs>
- [5] [[主語]]と[[述語]]に[[リテラル]]を使うことができます。
-- 従って、本来の [[RDFデータ・モデル]]の[[超集合]]を表現できます。
-- [[RDF中核作業部会]]も将来的に [[RDFデータ・モデル]]をそのように拡張することを示唆しています。
;; [16] [[RDF 1.1]] ではそうならなかったわけですが・・・。
[14] [CITE[RIF RDF and OWL Compatibility]] ([TIME[2009-07-03 23:52:46 +09:00]] 版) <http://www.w3.org/TR/2009/WD-rif-rdf-owl-20090703/#note-generalized-rdf-graphs>
>Standard RDF graphs, as defined in [RDF-Concepts], do not allow the use of literals in subject and predicate positions and blank nodes in predicate positions. The RDF Core working group has listed two issues questioning the restrictions that literals may not occur in subject and blank nodes may not occur in predicate positions in triples. Anticipating lifting of these restrictions in a possible future version of RDF, we use the more liberal notion of generalized RDF graph. We note that the definitions of interpretations, models, and entailment in the RDF semantics document [RDF-Semantics] also apply to such generalized RDF graphs.
>
We note that every standard RDF graph is a generalized RDF graph. Therefore, our definition of combinations applies to standard RDF graphs as well.
>
We note also that the notion of generalized RDF graphs is more liberal than the notion of RDF graphs used by SPARQL; generalized RDF graphs additionally allow blank nodes and literals in predicate positions.