From 4b7253559c290b6fdd1c4122830f153fda85dd62 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 29 May 2015 18:35:51 +0100 Subject: Disposable. --- data/Pagoda-2.0.0-uobm1-test_queries.log | 1158 ++++++++++++++++++++++++++++++ 1 file changed, 1158 insertions(+) create mode 100644 data/Pagoda-2.0.0-uobm1-test_queries.log (limited to 'data') diff --git a/data/Pagoda-2.0.0-uobm1-test_queries.log b/data/Pagoda-2.0.0-uobm1-test_queries.log new file mode 100644 index 0000000..42b338a --- /dev/null +++ b/data/Pagoda-2.0.0-uobm1-test_queries.log @@ -0,0 +1,1158 @@ +The axiom: DataPropertyRange( xsd:string) is being ignored. +The axiom: DataPropertyRange( xsd:string) is being ignored. +The number of data property range axioms that are ignored: 2(186) +XMLReader initialized using JAXP: org.apache.xerces.jaxp.SAXParserImpl$JAXPSAXParser@5456afaa +SimpleETL rewriting DONE +additional ontology data is saved in /home/alessandro/Desktop/Pagoda_basic-version/PAGOdA/tmp2015-05-28T14:42:07.907/ABox.ttl. +HermiT classification done: 0.108 +classification done and enriched lower bound rules. +The number of rules: 238 +OntologyID: OntologyID(OntologyIRI()) +ELHO fragment extracted ... +Preprocessing ... checking satisfiability ... +rl-lower-bound store after importing data: 257920 (257920 new) +rl-lower-bound store finished importing data in 0.576 seconds. +Prefix declared: prefix0:=http://semantics.crl.ibm.com/univ-bench-dl.owl# +rl-lower-bound store after materialising lower program: 515592 (257672 new) +rl-lower-bound store finished the materialisation of lower program in 0.557 seconds. +The number of answers in the lower bound: 0 +The number of sameAs assertions in RL lower store: 102 +elho-lower-bound store after importing data: 257920 (257920 new) +elho-lower-bound store finished importing data in 0.559 seconds. +elho-lower-bound store after materialising saturate named individuals: 341262 (83342 new) +elho-lower-bound store finished the materialisation of saturate named individuals in 0.173 seconds. +elho-lower-bound store after materialising lower program: 557087 (215825 new) +elho-lower-bound store finished the materialisation of lower program in 0.525 seconds. +elho-lower-store finished its own materialisation in 0.579 seconds. +Failed to find configuration: location-mapping.ttl;location-mapping.rdf;location-mapping.n3;etc/location-mapping.rdf;etc/location-mapping.n3;etc/location-mapping.ttl +@Time to group individuals by equality: 0.062 +The number of answers in the lower bound: 0 +lazy-upper-bound store after importing data: 257920 (257920 new) +lazy-upper-bound store finished importing data in 0.555 seconds. +lazy-upper-bound store after materialising saturate named individuals: 341262 (83342 new) +lazy-upper-bound store finished the materialisation of saturate named individuals in 0.18 seconds. +lazy-upper-bound store is materialising multi-stage upper program ... +Iteration 1: +The lazy-upper-bound store is valid. +lazy-upper-bound store after materialising datalog-rules: 550540 (209278 new) +Time to materialise datalog-rules: 0.612 +Time to detect violations: 0.367 +Time to make the constraint being satisfied: 0.01 594 tuples for atLeast(1 )(X) :- (X) +tuple number: 594 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.006 553 tuples for atLeast(1 )(X) :- (X) +tuple number: 553 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.056 9627 tuples for (X) v (X) :- (X) +tuple number: 0 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.007 48 tuples for (X) v (X) :- (X) +tuple number: 0 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.004 331 tuples for atLeast(1 )(X) :- (X) +tuple number: 331 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.005 596 tuples for atLeast(1 )(X) :- (X) +tuple number: 596 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.005 345 tuples for atLeast(1 )(X) :- (X) +tuple number: 345 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.052 43968 tuples for (X) v [Y1 == Y2]@atMost(2 owl:Thing)(X) v [Y1 == Y3]@atMost(2 owl:Thing)(X) v [Y2 == Y3]@atMost(2 owl:Thing)(X) :- (X,Y1), (X,Y2), (X,Y3) +tuple number: 0 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.008 1065 tuples for atLeast(1 )(X) :- (X) +tuple number: 1065 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.004 478 tuples for atLeast(1 )(X) :- (X) +tuple number: 478 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.004 4 tuples for (X) v (X) v (X) :- (X) +tuple number: 0 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.004 380 tuples for atLeast(1 )(X) :- (X) +tuple number: 380 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.005 283 tuples for atLeast(1 )(X) :- (X) +tuple number: 283 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.004 361 tuples for atLeast(1 )(X) :- (X) +tuple number: 361 before: 550540 after: 550540 (0 new) . +Time to make the constraint being satisfied: 0.004 352 tuples for atLeast(1 )(X) :- (X) +tuple number: 352 before: 550540 after: 550540 (0 new) . +lazy-upper-bound store after adding facts for violations: 550540 (0 new) +Time to add triples for violations: 0.283 +Iteration 2: +The lazy-upper-bound store is valid. +lazy-upper-bound store after materialising datalog-rules: 582920 (32380 new) +Time to materialise datalog-rules: 0.057 +Time to detect violations: 0.233 +Time to make the constraint being satisfied: 0.007 3966 tuples for (X) v [Y1 == Y2]@atMost(2 owl:Thing)(X) v [Y1 == Y3]@atMost(2 owl:Thing)(X) v [Y2 == Y3]@atMost(2 owl:Thing)(X) :- (X,Y1), (X,Y2), (X,Y3) +tuple number: 0 before: 582920 after: 582920 (0 new) . +Time to make the constraint being satisfied: 0.015 1835 tuples for atLeast(3 owl:Thing)(X) :- (X) +tuple number: 1835 before: 582920 after: 582920 (0 new) . +lazy-upper-bound store after adding facts for violations: 582920 (0 new) +Time to add triples for violations: 0.04 +Iteration 3: +The lazy-upper-bound store is valid. +lazy-upper-bound store after materialising datalog-rules: 594418 (11498 new) +Time to materialise datalog-rules: 0.026 +Time to detect violations: 0.338 +Time to make the constraint being satisfied: 0.005 481 tuples for atLeast(3 owl:Thing)(X) :- (X) +tuple number: 481 before: 594418 after: 594418 (0 new) . +lazy-upper-bound store after adding facts for violations: 594418 (0 new) +Time to add triples for violations: 0.017 +Iteration 4: +The lazy-upper-bound store is valid. +lazy-upper-bound store after materialising datalog-rules: 597304 (2886 new) +Time to materialise datalog-rules: 0.016 +lazy-upper-bound store after materialising multi-stage upper program: 597304 (256042 new) +lazy-upper-bound store is DONE for multi-stage materialising in 2.512 seconds. +The lazy-upper-bound store is valid. +There are no contradictions derived in the lazy upper bound materialisation. +The ontology and dataset is satisfiable. +time for satisfiability checking: 6.915 +tracking store after importing data: 257920 (257920 new) +tracking store finished importing data in 0.589 seconds. +tracking store after materialising saturate named individuals: 341262 (83342 new) +tracking store finished the materialisation of saturate named individuals in 0.174 seconds. +tracking store after materialising lower program: 557087 (215825 new) +tracking store finished the materialisation of lower program in 0.532 seconds. +tracking store is materialising multi-stage upper program ... +Iteration 1: +current store after materialising upper related rules: 646037 (88950 new) +current store finished the materialisation of upper related rules in 0.513 seconds. +gap query evaluted ... +current store before importing gap tuples: 646037 +There are 126566 tuples in the gap between lower and upper bound materialisation. +current store after importing gap tuples: 764044 (118007). +current store finished importing gap tuples: 764044 in 0.372. +tracking store after materialising datalog-rules: 764044 (206957 new) +Time to materialise datalog-rules: 0.898 +Time to detect violations: 0.124 +Time to make the constraint being satisfied: 0.01 478 tuples for atLeast(1 )(X) :- (X) +tuple number: 478 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.007 500 tuples for atLeast(1 )(X) :- (X) +tuple number: 500 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.004 5 tuples for atLeast(1 )(X) :- (X) +tuple number: 5 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.005 295 tuples for atLeast(1 )(X) :- (X) +tuple number: 295 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.008 489 tuples for atLeast(1 )(X) :- (X) +tuple number: 489 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.01 1065 tuples for atLeast(1 )(X) :- (X) +tuple number: 1065 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.012 1543 tuples for atLeast(1 )(X) :- (X) +tuple number: 1543 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.048 9627 tuples for atLeast(1 )(X) :- (X) +tuple number: 9627 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.012 1772 tuples for atLeast(1 )(X) :- (X) +tuple number: 1772 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.01 1311 tuples for atLeast(1 )(X) :- (X) +tuple number: 1311 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.005 270 tuples for atLeast(1 )(X) :- (X) +tuple number: 270 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.004 4 tuples for atLeast(1 )(X) :- (X) +tuple number: 4 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.005 297 tuples for atLeast(1 )(X) :- (X) +tuple number: 297 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.012 1772 tuples for atLeast(1 owl:Thing)(X) :- (X) +tuple number: 1772 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.006 290 tuples for atLeast(1 )(X) :- (X) +tuple number: 290 before: 764044 after: 764044 (0 new) . +Time to make the constraint being satisfied: 0.084 7041 tuples for atLeast(3 owl:Thing)(X) :- (X) +tuple number: 7041 before: 764044 after: 764044 (0 new) . +tracking store after adding facts for violations: 764044 (0 new) +Time to add triples for violations: 0.38 +Iteration 2: +current store after materialising upper related rules: 831557 (67513 new) +current store finished the materialisation of upper related rules in 0.137 seconds. +gap query evaluted ... +current store before importing gap tuples: 831557 +There are 41367 tuples in the gap between lower and upper bound materialisation. +current store after importing gap tuples: 867593 (36036). +current store finished importing gap tuples: 867593 in 0.097. +tracking store after materialising datalog-rules: 867593 (103549 new) +Time to materialise datalog-rules: 0.245 +Time to detect violations: 0.134 +Time to make the constraint being satisfied: 0.005 2 tuples for atLeast(1 )(X) :- (X) +tuple number: 2 before: 867593 after: 867593 (0 new) . +tracking store after adding facts for violations: 867593 (0 new) +Time to add triples for violations: 0.024 +Iteration 3: +current store after materialising upper related rules: 867601 (8 new) +current store finished the materialisation of upper related rules in 0.012 seconds. +gap query evaluted ... +current store before importing gap tuples: 867601 +There are 4 tuples in the gap between lower and upper bound materialisation. +current store after importing gap tuples: 867605 (4). +current store finished importing gap tuples: 867605 in 0.01. +tracking store after materialising datalog-rules: 867605 (12 new) +Time to materialise datalog-rules: 0.033 +tracking store after materialising multi-stage upper program: 867605 (310518 new) +tracking store is DONE for multi-stage materialising in 1.91 seconds. +The number of answers in the upper bound: 12782 +The number of answers in the upper bound: 0 +The number of answers in the upper bound: 14182 +The number of answers in the upper bound: 1 +The number of answers in the upper bound: 5 +The number of answers in the upper bound: 23 +There are 5 different bottom fragments. +12782 triples are added into the store. +Prefix declared: prefix1:=http://semantics.crl.ibm.com/univ-bench-dl-TBox.owl# +14182 triples are added into the store. +1 triples are added into the store. +5 triples are added into the store. +23 triples are added into the store. +tracking store after materialising tracking program: 1441314 (573709 new) +tracking store finished the materialisation of tracking program in 2.941 seconds. +@Time to group individuals by equality: 0.018 +class: 10 +class: 0 +class: 0 +class: 0 +class: 5 +class: 4 +class: 0 +class: 9627 +class: 1 +class: 3153 +class: 0 +class: 0 +property: 0 +property: 0 +property: 3153 +property: 0 +property: 0 +property: 0 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 15953, TBoxAxiomsCount = 24 +finish extracting axioms for bottom 0_1 +class: 48 +class: 9627 +class: 5 +class: 1 +class: 0 +class: 0 +class: 0 +class: 4 +class: 7211 +class: 6873 +class: 0 +class: 19 +property: 0 +property: 0 +property: 0 +property: 0 +property: 0 +property: 48 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 23836, TBoxAxiomsCount = 24 +finish extracting axioms for bottom 0_2 +class: 1 +class: 5 +class: 0 +class: 4 +class: 9627 +class: 0 +class: 0 +class: 0 +class: 0 +class: 0 +class: 0 +class: 0 +property: 0 +property: 0 +property: 0 +property: 0 +property: 0 +property: 0 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 9637, TBoxAxiomsCount = 23 +finish extracting axioms for bottom 0_3 +class: 4 +class: 9627 +class: 0 +class: 0 +class: 0 +class: 1 +class: 0 +class: 0 +class: 0 +class: 0 +class: 5 +class: 0 +property: 264 +property: 0 +property: 0 +property: 0 +property: 0 +property: 0 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 9901, TBoxAxiomsCount = 24 +finish extracting axioms for bottom 0_4 +property: 37 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 37, TBoxAxiomsCount = 2 +finish extracting axioms for bottom 0_5 +The ontology is consistent! +Preprocessing Done in 18.306 seconds. +---------- start evaluating Query 1 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:UndergraduateStudent . ?x benchmark:takesCourse } +0.0 +The number of answers in the lower bound: 21 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:UndergraduateStudent . ?x benchmark:takesCourse } +0.005 +The number of answers returned by the upper bound: 21 +The number of answers in the upper bound: 21 +Difficulty of this query: UpperBound +Total time to answer this query: 0.006 +The number of answer tuples: 21 +time for LowerBound: 0.001 +time for UpperBound: 0.005 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 2 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Employee } +0.001 +The number of answers in the lower bound: 2465 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Employee } +0.002 +The number of answers returned by the upper bound: 2465 +The number of answers in the upper bound: 2465 +Difficulty of this query: UpperBound +Total time to answer this query: 0.009 +The number of answer tuples: 2465 +time for LowerBound: 0.007 +time for UpperBound: 0.002 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 3 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Student . ?x benchmark:isMemberOf } +0.005 +The number of answers in the lower bound: 581 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Student . ?x benchmark:isMemberOf } +0.009 +The number of answers returned by the upper bound: 581 +The number of answers in the upper bound: 581 +Difficulty of this query: UpperBound +Total time to answer this query: 0.016 +The number of answer tuples: 581 +time for LowerBound: 0.007 +time for UpperBound: 0.009 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 4 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Publication . ?x benchmark:publicationAuthor ?y . ?y rdf:type benchmark:Faculty . ?y benchmark:isMemberOf } +0.001 +The number of answers in the lower bound: 292 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Publication . ?x benchmark:publicationAuthor ?y . ?y rdf:type benchmark:Faculty . ?y benchmark:isMemberOf } +0.006 +The number of answers returned by the upper bound: 292 +The number of answers in the upper bound: 292 +Difficulty of this query: UpperBound +Total time to answer this query: 0.01 +The number of answer tuples: 292 +time for LowerBound: 0.003 +time for UpperBound: 0.007 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 5 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:ResearchGroup . ?x benchmark:subOrganizationOf } +0.001 +The number of answers in the lower bound: 235 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:ResearchGroup . ?x benchmark:subOrganizationOf } +0.003 +The number of answers returned by the upper bound: 235 +The number of answers in the upper bound: 235 +Difficulty of this query: UpperBound +Total time to answer this query: 0.005 +The number of answer tuples: 235 +time for LowerBound: 0.002 +time for UpperBound: 0.003 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 6 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . benchmark:hasAlumnus ?x } +0.006 +The number of answers in the lower bound: 991 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . benchmark:hasAlumnus ?x } +0.007 +The number of answers returned by the upper bound: 991 +The number of answers in the upper bound: 991 +Difficulty of this query: UpperBound +Total time to answer this query: 0.016 +The number of answer tuples: 991 +time for LowerBound: 0.008 +time for UpperBound: 0.008 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 7 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:hasSameHomeTownWith } +0.0 +The number of answers in the lower bound: 0 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:hasSameHomeTownWith } +0.001 +The number of answers in the upper bound: 0 +Difficulty of this query: UpperBound +Total time to answer this query: 0.002 +The number of answer tuples: 0 +time for LowerBound: 0.001 +time for UpperBound: 0.001 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 8 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:SportsLover . benchmark:hasMember ?x } +0.0 +The number of answers in the lower bound: 376 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:SportsLover . benchmark:hasMember ?x } +0.002 +The number of answers returned by the upper bound: 376 +The number of answers in the upper bound: 376 +Difficulty of this query: UpperBound +Total time to answer this query: 0.003 +The number of answer tuples: 376 +time for LowerBound: 0.001 +time for UpperBound: 0.002 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 9 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:GraduateCourse . ?x benchmark:isTaughtBy ?y . ?y rdf:type benchmark:SportsLover . ?y benchmark:isMemberOf ?z . ?z benchmark:subOrganizationOf } +0.002 +The number of answers in the lower bound: 747 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:GraduateCourse . ?x benchmark:isTaughtBy ?y . ?y rdf:type benchmark:SportsLover . ?y benchmark:isMemberOf ?z . ?z benchmark:subOrganizationOf } +0.004 +The number of answers returned by the upper bound: 747 +The number of answers in the upper bound: 747 +Difficulty of this query: UpperBound +Total time to answer this query: 0.01 +The number of answer tuples: 747 +time for LowerBound: 0.005 +time for UpperBound: 0.005 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 10 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x benchmark:isFriendOf } +0.001 +The number of answers in the lower bound: 8 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x benchmark:isFriendOf } +0.002 +The number of answers returned by the upper bound: 8 +The number of answers in the upper bound: 8 +Difficulty of this query: UpperBound +Total time to answer this query: 0.003 +The number of answer tuples: 8 +time for LowerBound: 0.001 +time for UpperBound: 0.002 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 11 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:like ?y . ?z rdf:type benchmark:Chair . ?z benchmark:isHeadOf . ?z benchmark:like ?y } +0.003 +The number of answers in the lower bound: 2416 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:like ?y . ?z rdf:type benchmark:Chair . ?z benchmark:isHeadOf . ?z benchmark:like ?y } +0.005 +The number of answers returned by the upper bound: 3886 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:like ?y . ?z rdf:type benchmark:Chair . ?z benchmark:isHeadOf . ?z benchmark:like ?y . ?y a . ?z a } +0.032 +The number of answers returned by the upper bound: 2416 +The number of answers in the upper bound: 2416 +Difficulty of this query: UpperBound +Total time to answer this query: 0.04 +The number of answer tuples: 2416 +time for LowerBound: 0.008 +time for UpperBound: 0.032 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 12 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Student . ?x benchmark:takesCourse ?y . ?y benchmark:isTaughtBy } +0.009 +The number of answers in the lower bound: 50 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Student . ?x benchmark:takesCourse ?y . ?y benchmark:isTaughtBy } +0.011 +The number of answers returned by the upper bound: 50 +The number of answers in the upper bound: 50 +Difficulty of this query: UpperBound +Total time to answer this query: 0.021 +The number of answer tuples: 50 +time for LowerBound: 0.01 +time for UpperBound: 0.011 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 13 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:PeopleWithHobby . ?x benchmark:isMemberOf } +0.004 +The number of answers in the lower bound: 416 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:PeopleWithHobby . ?x benchmark:isMemberOf } +0.005 +The number of answers returned by the upper bound: 416 +The number of answers in the upper bound: 416 +Difficulty of this query: UpperBound +Total time to answer this query: 0.01 +The number of answer tuples: 416 +time for LowerBound: 0.005 +time for UpperBound: 0.005 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 14 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Woman . ?x rdf:type benchmark:Student . ?x benchmark:isMemberOf ?y . ?y benchmark:subOrganizationOf } +0.012 +The number of answers in the lower bound: 6535 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Woman . ?x rdf:type benchmark:Student . ?x benchmark:isMemberOf ?y . ?y benchmark:subOrganizationOf } +0.013 +The number of answers returned by the upper bound: 6535 +The number of answers in the upper bound: 6535 +Difficulty of this query: UpperBound +Total time to answer this query: 0.039 +The number of answer tuples: 6535 +time for LowerBound: 0.024 +time for UpperBound: 0.015 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 15 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:PeopleWithManyHobbies . ?x benchmark:isMemberOf } +0.0 +The number of answers in the lower bound: 0 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:PeopleWithManyHobbies . ?x benchmark:isMemberOf } +0.003 +The number of answers in the upper bound: 112 +0.003 +The number of answers in the lower bound: 0 +112 triples are added into the store. +tracking store after materialising tracking program: 1517657 (76343 new) +tracking store finished the materialisation of tracking program in 0.749 seconds. +property: 19 +property: 1 +property: 111 +property: 1 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 132, TBoxAxiomsCount = 2 +None of bottom fragments is added for this query. +ABox axioms: 132 TBox axioms: 2 +grouping individuals by its concepts +The summary of ABox is consistent with the TBox. +@TIME to check one tuple: 0.02 +@TIME to filter out non-answers by summarisation: 0.044 +Hermit was called 1 times. +Hermit was called 0 times. +Total time for full reasoner: 0.056 +Difficulty of this query: Summarisation +Total time to answer this query: 0.936 +The number of answer tuples: 0 +time for LowerBound: 0.0 +time for UpperBound: 0.004 +time for ELLowerBound: 0.003 +time for Fragment: 0.873 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.063 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 16 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Publication . ?x benchmark:publicationAuthor _:y . _:y rdf:type benchmark:Faculty . _:y benchmark:isMemberOf } +0.002 +The number of answers in the lower bound: 292 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Publication . ?x benchmark:publicationAuthor _:y . _:y rdf:type benchmark:Faculty . _:y benchmark:isMemberOf } +0.003 +The number of answers returned by the upper bound: 292 +The number of answers in the upper bound: 292 +Difficulty of this query: UpperBound +Total time to answer this query: 0.006 +The number of answer tuples: 292 +time for LowerBound: 0.003 +time for UpperBound: 0.003 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 17 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:GraduateCourse . ?x benchmark:isTaughtBy _:y . _:y rdf:type benchmark:SportsLover . _:y benchmark:isMemberOf _:z . _:z benchmark:subOrganizationOf } +0.003 +The number of answers in the lower bound: 747 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:GraduateCourse . ?x benchmark:isTaughtBy _:y . _:y rdf:type benchmark:SportsLover . _:y benchmark:isMemberOf _:z . _:z benchmark:subOrganizationOf } +0.004 +The number of answers returned by the upper bound: 747 +The number of answers in the upper bound: 747 +Difficulty of this query: UpperBound +Total time to answer this query: 0.009 +The number of answer tuples: 747 +time for LowerBound: 0.005 +time for UpperBound: 0.004 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 18 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:like _:y . _:z rdf:type benchmark:Chair . _:z benchmark:isHeadOf . _:z benchmark:like _:y } +0.003 +The number of answers in the lower bound: 2416 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Person . ?x benchmark:like _:y . _:z rdf:type benchmark:Chair . _:z benchmark:isHeadOf . _:z benchmark:like _:y } +0.006 +The number of answers returned by the upper bound: 3886 +The number of answers in the upper bound: 3886 +1.16 +The number of answers in the lower bound: 2416 +1470 triples are added into the store. +tracking store after materialising tracking program: 1717999 (200342 new) +tracking store finished the materialisation of tracking program in 3.166 seconds. +class: 675 +class: 8813 +class: 7 +class: 1 +class: 7881 +class: 1 +class: 1 +class: 687 +class: 1 +class: 2281 +class: 3489 +class: 686 +class: 1 +class: 2268 +class: 699 +class: 2178 +class: 8787 +property: 13770 +property: 3381 +property: 18 +property: 1602 +property: 13770 +property: 37 +ABox extraction Done +TBox extraction Done +Before adding bottom fragment: +ABoxAxiomsCount = 71034, TBoxAxiomsCount = 30 +Part of bottom fragments is added for this query. +ABox axioms: 71034 TBox axioms: 30 +grouping individuals by its concepts +Prefix declared: prefix2:=http://www.Department4.University0.edu/ +The summary of ABox is consistent with the TBox. +@TIME to check one tuple: 0.545 +@TIME to check one tuple: 0.129 +@TIME to check one tuple: 0.105 +@TIME to check one tuple: 0.09 +@TIME to check one tuple: 0.091 +@TIME to check one tuple: 0.091 +@TIME to check one tuple: 0.112 +@TIME to check one tuple: 0.087 +@TIME to check one tuple: 0.075 +@TIME to check one tuple: 0.071 +@TIME to check one tuple: 0.07 +@TIME to check one tuple: 0.07 +@TIME to check one tuple: 0.07 +@TIME to check one tuple: 0.073 +@TIME to check one tuple: 0.071 +@TIME to check one tuple: 0.864 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.062 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.064 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.061 +@TIME to check one tuple: 0.094 +@TIME to check one tuple: 0.096 +@TIME to check one tuple: 0.065 +@TIME to check one tuple: 0.064 +@TIME to check one tuple: 0.064 +@TIME to check one tuple: 0.097 +@TIME to check one tuple: 0.1 +@TIME to check one tuple: 0.148 +@TIME to check one tuple: 0.1 +@TIME to check one tuple: 0.105 +@TIME to check one tuple: 0.074 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.094 +@TIME to check one tuple: 0.062 +@TIME to check one tuple: 0.064 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.062 +@TIME to check one tuple: 0.062 +@TIME to check one tuple: 0.061 +@TIME to check one tuple: 0.061 +@TIME to check one tuple: 0.061 +@TIME to check one tuple: 0.061 +@TIME to check one tuple: 0.063 +@TIME to check one tuple: 0.062 +@TIME to check one tuple: 0.063 +@TIME to filter out non-answers by summarisation: 6.698 +The number of answers to be checked with HermiT: 1460/1470 +(http://www.Department16.University0.edu/GraduateStudent74@http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballFan^http://semantics.crl.ibm.com/univ-bench-dl.owl#BaseballLover^http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallFan^http://semantics.crl.ibm.com/univ-bench-dl.owl#BasketBallLover^http://semantics.crl.ibm.com/univ-bench-dl.owl#PeopleWithHobby^http://semantics.crl.ibm.com/univ-bench-dl.owl#Person^http://semantics.crl.ibm.com/univ-bench-dl.owl#SportsFan^http://semantics.crl.ibm.com/univ-bench-dl.owl#SportsLover^http://semantics.crl.ibm.com/univ-bench-dl.owl#TennisFan) +(http://www.Department5.University0.edu/UndergraduateStudent359@http://semantics.crl.ibm.com/univ-bench-dl.owl#PeopleWithHobby^http://semantics.crl.ibm.com/univ-bench-dl.owl#Person^http://semantics.crl.ibm.com/univ-bench-dl.owl#SportsLover) +The number of times to call homomorphism checker: 762299(645781,115809). +Time to compute endomorphism relation: 2.32 +link: 2272 +@TIME to group individuals in the gap: 2.32 +The number of different groups: 853 +The number of individuals to be checked by Homomorphism checker: 1460 +Entrances: 98 Exists: 353 +start checking front ... +@TIME to check one tuple: 24.128 +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +start checking back ... +The number of correct answers: 0 +Hermit was called 52 times. +Hermit was called 1 times. +Total time for full reasoner: 47.885 +Difficulty of this query: FullReasoning +Total time to answer this query: 53.158 +The number of answer tuples: 2416 +time for LowerBound: 0.005 +time for UpperBound: 0.021 +time for ELLowerBound: 1.16 +time for Fragment: 4.037 +time for FragmentRefinement: 0.0 +time for Summarisation: 7.498 +time for Dependency: 0.0 +time for FullReasoning: 38.332 +---------- start evaluating Query 19 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Student . ?x benchmark:takesCourse _:y . _:y benchmark:isTaughtBy } +0.009 +The number of answers in the lower bound: 50 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Student . ?x benchmark:takesCourse _:y . _:y benchmark:isTaughtBy } +0.011 +The number of answers returned by the upper bound: 50 +The number of answers in the upper bound: 50 +Difficulty of this query: UpperBound +Total time to answer this query: 0.021 +The number of answer tuples: 50 +time for LowerBound: 0.01 +time for UpperBound: 0.011 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 +---------- start evaluating Query 20 ---------- +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Woman . ?x rdf:type benchmark:Student . ?x benchmark:isMemberOf _:y . _:y benchmark:subOrganizationOf } +0.011 +The number of answers in the lower bound: 6535 +PREFIX rdf: PREFIX benchmark: SELECT distinct ?x WHERE { ?x rdf:type benchmark:Woman . ?x rdf:type benchmark:Student . ?x benchmark:isMemberOf _:y . _:y benchmark:subOrganizationOf } +0.013 +The number of answers returned by the upper bound: 6535 +The number of answers in the upper bound: 6535 +Difficulty of this query: UpperBound +Total time to answer this query: 0.03 +The number of answer tuples: 6535 +time for LowerBound: 0.015 +time for UpperBound: 0.015 +time for ELLowerBound: 0.0 +time for Fragment: 0.0 +time for FragmentRefinement: 0.0 +time for Summarisation: 0.0 +time for Dependency: 0.0 +time for FullReasoning: 0.0 \ No newline at end of file -- cgit v1.2.3