graphdb: Update api usage for 10.x
This commit updates the usage of the GraphDB API for version 10.0 or later.
This commit is contained in:
parent
07755aacf5
commit
18c4957e30
5 changed files with 9 additions and 9 deletions
|
|
@ -12,13 +12,13 @@
|
|||
rep:repositoryID "${GRAPHDB_REPO}" ;
|
||||
rdfs:label "${INSTANCE_DOMAIN}" ;
|
||||
rep:repositoryImpl [
|
||||
rep:repositoryType "graphdb:FreeSailRepository" ;
|
||||
rep:repositoryType "graphdb:SailRepository" ;
|
||||
sr:sailImpl [
|
||||
sail:sailType "graphdb:FreeSail" ;
|
||||
sail:sailType "graphdb:Sail" ;
|
||||
|
||||
owlim:owlim-license "" ;
|
||||
|
||||
owlim:base-URL "http://${INSTANCE_DOMAIN}/#" ;
|
||||
owlim:base-URL "http://${INSTANCE_DOMAIN}/" ;
|
||||
owlim:defaultNS "" ;
|
||||
owlim:entity-index-size "10000000" ;
|
||||
owlim:entity-id-size "32" ;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue