rdf_inference 0.0.5 → 0.0.7
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +5 -5
- data/lib/rdf_inference.rb +133 -129
- metadata +4 -5
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
|
-
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
2
|
+
SHA256:
|
3
|
+
metadata.gz: d1b9d4ab1fc8b79bf3080e860fcb1451ec659e644268ab52db0e925e8dfb1fe2
|
4
|
+
data.tar.gz: a7f435e30e545dace7c972fc48b8fca0fdd74c55a6f92ab43d33c72d08dbda24
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 859982b971eb6037cf15147e2004a017a3532a1e6057d4012e0e084a12af7cb71b9b7ab7091f3c21a872a3ea12428ec5f4c7226707cabad22ee5a67bd566c0b3
|
7
|
+
data.tar.gz: d929a5817be9cc685a01273a526d89fece07ab05518d2d4ce7c124564937f643a04d4de573d6a41dbcf858b2c47357b8812c999693658afdd8abcfb528f63b53
|
data/lib/rdf_inference.rb
CHANGED
@@ -1,129 +1,133 @@
|
|
1
|
-
require 'linkeddata'
|
2
|
-
require 'sparql'
|
3
|
-
|
4
|
-
include RDF
|
5
|
-
|
6
|
-
class RdfInference
|
7
|
-
|
8
|
-
def initialize
|
9
|
-
prefix = "PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
|
10
|
-
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
|
11
|
-
PREFIX wdc: <http://vieslav.pl/csv/0.1/>
|
12
|
-
PREFIX owl: <http://www.w3.org/2002/07/owl#> \n"
|
13
|
-
@query_list = {}
|
14
|
-
|
15
|
-
@query_list[:subClassOf] = prefix + "CONSTRUCT {?r rdf:type ?B .}
|
16
|
-
WHERE { ?A rdfs:subClassOf ?B .
|
17
|
-
?r rdf:type ?A .
|
18
|
-
FILTER NOT EXISTS {?r rdf:type ?B}
|
19
|
-
}"
|
20
|
-
@query_list[:subPropertyOf] = prefix + "CONSTRUCT {?x ?r ?y .
|
21
|
-
[ rdf:subject ?x;
|
22
|
-
rdf:predicate ?r;
|
23
|
-
rdf:object ?y ] a wdc:DerivationRelationship .}
|
24
|
-
WHERE {
|
25
|
-
?q rdfs:subPropertyOf ?r .
|
26
|
-
|
27
|
-
|
28
|
-
|
29
|
-
|
30
|
-
|
31
|
-
rdf:
|
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
|
-
|
84
|
-
|
85
|
-
|
86
|
-
|
87
|
-
|
88
|
-
|
89
|
-
|
90
|
-
|
91
|
-
|
92
|
-
|
93
|
-
|
94
|
-
|
95
|
-
|
96
|
-
|
97
|
-
|
98
|
-
|
99
|
-
}
|
100
|
-
|
101
|
-
|
102
|
-
|
103
|
-
|
104
|
-
|
105
|
-
}
|
106
|
-
|
107
|
-
|
108
|
-
|
109
|
-
|
110
|
-
|
111
|
-
|
112
|
-
|
113
|
-
|
114
|
-
|
115
|
-
|
116
|
-
|
117
|
-
|
118
|
-
|
119
|
-
|
120
|
-
|
121
|
-
|
122
|
-
|
123
|
-
|
124
|
-
|
125
|
-
|
126
|
-
|
127
|
-
|
128
|
-
|
129
|
-
|
1
|
+
require 'linkeddata'
|
2
|
+
require 'sparql'
|
3
|
+
|
4
|
+
include RDF
|
5
|
+
|
6
|
+
class RdfInference
|
7
|
+
|
8
|
+
def initialize
|
9
|
+
prefix = "PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
|
10
|
+
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
|
11
|
+
PREFIX wdc: <http://vieslav.pl/csv/0.1/>
|
12
|
+
PREFIX owl: <http://www.w3.org/2002/07/owl#> \n"
|
13
|
+
@query_list = {}
|
14
|
+
|
15
|
+
@query_list[:subClassOf] = prefix + "CONSTRUCT {?r rdf:type ?B .}
|
16
|
+
WHERE { ?A rdfs:subClassOf ?B .
|
17
|
+
?r rdf:type ?A .
|
18
|
+
FILTER NOT EXISTS {?r rdf:type ?B}
|
19
|
+
}"
|
20
|
+
@query_list[:subPropertyOf] = prefix + "CONSTRUCT {?x ?r ?y .
|
21
|
+
[ rdf:subject ?x;
|
22
|
+
rdf:predicate ?r;
|
23
|
+
rdf:object ?y ] a wdc:DerivationRelationship .}
|
24
|
+
WHERE {
|
25
|
+
?q rdfs:subPropertyOf ?r .
|
26
|
+
?x ?q ?y .
|
27
|
+
|
28
|
+
FILTER NOT EXISTS {?x ?r ?y }
|
29
|
+
}"
|
30
|
+
@query_list[:RDFS_Plus_TransitiveProperty] = prefix + "CONSTRUCT {?x ?p ?z .
|
31
|
+
[ rdf:subject ?x;
|
32
|
+
rdf:predicate ?p;
|
33
|
+
rdf:object ?z ] a wdc:DerivationRelationship .}
|
34
|
+
WHERE {
|
35
|
+
?p rdf:type owl:TransitiveProperty .
|
36
|
+
?x ?p ?y .
|
37
|
+
?y ?p ?z .
|
38
|
+
|
39
|
+
FILTER NOT EXISTS {?x ?p ?z }
|
40
|
+
}"
|
41
|
+
|
42
|
+
@query_list[:WIDU_shortCut] = prefix + "CONSTRUCT {?x ?p ?z .
|
43
|
+
[ rdf:subject ?x;
|
44
|
+
rdf:predicate ?r;
|
45
|
+
rdf:object ?y ] a wdc:DerivationRelationship .}
|
46
|
+
WHERE {
|
47
|
+
?class1 wdc:shortCut ?class3.
|
48
|
+
?x a ?class1 .
|
49
|
+
?y a ?class2 .
|
50
|
+
?z a ?class3 .
|
51
|
+
?x ?p ?y .
|
52
|
+
?y ?p ?z .
|
53
|
+
|
54
|
+
FILTER NOT EXISTS { ?x ?p ?z }
|
55
|
+
FILTER NOT EXISTS { ?y a ?class1 }
|
56
|
+
FILTER NOT EXISTS { ?y a ?class3 }
|
57
|
+
}"
|
58
|
+
|
59
|
+
@query_list[:WIDU_isWeakerThan1] = prefix + "CONSTRUCT {?x ?p ?z .
|
60
|
+
[ rdf:subject ?x;
|
61
|
+
rdf:predicate ?p;
|
62
|
+
rdf:object ?z ] a wdc:DerivationRelationship .}
|
63
|
+
WHERE {
|
64
|
+
?p wdc:isWeakerThan ?p2 .
|
65
|
+
?x ?p ?y .
|
66
|
+
?y ?p2 ?z .
|
67
|
+
|
68
|
+
FILTER NOT EXISTS { ?x ?p ?z }
|
69
|
+
|
70
|
+
}"
|
71
|
+
|
72
|
+
|
73
|
+
@query_list[:WIDU_isWeakerThan2] = prefix + "CONSTRUCT {?x ?p2 ?z .
|
74
|
+
[ rdf:subject ?x;
|
75
|
+
rdf:predicate ?p2;
|
76
|
+
rdf:object ?z ] a wdc:DerivationRelationship .}
|
77
|
+
WHERE {
|
78
|
+
?p2 wdc:isWeakerThan ?p .
|
79
|
+
?x ?p ?y .
|
80
|
+
?y ?p2 ?z .
|
81
|
+
|
82
|
+
FILTER NOT EXISTS { ?x ?p2 ?z }
|
83
|
+
|
84
|
+
}"
|
85
|
+
|
86
|
+
|
87
|
+
|
88
|
+
@query_list[:RDFS_Plus_inverseOf9] = prefix + "CONSTRUCT {?y ?q ?x .
|
89
|
+
[ rdf:subject ?x;
|
90
|
+
rdf:predicate ?r;
|
91
|
+
rdf:object ?y ] a wdc:DerivationRelationship .}
|
92
|
+
WHERE {
|
93
|
+
?p owl:inverseOf ?q .
|
94
|
+
?x ?p ?y .
|
95
|
+
FILTER (?p != owl:inverseOf)
|
96
|
+
FILTER NOT EXISTS { ?y ?q ?x }
|
97
|
+
}"
|
98
|
+
|
99
|
+
@query_list[:RDFS_domain] = prefix + "CONSTRUCT {?x rdf:type ?D .}
|
100
|
+
WHERE { ?P rdfs:domain ?D .
|
101
|
+
?x ?P ?y .
|
102
|
+
FILTER NOT EXISTS { ?x rdf:type ?D }
|
103
|
+
}"
|
104
|
+
|
105
|
+
@query_list[:RDFS_range] = prefix + "CONSTRUCT {?y rdf:type ?D .}
|
106
|
+
WHERE { ?P rdfs:range ?D .
|
107
|
+
?x ?P ?y .
|
108
|
+
FILTER NOT EXISTS { ?y rdf:type ?D }
|
109
|
+
}"
|
110
|
+
|
111
|
+
end
|
112
|
+
|
113
|
+
def inference(graph)
|
114
|
+
@rdfs_inferred = RDF::Repository.new
|
115
|
+
@rdfs_inferred_all = RDF::Repository.new
|
116
|
+
begin
|
117
|
+
@rdfs_inferred = RDF::Repository.new
|
118
|
+
@query_list.each do |klucz, query|
|
119
|
+
puts klucz
|
120
|
+
@rdfs_inferred << SPARQL.execute(query, graph)
|
121
|
+
end
|
122
|
+
graph << @rdfs_inferred
|
123
|
+
@rdfs_inferred_all << @rdfs_inferred
|
124
|
+
puts "Inference count:"
|
125
|
+
puts @rdfs_inferred.count
|
126
|
+
end until @rdfs_inferred.count == 0
|
127
|
+
puts "Inference count all:"
|
128
|
+
puts @rdfs_inferred_all.count
|
129
|
+
@rdfs_inferred_all
|
130
|
+
end
|
131
|
+
|
132
|
+
|
133
|
+
end
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: rdf_inference
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.0.
|
4
|
+
version: 0.0.7
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- WiDu
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date:
|
11
|
+
date: 2021-01-21 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: linkeddata
|
@@ -38,7 +38,7 @@ dependencies:
|
|
38
38
|
- - ">="
|
39
39
|
- !ruby/object:Gem::Version
|
40
40
|
version: '0'
|
41
|
-
description: Inference engine v0.0.
|
41
|
+
description: Inference engine v0.0.6 - performance update
|
42
42
|
email: wdulek@gmail.com
|
43
43
|
executables: []
|
44
44
|
extensions: []
|
@@ -64,8 +64,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
64
64
|
- !ruby/object:Gem::Version
|
65
65
|
version: '0'
|
66
66
|
requirements: []
|
67
|
-
|
68
|
-
rubygems_version: 2.5.2
|
67
|
+
rubygems_version: 3.0.3
|
69
68
|
signing_key:
|
70
69
|
specification_version: 4
|
71
70
|
summary: Inference engine
|