Hi all,
I create an InfModel based on the Jena's builtin
OWLMicroReasoner, which is extended by my own rules for evaluation of
equality of resources based on their owl:hasKey properties like this
one:
# assuming eg:K is an owl:hasKey property from domain eg:D
(?a a eg:D) (?b a eg:D) notEqual(?a ?b)
(eg:K owl:equivalentProperty ?e1)
(?a ?e1 ?o1) (?b ?e1 ?o1)
-> (?a owl:sameAs ?b)
as well the rules equality1, equality2 and equality3 taken from the ruleset
owl-fb-mini.rules.
This model is populated repeatedly by a list of triples (ca. 800):
// print triples count
for (;;) {
graph.getBulkUpdateHandler().add(triples);
// print duration of add in seconds
// print graph size
}
Could you please explain the following output? Why takes the add function so
much time?
triples: 842
add: 0 s
graph size: 1408
add: 10 s
graph size: 1408
add: 11 s
graph size: 1408
add: 10 s
graph size: 1408
add: 10 s
graph size: 1408
...
I
know that evaluation of the owl:sameAs rules is for reasoner in general
time expensive. Do I reach limitations of the Jena's reasoner or do I
misunderstand something?
Thank you.
