diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-19 23:06:05 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-19 23:06:05 +0000 |
commit | 343757e71ff21cf92192147c136a8cc615f273b8 (patch) | |
tree | a08a0093cb09aa72c441bbb2942626dd140cb1a7 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
parent | e84d4a15401b0a83dbb7d502723c33abf656b9ff (diff) | |
download | RSAComb-343757e71ff21cf92192147c136a8cc615f273b8.tar.gz RSAComb-343757e71ff21cf92192147c136a8cc615f273b8.zip |
Add wrapper class for (boolean) conjunctive queries
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala index a8107b5..28196be 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |||
@@ -113,7 +113,7 @@ object RSAComb extends App { | |||
113 | ontology.individuals.foreach(println) | 113 | ontology.individuals.foreach(println) |
114 | 114 | ||
115 | println("\nThings:") | 115 | println("\nThings:") |
116 | val things = RDFoxHelpers.submitSelectQuery( | 116 | val things = RDFoxHelpers.submitQuery( |
117 | data, | 117 | data, |
118 | """ | 118 | """ |
119 | PREFIX owl: <http://www.w3.org/2002/07/owl#> | 119 | PREFIX owl: <http://www.w3.org/2002/07/owl#> |
@@ -126,7 +126,7 @@ object RSAComb extends App { | |||
126 | println(things) | 126 | println(things) |
127 | 127 | ||
128 | println("\nNAMEDs:") | 128 | println("\nNAMEDs:") |
129 | val named = RDFoxHelpers.submitSelectQuery( | 129 | val named = RDFoxHelpers.submitQuery( |
130 | data, | 130 | data, |
131 | """ | 131 | """ |
132 | SELECT ?X { | 132 | SELECT ?X { |
@@ -138,7 +138,7 @@ object RSAComb extends App { | |||
138 | println(named) | 138 | println(named) |
139 | 139 | ||
140 | println("\nNIs:") | 140 | println("\nNIs:") |
141 | val nis = RDFoxHelpers.submitSelectQuery( | 141 | val nis = RDFoxHelpers.submitQuery( |
142 | data, | 142 | data, |
143 | """ | 143 | """ |
144 | SELECT ?X { | 144 | SELECT ?X { |
@@ -159,7 +159,7 @@ object RSAComb extends App { | |||
159 | println(ids) | 159 | println(ids) |
160 | 160 | ||
161 | println("\nCongruent:") | 161 | println("\nCongruent:") |
162 | val equivs = RDFoxHelpers.submitSelectQuery( | 162 | val equivs = RDFoxHelpers.submitQuery( |
163 | data, | 163 | data, |
164 | """ | 164 | """ |
165 | SELECT ?X ?Y { | 165 | SELECT ?X ?Y { |