blob: 35c682ecd9c8f8b61032524d5fd6b7ced65f348d (
plain) (
blame)
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
|
package rsacomb
/* Java imports */
import java.io.File
/* Local imports */
import rsacomb.RSA._
object RSAComb extends App {
val help: String = """
rsacomb - combined approach for CQ answering for RSA ontologies.
USAGE
rsacomb <path/to/ontology.owl> <path/to/query.sparql>
where
the ontology is expected to be an OWL file and the (single)
query a SPARQL query file.
"""
/* Simple arguments handling
*
* TODO: use something better later on
*/
if (args.length < 2) {
println(help)
sys.exit;
}
val ontoPath = new File(args(0))
val queryPath = new File(args(1))
if (!ontoPath.isFile || !queryPath.isFile) {
println("The provided arguments are not regular files.\n\n")
println(help)
sys.exit;
}
/* Create RSA object from generic OWLOntology
*
* TODO: It might be required to check if the ontology in input is
* Horn-ALCHOIQ. At the moment we are assuming this is always the
* case.
*/
val ontology = RSA.loadOntology(ontoPath)
if (ontology.isRSA) {
/* Build canonical model */
//val tboxCanon = rsa.canonicalModel()
/* Load query */
val query = RSA.test_query
/* Compute the filtering program from the given query */
val filter = ontology.filteringProgram(query)
/* ... */
}
}
/* Notes:
*
* To establish a connection with a local RDFox instance, do the
* following:
*
* ```
* val serverConnection : ServerConnection = ConnectionFactory.newServerConnection("rdfox:local", "", "")
* serverConnection.createDataStore("test","seq",new HashMap())
* val dataStoreConnection : DataStoreConnection = serverConnection.newDataStoreConnection("test")
* dataStoreConnection.importData(
* UpdateType.ADDITION,
* Prefixes.s_emptyPrefixes,
* new File("./path/to/file")
* )
* ```
*/
|