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