2023-08-02 15:15:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.314
Query file: /benchmarks/queries/03_right_turn.tcq
Start parsing query file
2023-08-02 15:15:06 FINE openllet.tcq.parser.TemporalConjunctiveQueryParser parse Propositional abstraction is {a=query(?x, ?l2) :- Type(?x, Vehicle) , Type(?l1, Driveable_Lane) , PropertyValue(?l1, sfIntersects, ?x) , PropertyValue(?l2, is_lane_right_of, ?l1), b=query(?x, ?l2) :- PropertyValue(?x, sfIntersects, ?l2)}
Finished parsing query file in 00:00:00.009
Query: 
-----------------------------------------------------
# Right turn

PREFIX l1c: <http://purl.org/auto/l1_core#>
PREFIX l1d: <http://purl.org/auto/l1_de#>
PREFIX l4c: <http://purl.org/auto/l4_core#>
PREFIX geo: <http://www.opengis.net/ont/geosparql#>

F (((l4c:Vehicle(?x) ^ l1c:Driveable_Lane(l1) ^ geo:sfIntersects(l1, ?x) ^ l1d:is_lane_right_of(?l2,l1)))
	&
F (geo:sfIntersects(?x, ?l2)))
-----------------------------------------------------
2023-08-02 15:15:06 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, l2) :- F (((http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l1_core#Driveable_Lane(l1) ^ http://www.opengis.net/ont/geosparql#sfIntersects(l1, ?x) ^ http://purl.org/auto/l1_de#is_lane_right_of(?l2,l1)))&F (http://www.opengis.net/ont/geosparql#sfIntersects(?x, ?l2)))
2023-08-02 15:15:06 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-2893189170846260043.dot
2023-08-02 15:15:06 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 15:15:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_1.owl
2023-08-02 15:15:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_2.owl
2023-08-02 15:15:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_3.owl
2023-08-02 15:15:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_4.owl
2023-08-02 15:15:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_5.owl
2023-08-02 15:15:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_6.owl
2023-08-02 15:15:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_7.owl
2023-08-02 15:15:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_8.owl
2023-08-02 15:15:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_9.owl
2023-08-02 15:15:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_10.owl
2023-08-02 15:15:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_11.owl
2023-08-02 15:15:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_12.owl
2023-08-02 15:15:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_13.owl
2023-08-02 15:16:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_14.owl
2023-08-02 15:16:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_15.owl
2023-08-02 15:16:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_16.owl
2023-08-02 15:16:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_17.owl
2023-08-02 15:16:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_18.owl
2023-08-02 15:16:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_19.owl
2023-08-02 15:16:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_20.owl
2023-08-02 15:16:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_21.owl
2023-08-02 15:16:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_22.owl
2023-08-02 15:16:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_23.owl
2023-08-02 15:16:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_24.owl
2023-08-02 15:16:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_25.owl
2023-08-02 15:16:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_26.owl
2023-08-02 15:16:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_27.owl
2023-08-02 15:16:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_28.owl
2023-08-02 15:16:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_29.owl
2023-08-02 15:17:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_30.owl
2023-08-02 15:17:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_31.owl
2023-08-02 15:17:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_32.owl
2023-08-02 15:17:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_33.owl
2023-08-02 15:17:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_34.owl
2023-08-02 15:17:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_35.owl
2023-08-02 15:17:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_36.owl
2023-08-02 15:17:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_37.owl
2023-08-02 15:17:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_38.owl
2023-08-02 15:17:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_39.owl
2023-08-02 15:17:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_40.owl
2023-08-02 15:17:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_41.owl
2023-08-02 15:17:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_42.owl
2023-08-02 15:17:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_43.owl
2023-08-02 15:17:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_44.owl
2023-08-02 15:17:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_45.owl
2023-08-02 15:17:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_46.owl
2023-08-02 15:17:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_47.owl
2023-08-02 15:18:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_48.owl
2023-08-02 15:18:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_49.owl
2023-08-02 15:18:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_50.owl
2023-08-02 15:18:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_51.owl
2023-08-02 15:18:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_52.owl
2023-08-02 15:18:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_53.owl
2023-08-02 15:18:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_54.owl
2023-08-02 15:18:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_55.owl
2023-08-02 15:18:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_56.owl
2023-08-02 15:18:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_57.owl
2023-08-02 15:18:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_58.owl
2023-08-02 15:18:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_59.owl
2023-08-02 15:18:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_60.owl
2023-08-02 15:18:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_61.owl
2023-08-02 15:18:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_62.owl
2023-08-02 15:18:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_63.owl
2023-08-02 15:18:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_64.owl
2023-08-02 15:18:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_65.owl
2023-08-02 15:18:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_66.owl
2023-08-02 15:19:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_67.owl
2023-08-02 15:19:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_68.owl
2023-08-02 15:19:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_69.owl
2023-08-02 15:19:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_70.owl
2023-08-02 15:19:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_71.owl
2023-08-02 15:19:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_72.owl
2023-08-02 15:19:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_73.owl
2023-08-02 15:19:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_74.owl
2023-08-02 15:19:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_75.owl
2023-08-02 15:19:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_76.owl
2023-08-02 15:19:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_77.owl
2023-08-02 15:19:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_78.owl
2023-08-02 15:19:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_79.owl
2023-08-02 15:19:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_80.owl
2023-08-02 15:19:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_81.owl
2023-08-02 15:19:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_82.owl
2023-08-02 15:19:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_83.owl
2023-08-02 15:19:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_84.owl
2023-08-02 15:20:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_85.owl
2023-08-02 15:20:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_86.owl
2023-08-02 15:20:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_87.owl
2023-08-02 15:20:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_88.owl
2023-08-02 15:20:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_89.owl
2023-08-02 15:20:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_90.owl
2023-08-02 15:20:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_91.owl
2023-08-02 15:20:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_92.owl
2023-08-02 15:20:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_93.owl
2023-08-02 15:20:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_94.owl
2023-08-02 15:20:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_95.owl
2023-08-02 15:20:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_96.owl
2023-08-02 15:20:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_97.owl
2023-08-02 15:20:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_98.owl
2023-08-02 15:20:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_99.owl
2023-08-02 15:20:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_100.owl
2023-08-02 15:20:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_101.owl
2023-08-02 15:20:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_102.owl
2023-08-02 15:20:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_103.owl
2023-08-02 15:20:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_104.owl
2023-08-02 15:21:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_105.owl
2023-08-02 15:21:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_106.owl
2023-08-02 15:21:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_107.owl
2023-08-02 15:21:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_108.owl
2023-08-02 15:21:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_109.owl
2023-08-02 15:21:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_110.owl
2023-08-02 15:21:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_111.owl
2023-08-02 15:21:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_112.owl
2023-08-02 15:21:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_113.owl
2023-08-02 15:21:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_114.owl
2023-08-02 15:21:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_115.owl
2023-08-02 15:21:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_116.owl
2023-08-02 15:21:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_117.owl
2023-08-02 15:21:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_118.owl
2023-08-02 15:21:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_119.owl
2023-08-02 15:21:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_120.owl
2023-08-02 15:21:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_121.owl
2023-08-02 15:21:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_122.owl
2023-08-02 15:21:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_123.owl
2023-08-02 15:21:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_124.owl
2023-08-02 15:21:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_125.owl
2023-08-02 15:21:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_126.owl
2023-08-02 15:21:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_127.owl
2023-08-02 15:21:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_128.owl
2023-08-02 15:21:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_129.owl
2023-08-02 15:21:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_130.owl
2023-08-02 15:21:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_131.owl
2023-08-02 15:22:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_132.owl
2023-08-02 15:22:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_133.owl
2023-08-02 15:22:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_134.owl
2023-08-02 15:22:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_135.owl
2023-08-02 15:22:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_136.owl
2023-08-02 15:22:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_137.owl
2023-08-02 15:22:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_138.owl
2023-08-02 15:22:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_139.owl
2023-08-02 15:22:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_140.owl
2023-08-02 15:22:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_141.owl
2023-08-02 15:22:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_142.owl
2023-08-02 15:22:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_143.owl
2023-08-02 15:22:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_144.owl
2023-08-02 15:22:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_145.owl
2023-08-02 15:22:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_146.owl
2023-08-02 15:22:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_147.owl
2023-08-02 15:22:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_148.owl
2023-08-02 15:22:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_149.owl
2023-08-02 15:22:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_150.owl
2023-08-02 15:22:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_151.owl
2023-08-02 15:22:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_152.owl
2023-08-02 15:22:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_153.owl
2023-08-02 15:22:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_154.owl
2023-08-02 15:22:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_155.owl
2023-08-02 15:23:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_156.owl
2023-08-02 15:23:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_157.owl
2023-08-02 15:23:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_158.owl
2023-08-02 15:23:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_159.owl
2023-08-02 15:23:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_160.owl
2023-08-02 15:23:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_161.owl
2023-08-02 15:23:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_162.owl
2023-08-02 15:23:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_163.owl
2023-08-02 15:23:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_164.owl
2023-08-02 15:23:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_165.owl
2023-08-02 15:23:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_166.owl
2023-08-02 15:23:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_167.owl
2023-08-02 15:23:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_168.owl
2023-08-02 15:23:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_169.owl
2023-08-02 15:23:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_170.owl
2023-08-02 15:23:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_171.owl
2023-08-02 15:23:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_172.owl
2023-08-02 15:23:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_173.owl
2023-08-02 15:23:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_174.owl
2023-08-02 15:23:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_175.owl
2023-08-02 15:23:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_176.owl
2023-08-02 15:23:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_177.owl
2023-08-02 15:23:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_178.owl
2023-08-02 15:23:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_179.owl
2023-08-02 15:23:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_180.owl
2023-08-02 15:23:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_181.owl
2023-08-02 15:23:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_182.owl
2023-08-02 15:23:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_183.owl
2023-08-02 15:23:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_184.owl
2023-08-02 15:24:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_185.owl
2023-08-02 15:24:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_186.owl
2023-08-02 15:24:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_187.owl
2023-08-02 15:24:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_188.owl
2023-08-02 15:24:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_189.owl
2023-08-02 15:24:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_190.owl
2023-08-02 15:24:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_191.owl
2023-08-02 15:24:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_192.owl
2023-08-02 15:24:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_193.owl
2023-08-02 15:24:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_194.owl
2023-08-02 15:24:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_195.owl
2023-08-02 15:24:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_196.owl
2023-08-02 15:24:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_197.owl
2023-08-02 15:24:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_198.owl
2023-08-02 15:24:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_199.owl
2023-08-02 15:24:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_200.owl
2023-08-02 15:24:44 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 15:24:44 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 554855 ms
2023-08-02 15:24:44 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.426277 % (6929 satisfiable and 3 unsatisfiable bindings out of 6972 bindings)
2023-08-02 15:24:44 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-02 15:24:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_0.owl
2023-08-02 15:24:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_1.owl
2023-08-02 15:24:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_2.owl
2023-08-02 15:24:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_3.owl
2023-08-02 15:24:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_4.owl
2023-08-02 15:24:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_5.owl
2023-08-02 15:24:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_6.owl
2023-08-02 15:25:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_7.owl
2023-08-02 15:25:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_8.owl
2023-08-02 15:25:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_9.owl
2023-08-02 15:25:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_10.owl
2023-08-02 15:25:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_11.owl
2023-08-02 15:25:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_12.owl
2023-08-02 15:25:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_13.owl
2023-08-02 15:25:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_14.owl
2023-08-02 15:25:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_15.owl
2023-08-02 15:25:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_16.owl
2023-08-02 15:25:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_17.owl
2023-08-02 15:25:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_18.owl
2023-08-02 15:25:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_19.owl
2023-08-02 15:25:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_20.owl
2023-08-02 15:25:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_21.owl
2023-08-02 15:25:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_22.owl
2023-08-02 15:25:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_23.owl
2023-08-02 15:25:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_24.owl
2023-08-02 15:25:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_25.owl
2023-08-02 15:25:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_26.owl
2023-08-02 15:25:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_27.owl
2023-08-02 15:25:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_28.owl
2023-08-02 15:25:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_29.owl
2023-08-02 15:25:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_30.owl
2023-08-02 15:25:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_31.owl
2023-08-02 15:25:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_32.owl
2023-08-02 15:25:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_33.owl
2023-08-02 15:25:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_34.owl
2023-08-02 15:25:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_35.owl
2023-08-02 15:25:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_36.owl
2023-08-02 15:25:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_37.owl
2023-08-02 15:25:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_38.owl
2023-08-02 15:26:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_39.owl
2023-08-02 15:26:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_40.owl
2023-08-02 15:26:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_41.owl
2023-08-02 15:26:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_42.owl
2023-08-02 15:26:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_43.owl
2023-08-02 15:26:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_44.owl
2023-08-02 15:26:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_45.owl
2023-08-02 15:26:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_46.owl
2023-08-02 15:26:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_47.owl
2023-08-02 15:26:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_48.owl
2023-08-02 15:26:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_49.owl
2023-08-02 15:26:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_50.owl
2023-08-02 15:26:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_51.owl
2023-08-02 15:26:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_52.owl
2023-08-02 15:26:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_53.owl
2023-08-02 15:26:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_54.owl
2023-08-02 15:26:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_55.owl
2023-08-02 15:26:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_56.owl
2023-08-02 15:26:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_57.owl
2023-08-02 15:26:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_58.owl
2023-08-02 15:26:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_59.owl
2023-08-02 15:26:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_60.owl
2023-08-02 15:26:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_61.owl
2023-08-02 15:26:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_62.owl
2023-08-02 15:26:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_63.owl
2023-08-02 15:26:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_64.owl
2023-08-02 15:26:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_65.owl
2023-08-02 15:26:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_66.owl
2023-08-02 15:26:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_67.owl
2023-08-02 15:26:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_68.owl
2023-08-02 15:26:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_69.owl
2023-08-02 15:27:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_70.owl
2023-08-02 15:27:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_71.owl
2023-08-02 15:27:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_72.owl
2023-08-02 15:27:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_73.owl
2023-08-02 15:27:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_74.owl
2023-08-02 15:27:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_75.owl
2023-08-02 15:27:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_76.owl
2023-08-02 15:27:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_77.owl
2023-08-02 15:27:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_78.owl
2023-08-02 15:27:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_79.owl
2023-08-02 15:27:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_80.owl
2023-08-02 15:27:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_81.owl
2023-08-02 15:27:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_82.owl
2023-08-02 15:27:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_83.owl
2023-08-02 15:27:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_84.owl
2023-08-02 15:27:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_85.owl
2023-08-02 15:27:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_86.owl
2023-08-02 15:27:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_87.owl
2023-08-02 15:27:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_88.owl
2023-08-02 15:27:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_89.owl
2023-08-02 15:27:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_90.owl
2023-08-02 15:27:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_91.owl
2023-08-02 15:27:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_92.owl
2023-08-02 15:27:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_93.owl
2023-08-02 15:27:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_94.owl
2023-08-02 15:27:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_95.owl
2023-08-02 15:27:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_96.owl
2023-08-02 15:27:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_97.owl
2023-08-02 15:27:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_98.owl
2023-08-02 15:27:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_99.owl
2023-08-02 15:27:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_100.owl
2023-08-02 15:27:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_101.owl
2023-08-02 15:27:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_102.owl
2023-08-02 15:27:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_103.owl
2023-08-02 15:27:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_104.owl
2023-08-02 15:28:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_105.owl
2023-08-02 15:28:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_106.owl
2023-08-02 15:28:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_107.owl
2023-08-02 15:28:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_108.owl
2023-08-02 15:28:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_109.owl
2023-08-02 15:28:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_110.owl
2023-08-02 15:28:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_111.owl
2023-08-02 15:28:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_112.owl
2023-08-02 15:28:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_113.owl
2023-08-02 15:28:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_114.owl
2023-08-02 15:28:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_115.owl
2023-08-02 15:28:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_116.owl
2023-08-02 15:28:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_117.owl
2023-08-02 15:28:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_118.owl
2023-08-02 15:28:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_119.owl
2023-08-02 15:28:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_120.owl
2023-08-02 15:28:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_121.owl
2023-08-02 15:28:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_122.owl
2023-08-02 15:28:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_123.owl
2023-08-02 15:28:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_124.owl
2023-08-02 15:28:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_125.owl
2023-08-02 15:28:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_126.owl
2023-08-02 15:28:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_127.owl
2023-08-02 15:28:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_128.owl
2023-08-02 15:28:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_129.owl
2023-08-02 15:28:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_130.owl
2023-08-02 15:28:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_131.owl
2023-08-02 15:28:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_132.owl
2023-08-02 15:28:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_133.owl
2023-08-02 15:28:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_134.owl
2023-08-02 15:28:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_135.owl
2023-08-02 15:28:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_136.owl
2023-08-02 15:28:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_137.owl
2023-08-02 15:28:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_138.owl
2023-08-02 15:28:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_139.owl
2023-08-02 15:28:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_140.owl
2023-08-02 15:28:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_141.owl
2023-08-02 15:28:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_142.owl
2023-08-02 15:28:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_143.owl
2023-08-02 15:28:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_144.owl
2023-08-02 15:28:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_145.owl
2023-08-02 15:28:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_146.owl
2023-08-02 15:28:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_147.owl
2023-08-02 15:28:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_148.owl
2023-08-02 15:28:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_149.owl
2023-08-02 15:28:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_150.owl
2023-08-02 15:28:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_151.owl
2023-08-02 15:29:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_152.owl
2023-08-02 15:29:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_153.owl
2023-08-02 15:29:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_154.owl
2023-08-02 15:29:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_155.owl
2023-08-02 15:29:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_156.owl
2023-08-02 15:29:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_157.owl
2023-08-02 15:29:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_158.owl
2023-08-02 15:29:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_159.owl
2023-08-02 15:29:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_160.owl
2023-08-02 15:29:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_161.owl
2023-08-02 15:29:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_162.owl
2023-08-02 15:29:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_163.owl
2023-08-02 15:29:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_164.owl
2023-08-02 15:29:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_165.owl
2023-08-02 15:29:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_166.owl
2023-08-02 15:29:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_167.owl
2023-08-02 15:29:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_168.owl
2023-08-02 15:29:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_169.owl
2023-08-02 15:29:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_170.owl
2023-08-02 15:29:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_171.owl
2023-08-02 15:29:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_172.owl
2023-08-02 15:29:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_173.owl
2023-08-02 15:29:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_174.owl
2023-08-02 15:29:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_175.owl
2023-08-02 15:29:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_176.owl
2023-08-02 15:29:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_177.owl
2023-08-02 15:29:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_178.owl
2023-08-02 15:29:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_179.owl
2023-08-02 15:29:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_180.owl
2023-08-02 15:29:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_181.owl
2023-08-02 15:29:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_182.owl
2023-08-02 15:29:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_183.owl
2023-08-02 15:29:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_184.owl
2023-08-02 15:29:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_185.owl
2023-08-02 15:29:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_186.owl
2023-08-02 15:29:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_187.owl
2023-08-02 15:29:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_188.owl
2023-08-02 15:29:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_189.owl
2023-08-02 15:29:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_190.owl
2023-08-02 15:29:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_191.owl
2023-08-02 15:29:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_192.owl
2023-08-02 15:29:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_193.owl
2023-08-02 15:29:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_194.owl
2023-08-02 15:29:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_195.owl
2023-08-02 15:29:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_196.owl
2023-08-02 15:29:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_197.owl
2023-08-02 15:29:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_198.owl
2023-08-02 15:29:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_199.owl
2023-08-02 15:29:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_200.owl
2023-08-02 15:29:55 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 15:29:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.382482
t=1: 0.189329
t=2: 0.189329
t=3: 0.189329
t=4: 0.189329
t=5: 0.189329
t=6: 0.189329
t=7: 0.189329
t=8: 0.189329
t=9: 0.189329
t=10: 0.189329
t=11: 0.189329
t=12: 0.189329
t=13: 0.189329
t=14: 0.189329
t=15: 0.189329
t=16: 0.189329
t=17: 0.189329
t=18: 0.189329
t=19: 0.189329
t=20: 0.189329
t=21: 0.189329
t=22: 0.189329
t=23: 0.189329
t=24: 0.189329
t=25: 0.189329
t=26: 0.189329
t=27: 0.189329
t=28: 0.189329
t=29: 0.189329
t=30: 0.189329
t=31: 0.189329
t=32: 0.189329
t=33: 0.189329
t=34: 0.189329
t=35: 0.189329
t=36: 0.189329
t=37: 0.189329
t=38: 0.189329
t=39: 0.189329
t=40: 0.189329
t=41: 0.189329
t=42: 0.189329
t=43: 0.189329
t=44: 0.189329
t=45: 0.189329
t=46: 0.189329
t=47: 0.189329
t=48: 0.189329
t=49: 0.189329
t=50: 0.189329
t=51: 0.189329
t=52: 0.189329
t=53: 0.189329
t=54: 0.189329
t=55: 0.189329
t=56: 0.189329
t=57: 0.189329
t=58: 0.189329
t=59: 0.189329
t=60: 0.189329
t=61: 0.189329
t=62: 0.189329
t=63: 0.189329
t=64: 0.189329
t=65: 0.189329
t=66: 0.189329
t=67: 0.189329
t=68: 0.189329
t=69: 0.189329
t=70: 0.189329
t=71: 0.189329
t=72: 0.189329
t=73: 0.189329
t=74: 0.189329
t=75: 0.189329
t=76: 0.189329
t=77: 0.189329
t=78: 0.189329
t=79: 0.189329
t=80: 0.189329
t=81: 0.189329
t=82: 0.189329
t=83: 0.189329
t=84: 0.189329
t=85: 0.189329
t=86: 0.189329
t=87: 0.189329
t=88: 0.154905
t=89: 0.154905
t=90: 0.154905
t=91: 0.154905
t=92: 0.154905
t=93: 0.154905
t=94: 0.154905
t=95: 0.154905
t=96: 0.154905
t=97: 0.154905
t=98: 0.154905
t=99: 0.154905
t=100: 0.154905
t=101: 0.154905
t=102: 0.154905
t=103: 0.154905
t=104: 0.154905
t=105: 0.154905
t=106: 0.154905
t=107: 0.154905
t=108: 0.154905
t=109: 0.154905
t=110: 0.154905
t=111: 0.154905
t=112: 0.154905
t=113: 0.154905
t=114: 0.154905
t=115: 0.154905
t=116: 0.154905
t=117: 0.154905
t=118: 0.154905
t=119: 0.154905
t=120: 0.154905
t=121: 0.154905
t=122: 0.154905
t=123: 0.154905
t=124: 0.154905
t=125: 0.154905
t=126: 0.154905
t=127: 0.154905
t=128: 0.154905
t=129: 0.154905
t=130: 0.154905
t=131: 0.154905
t=132: 0.154905
t=133: 0.154905
t=134: 0.154905
t=135: 0.154905
t=136: 0.154905
t=137: 0.154905
t=138: 0.154905
t=139: 0.154905
t=140: 0.154905
t=141: 0.154905
t=142: 0.154905
t=143: 0.154905
t=144: 0.154905
t=145: 0.154905
t=146: 0.154905
t=147: 0.154905
t=148: 0.154905
t=149: 0.154905
t=150: 0.154905
t=151: 0.154905
t=152: 0.154905
t=153: 0.154905
t=154: 0.154905
t=155: 0.154905
t=156: 0.154905
t=157: 0.154905
t=158: 0.154905
t=159: 0.154905
t=160: 0.154905
t=161: 0.154905
t=162: 0.154905
t=163: 0.154905
t=164: 0.154905
t=165: 0.154905
t=166: 0.154905
t=167: 0.154905
t=168: 0.154905
t=169: 0.154905
t=170: 0.154905
t=171: 0.154905
t=172: 0.154905
t=173: 0.154905
t=174: 0.154905
t=175: 0.154905
t=176: 0.154905
t=177: 0.154905
t=178: 0.154905
t=179: 0.154905
t=180: 0.154905
t=181: 0.154905
t=182: 0.154905
t=183: 0.154905
t=184: 0.154905
t=185: 0.154905
t=186: 0.154905
t=187: 0.154905
t=188: 0.154905
t=189: 0.154905
t=190: 0.154905
t=191: 0.114745
t=192: 0.114745
t=193: 0.114745
t=194: 0.114745
t=195: 0.114745
t=196: 0.114745
t=197: 0.114745
t=198: 0.114745
t=199: 0.114745
t=200: 0.114745
total: 0.168939
2023-08-02 15:29:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 289478 ms
2023-08-02 15:29:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (6969 satisfiable and 3 unsatisfiable bindings out of 6972 bindings)
2023-08-02 15:29:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics check returned a definite answer on 100.000000 % of the entailed bindings
Query Results (3 answers): 
FunVar(x)                       | FunVar(l2)                                  
==============================================================================
http://purl.org/auto/l4_de#veh4 | http://purl.org/auto/l1_core#driveable_lane8
http://purl.org/auto/l4_de#veh4 | http://purl.org/auto/l1_de#divider_lane2    
http://purl.org/auto/l4_de#veh4 | http://purl.org/auto/l1_core#driveable_lane7


Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |     890179
loading ontologies                                        |      45328
initial consistency check                                 |        314
parsing query file                                        |          9
query execution (w/o loading & initial consistency check) |     844338
