aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-19 23:06:05 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-19 23:06:05 +0000
commit343757e71ff21cf92192147c136a8cc615f273b8 (patch)
treea08a0093cb09aa72c441bbb2942626dd140cb1a7 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
parente84d4a15401b0a83dbb7d502723c33abf656b9ff (diff)
downloadRSAComb-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.scala8
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 {