rdf_inference 0.0.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/lib/rdf_inference.rb +88 -0
- metadata +72 -0
checksums.yaml
ADDED
@@ -0,0 +1,7 @@
|
|
1
|
+
---
|
2
|
+
SHA1:
|
3
|
+
metadata.gz: aa20be09a0bd77ba196cba13372cb2662dbbc774
|
4
|
+
data.tar.gz: 43d45c61bb9fdf241cc0c9b54db52619a2288447
|
5
|
+
SHA512:
|
6
|
+
metadata.gz: 61b9bdb00f3984407f92746ff06a9930d2ca5ba4448fd3738ecd1f5265112af4dc80fb1533fe1b3727c5bc094faf7ef2e1cceb873356045468491a2a563f5cd5
|
7
|
+
data.tar.gz: e99b7994ed0abb4bc6ccc5c64e0ffe2a977029c9a2bb7edd7c630ee48b720f9d4f86697a08aa5165acbaea1aa3d609892ef1cd95c37b012bfeff9a2289cd6aec
|
@@ -0,0 +1,88 @@
|
|
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
|
+
WHERE { ?x ?q ?y .
|
22
|
+
?q rdfs:subPropertyOf ?r .
|
23
|
+
FILTER NOT EXISTS {?x ?r ?y }
|
24
|
+
}"
|
25
|
+
@query_list[:RDFS_Plus_TransitiveProperty] = prefix + "CONSTRUCT {?x ?p ?z .}
|
26
|
+
WHERE { ?x ?p ?y .
|
27
|
+
?y ?p ?z .
|
28
|
+
?p rdf:type owl:TransitiveProperty .
|
29
|
+
FILTER NOT EXISTS {?x ?p ?z }
|
30
|
+
}"
|
31
|
+
|
32
|
+
@query_list[:WIDU_shortCut] = prefix + "CONSTRUCT {?x ?p ?z .}
|
33
|
+
WHERE {
|
34
|
+
?x ?p ?y .
|
35
|
+
?y ?p ?z .
|
36
|
+
?class1 wdc:shortCut ?class3.
|
37
|
+
?x a ?class1 .
|
38
|
+
?y a ?class2 .
|
39
|
+
?z a ?class3 .
|
40
|
+
|
41
|
+
FILTER NOT EXISTS { ?x ?p ?z }
|
42
|
+
FILTER NOT EXISTS { ?y a ?class1 }
|
43
|
+
FILTER NOT EXISTS { ?y a ?class3 }
|
44
|
+
}"
|
45
|
+
|
46
|
+
@query_list[:RDFS_Plus_inverseOf9] = prefix + "CONSTRUCT {?y ?q ?x .}
|
47
|
+
WHERE {
|
48
|
+
?p owl:inverseOf ?q .
|
49
|
+
?x ?p ?y .
|
50
|
+
FILTER (?p != owl:inverseOf)
|
51
|
+
FILTER NOT EXISTS { ?y ?q ?x }
|
52
|
+
}"
|
53
|
+
|
54
|
+
@query_list[:RDFS_domain] = prefix + "CONSTRUCT {?x rdf:type ?D .}
|
55
|
+
WHERE { ?P rdfs:domain ?D .
|
56
|
+
?x ?P ?y .
|
57
|
+
FILTER NOT EXISTS { ?x rdf:type ?D }
|
58
|
+
}"
|
59
|
+
|
60
|
+
@query_list[:RDFS_range] = prefix + "CONSTRUCT {?y rdf:type ?D .}
|
61
|
+
WHERE { ?P rdfs:range ?D .
|
62
|
+
?x ?P ?y .
|
63
|
+
FILTER NOT EXISTS { ?y rdf:type ?D }
|
64
|
+
}"
|
65
|
+
|
66
|
+
end
|
67
|
+
|
68
|
+
def inference(graph)
|
69
|
+
@rdfs_inferred = RDF::Repository.new
|
70
|
+
@rdfs_inferred_all = RDF::Repository.new
|
71
|
+
begin
|
72
|
+
@rdfs_inferred = RDF::Repository.new
|
73
|
+
@query_list.each do |klucz, query|
|
74
|
+
puts klucz
|
75
|
+
@rdfs_inferred << SPARQL.execute(query, graph)
|
76
|
+
end
|
77
|
+
graph << @rdfs_inferred
|
78
|
+
@rdfs_inferred_all << @rdfs_inferred
|
79
|
+
puts "Inference count:"
|
80
|
+
puts @rdfs_inferred.count
|
81
|
+
end until @rdfs_inferred.count == 0
|
82
|
+
puts "Inference count all:"
|
83
|
+
puts @rdfs_inferred_all.count
|
84
|
+
@rdfs_inferred_all
|
85
|
+
end
|
86
|
+
|
87
|
+
|
88
|
+
end
|
metadata
ADDED
@@ -0,0 +1,72 @@
|
|
1
|
+
--- !ruby/object:Gem::Specification
|
2
|
+
name: rdf_inference
|
3
|
+
version: !ruby/object:Gem::Version
|
4
|
+
version: 0.0.0
|
5
|
+
platform: ruby
|
6
|
+
authors:
|
7
|
+
- WiDu
|
8
|
+
autorequire:
|
9
|
+
bindir: bin
|
10
|
+
cert_chain: []
|
11
|
+
date: 2018-01-02 00:00:00.000000000 Z
|
12
|
+
dependencies:
|
13
|
+
- !ruby/object:Gem::Dependency
|
14
|
+
name: linkeddata
|
15
|
+
requirement: !ruby/object:Gem::Requirement
|
16
|
+
requirements:
|
17
|
+
- - ">="
|
18
|
+
- !ruby/object:Gem::Version
|
19
|
+
version: '0'
|
20
|
+
type: :runtime
|
21
|
+
prerelease: false
|
22
|
+
version_requirements: !ruby/object:Gem::Requirement
|
23
|
+
requirements:
|
24
|
+
- - ">="
|
25
|
+
- !ruby/object:Gem::Version
|
26
|
+
version: '0'
|
27
|
+
- !ruby/object:Gem::Dependency
|
28
|
+
name: sparql
|
29
|
+
requirement: !ruby/object:Gem::Requirement
|
30
|
+
requirements:
|
31
|
+
- - ">="
|
32
|
+
- !ruby/object:Gem::Version
|
33
|
+
version: '0'
|
34
|
+
type: :runtime
|
35
|
+
prerelease: false
|
36
|
+
version_requirements: !ruby/object:Gem::Requirement
|
37
|
+
requirements:
|
38
|
+
- - ">="
|
39
|
+
- !ruby/object:Gem::Version
|
40
|
+
version: '0'
|
41
|
+
description: Inference engine
|
42
|
+
email: wdulek@gmail.com
|
43
|
+
executables: []
|
44
|
+
extensions: []
|
45
|
+
extra_rdoc_files: []
|
46
|
+
files:
|
47
|
+
- lib/rdf_inference.rb
|
48
|
+
homepage: https://github.com/widu/rdf_inference
|
49
|
+
licenses:
|
50
|
+
- MIT
|
51
|
+
metadata: {}
|
52
|
+
post_install_message:
|
53
|
+
rdoc_options: []
|
54
|
+
require_paths:
|
55
|
+
- lib
|
56
|
+
required_ruby_version: !ruby/object:Gem::Requirement
|
57
|
+
requirements:
|
58
|
+
- - ">="
|
59
|
+
- !ruby/object:Gem::Version
|
60
|
+
version: '0'
|
61
|
+
required_rubygems_version: !ruby/object:Gem::Requirement
|
62
|
+
requirements:
|
63
|
+
- - ">="
|
64
|
+
- !ruby/object:Gem::Version
|
65
|
+
version: '0'
|
66
|
+
requirements: []
|
67
|
+
rubyforge_project:
|
68
|
+
rubygems_version: 2.6.7
|
69
|
+
signing_key:
|
70
|
+
specification_version: 4
|
71
|
+
summary: Inference engine
|
72
|
+
test_files: []
|