2023-08-03 00:24:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.272
Query file: /benchmarks/queries/04_lane_change_no_signal.tcq
Start parsing query file
2023-08-03 00:24:56 FINE openllet.tcq.parser.TemporalConjunctiveQueryParser parse Propositional abstraction is {a=query(?x, ?l1, ?l2) :- Type(?x, Vehicle) , Type(?l1, Driveable_Lane) , Type(?l2, Driveable_Lane), b=query(?x, ?l1) :- PropertyValue(?x, sfWithin, ?l1), c=query(?x) :- PropertyValue(?x, delivers_signal, ?s) , Type(?s, Left_Turn_Signal), d=query(?x, ?l2) :- PropertyValue(?x, sfIntersects, ?l2)}
Finished parsing query file in 00:00:00.015
Query: 
-----------------------------------------------------
# Lane change without a signal

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 l6d: <http://purl.org/auto/l6_de#>
PREFIX com: <http://purl.org/auto/communication#>
PREFIX geo: <http://www.opengis.net/ont/geosparql#>

G (l4c:Vehicle(?x) ^ l1c:Driveable_Lane(?l1) ^ l1c:Driveable_Lane(?l2))
	&
F
(
	(geo:sfWithin(?x,?l1))
		&
	X[!]
	(
		(!(com:delivers_signal(?x,s) ^ l6d:Left_Turn_Signal(s)))
			U
		(geo:sfIntersects(?x,?l2))
	)
)
-----------------------------------------------------
2023-08-03 00:24:56 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, l1, l2) :- G (http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l1_core#Driveable_Lane(?l1) ^ http://purl.org/auto/l1_core#Driveable_Lane(?l2))&F((http://www.opengis.net/ont/geosparql#sfWithin(?x,?l1))&X[!]((!(http://purl.org/auto/communication#delivers_signal(?x,s) ^ http://purl.org/auto/l6_de#Left_Turn_Signal(s)))U(http://www.opengis.net/ont/geosparql#sfIntersects(?x,?l2))))
2023-08-03 00:24:57 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-18162975277276640421.dot
2023-08-03 00:24:57 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-03 00:24:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_1.owl
2023-08-03 00:25:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_2.owl
2023-08-03 00:25:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_3.owl
2023-08-03 00:25:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_4.owl
2023-08-03 00:25:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_5.owl
2023-08-03 00:25:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_6.owl
2023-08-03 00:25:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_7.owl
2023-08-03 00:25:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_8.owl
2023-08-03 00:25:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_9.owl
2023-08-03 00:25:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_10.owl
2023-08-03 00:25:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_11.owl
2023-08-03 00:25:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_12.owl
2023-08-03 00:25:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_13.owl
2023-08-03 00:25:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_14.owl
2023-08-03 00:25:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_15.owl
2023-08-03 00:26:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_16.owl
2023-08-03 00:26:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_17.owl
2023-08-03 00:26:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_18.owl
2023-08-03 00:26:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_19.owl
2023-08-03 00:26:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_20.owl
2023-08-03 00:26:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_21.owl
2023-08-03 00:26:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_22.owl
2023-08-03 00:26:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_23.owl
2023-08-03 00:26:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_24.owl
2023-08-03 00:26:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_25.owl
2023-08-03 00:26:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_26.owl
2023-08-03 00:26:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_27.owl
2023-08-03 00:26:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_28.owl
2023-08-03 00:26:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_29.owl
2023-08-03 00:26:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_30.owl
2023-08-03 00:27:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_31.owl
2023-08-03 00:27:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_32.owl
2023-08-03 00:27:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_33.owl
2023-08-03 00:27:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_34.owl
2023-08-03 00:27:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_35.owl
2023-08-03 00:27:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_36.owl
2023-08-03 00:27:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_37.owl
2023-08-03 00:27:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_38.owl
2023-08-03 00:27:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_39.owl
2023-08-03 00:27:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_40.owl
2023-08-03 00:27:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_41.owl
2023-08-03 00:27:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_42.owl
2023-08-03 00:27:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_43.owl
2023-08-03 00:27:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_44.owl
2023-08-03 00:28:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_45.owl
2023-08-03 00:28:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_46.owl
2023-08-03 00:28:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_47.owl
2023-08-03 00:28:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_48.owl
2023-08-03 00:28:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_49.owl
2023-08-03 00:28:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_50.owl
2023-08-03 00:28:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_51.owl
2023-08-03 00:28:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_52.owl
2023-08-03 00:28:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_53.owl
2023-08-03 00:28:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_54.owl
2023-08-03 00:28:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_55.owl
2023-08-03 00:28:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_56.owl
2023-08-03 00:29:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_57.owl
2023-08-03 00:29:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_58.owl
2023-08-03 00:29:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_59.owl
2023-08-03 00:29:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_60.owl
2023-08-03 00:29:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_61.owl
2023-08-03 00:29:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_62.owl
2023-08-03 00:29:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_63.owl
2023-08-03 00:29:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_64.owl
2023-08-03 00:29:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_65.owl
2023-08-03 00:29:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_66.owl
2023-08-03 00:29:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_67.owl
2023-08-03 00:29:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_68.owl
2023-08-03 00:29:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_69.owl
2023-08-03 00:29:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_70.owl
2023-08-03 00:30:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_71.owl
2023-08-03 00:30:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_72.owl
2023-08-03 00:30:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_73.owl
2023-08-03 00:30:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_74.owl
2023-08-03 00:30:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_75.owl
2023-08-03 00:30:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_76.owl
2023-08-03 00:30:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_77.owl
2023-08-03 00:30:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_78.owl
2023-08-03 00:30:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_79.owl
2023-08-03 00:30:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_80.owl
2023-08-03 00:30:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_81.owl
2023-08-03 00:30:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_82.owl
2023-08-03 00:30:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_83.owl
2023-08-03 00:31:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_84.owl
2023-08-03 00:31:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_85.owl
2023-08-03 00:31:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_86.owl
2023-08-03 00:31:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_87.owl
2023-08-03 00:31:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_88.owl
2023-08-03 00:31:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_89.owl
2023-08-03 00:31:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_90.owl
2023-08-03 00:31:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_91.owl
2023-08-03 00:31:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_92.owl
2023-08-03 00:31:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_93.owl
2023-08-03 00:31:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_94.owl
2023-08-03 00:31:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_95.owl
2023-08-03 00:31:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_96.owl
2023-08-03 00:31:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_97.owl
2023-08-03 00:32:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_98.owl
2023-08-03 00:32:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_99.owl
2023-08-03 00:32:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_100.owl
2023-08-03 00:32:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_101.owl
2023-08-03 00:32:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_102.owl
2023-08-03 00:32:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_103.owl
2023-08-03 00:32:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_104.owl
2023-08-03 00:32:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_105.owl
2023-08-03 00:32:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_106.owl
2023-08-03 00:32:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_107.owl
2023-08-03 00:32:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_108.owl
2023-08-03 00:32:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_109.owl
2023-08-03 00:32:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_110.owl
2023-08-03 00:32:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_111.owl
2023-08-03 00:33:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_112.owl
2023-08-03 00:33:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_113.owl
2023-08-03 00:33:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_114.owl
2023-08-03 00:33:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_115.owl
2023-08-03 00:33:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_116.owl
2023-08-03 00:33:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_117.owl
2023-08-03 00:33:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_118.owl
2023-08-03 00:33:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_119.owl
2023-08-03 00:33:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_120.owl
2023-08-03 00:33:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_121.owl
2023-08-03 00:33:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_122.owl
2023-08-03 00:33:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_123.owl
2023-08-03 00:33:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_124.owl
2023-08-03 00:33:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_125.owl
2023-08-03 00:34:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_126.owl
2023-08-03 00:34:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_127.owl
2023-08-03 00:34:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_128.owl
2023-08-03 00:34:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_129.owl
2023-08-03 00:34:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_130.owl
2023-08-03 00:34:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_131.owl
2023-08-03 00:34:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_132.owl
2023-08-03 00:34:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_133.owl
2023-08-03 00:34:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_134.owl
2023-08-03 00:34:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_135.owl
2023-08-03 00:34:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_136.owl
2023-08-03 00:34:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_137.owl
2023-08-03 00:35:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_138.owl
2023-08-03 00:35:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_139.owl
2023-08-03 00:35:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_140.owl
2023-08-03 00:35:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_141.owl
2023-08-03 00:35:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_142.owl
2023-08-03 00:35:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_143.owl
2023-08-03 00:35:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_144.owl
2023-08-03 00:35:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_145.owl
2023-08-03 00:35:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_146.owl
2023-08-03 00:35:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_147.owl
2023-08-03 00:35:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_148.owl
2023-08-03 00:36:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_149.owl
2023-08-03 00:36:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_150.owl
2023-08-03 00:36:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_151.owl
2023-08-03 00:36:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_152.owl
2023-08-03 00:36:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_153.owl
2023-08-03 00:36:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_154.owl
2023-08-03 00:36:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_155.owl
2023-08-03 00:36:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_156.owl
2023-08-03 00:36:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_157.owl
2023-08-03 00:36:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_158.owl
2023-08-03 00:36:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_159.owl
2023-08-03 00:36:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_160.owl
2023-08-03 00:37:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_161.owl
2023-08-03 00:37:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_162.owl
2023-08-03 00:37:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_163.owl
2023-08-03 00:37:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_164.owl
2023-08-03 00:37:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_165.owl
2023-08-03 00:37:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_166.owl
2023-08-03 00:37:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_167.owl
2023-08-03 00:37:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_168.owl
2023-08-03 00:37:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_169.owl
2023-08-03 00:37:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_170.owl
2023-08-03 00:37:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_171.owl
2023-08-03 00:37:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_172.owl
2023-08-03 00:37:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_173.owl
2023-08-03 00:37:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_174.owl
2023-08-03 00:37:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_175.owl
2023-08-03 00:37:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_176.owl
2023-08-03 00:38:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_177.owl
2023-08-03 00:38:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_178.owl
2023-08-03 00:38:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_179.owl
2023-08-03 00:38:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_180.owl
2023-08-03 00:38:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_181.owl
2023-08-03 00:38:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_182.owl
2023-08-03 00:38:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_183.owl
2023-08-03 00:38:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_184.owl
2023-08-03 00:38:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_185.owl
2023-08-03 00:38:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_186.owl
2023-08-03 00:38:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_187.owl
2023-08-03 00:38:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_188.owl
2023-08-03 00:38:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_189.owl
2023-08-03 00:39:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_190.owl
2023-08-03 00:39:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_191.owl
2023-08-03 00:39:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_192.owl
2023-08-03 00:39:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_193.owl
2023-08-03 00:39:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_194.owl
2023-08-03 00:39:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_195.owl
2023-08-03 00:39:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_196.owl
2023-08-03 00:39:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_197.owl
2023-08-03 00:39:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_198.owl
2023-08-03 00:39:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_199.owl
2023-08-03 00:39:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_200.owl
2023-08-03 00:39:44 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-03 00:39:44 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 868453 ms
2023-08-03 00:39:44 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.782891 % (261510 satisfiable and 1 unsatisfiable bindings out of 262080 bindings)
2023-08-03 00:39:44 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-03 00:39:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_0.owl
2023-08-03 00:39:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_1.owl
2023-08-03 00:40:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_2.owl
2023-08-03 00:41:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_3.owl
2023-08-03 00:42:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_4.owl
2023-08-03 00:43:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_5.owl
2023-08-03 00:45:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_6.owl
2023-08-03 00:46:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_7.owl
2023-08-03 00:48:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_8.owl
2023-08-03 00:49:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_9.owl
2023-08-03 00:51:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_10.owl
2023-08-03 00:52:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_11.owl
2023-08-03 00:54:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_12.owl
2023-08-03 00:55:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_13.owl
2023-08-03 00:56:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_14.owl
2023-08-03 00:58:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_15.owl
2023-08-03 00:59:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_16.owl
2023-08-03 01:01:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_17.owl
2023-08-03 01:02:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_18.owl
2023-08-03 01:03:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_19.owl
2023-08-03 01:05:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_20.owl
2023-08-03 01:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_21.owl
2023-08-03 01:07:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_22.owl
2023-08-03 01:08:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_23.owl
2023-08-03 01:10:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_24.owl
2023-08-03 01:11:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_25.owl
2023-08-03 01:13:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_26.owl
2023-08-03 01:14:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_27.owl
2023-08-03 01:15:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_28.owl
2023-08-03 01:17:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_29.owl
2023-08-03 01:18:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_30.owl
2023-08-03 01:20:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_31.owl
2023-08-03 01:21:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_32.owl
2023-08-03 01:22:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_33.owl
2023-08-03 01:23:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_34.owl
2023-08-03 01:24:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_35.owl
2023-08-03 01:26:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_36.owl
2023-08-03 01:27:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_37.owl
2023-08-03 01:28:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_38.owl
2023-08-03 01:29:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_39.owl
2023-08-03 01:31:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_40.owl
2023-08-03 01:32:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_41.owl
2023-08-03 01:33:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_42.owl
2023-08-03 01:35:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_43.owl
2023-08-03 01:36:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_44.owl
2023-08-03 01:38:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_45.owl
2023-08-03 01:39:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_46.owl
2023-08-03 01:40:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_47.owl
2023-08-03 01:42:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_48.owl
2023-08-03 01:44:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_49.owl
2023-08-03 01:45:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_50.owl
2023-08-03 01:47:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_51.owl
2023-08-03 01:48:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_52.owl
2023-08-03 01:49:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_53.owl
2023-08-03 01:51:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_54.owl
2023-08-03 01:52:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_55.owl
2023-08-03 01:54:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_56.owl
2023-08-03 01:55:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_57.owl
2023-08-03 01:57:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_58.owl
2023-08-03 01:58:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_59.owl
2023-08-03 02:00:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_60.owl
2023-08-03 02:01:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_61.owl
2023-08-03 02:02:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_62.owl
2023-08-03 02:04:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_63.owl
2023-08-03 02:05:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_64.owl
2023-08-03 02:07:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_65.owl
2023-08-03 02:09:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_66.owl
2023-08-03 02:10:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_67.owl
2023-08-03 02:11:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_68.owl
2023-08-03 02:12:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_69.owl
2023-08-03 02:14:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_70.owl
2023-08-03 02:15:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_71.owl
2023-08-03 02:16:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_72.owl
2023-08-03 02:18:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_73.owl
2023-08-03 02:19:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_74.owl
2023-08-03 02:20:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_75.owl
2023-08-03 02:21:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_76.owl
2023-08-03 02:23:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_77.owl
2023-08-03 02:24:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_78.owl
2023-08-03 02:25:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_79.owl
2023-08-03 02:27:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_80.owl
2023-08-03 02:28:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_81.owl
2023-08-03 02:30:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_82.owl
2023-08-03 02:31:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_83.owl
2023-08-03 02:33:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_84.owl
2023-08-03 02:34:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_85.owl
2023-08-03 02:35:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_86.owl
2023-08-03 02:37:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_87.owl
2023-08-03 02:38:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_88.owl
2023-08-03 02:40:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_89.owl
2023-08-03 02:41:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_90.owl
2023-08-03 02:43:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_91.owl
2023-08-03 02:44:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_92.owl
2023-08-03 02:46:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_93.owl
2023-08-03 02:47:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_94.owl
2023-08-03 02:48:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_95.owl
2023-08-03 02:50:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_96.owl
2023-08-03 02:51:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_97.owl
2023-08-03 02:53:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_98.owl
2023-08-03 02:54:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_99.owl
2023-08-03 02:56:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_100.owl
2023-08-03 02:57:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_101.owl
2023-08-03 02:59:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_102.owl
2023-08-03 03:00:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_103.owl
2023-08-03 03:02:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_104.owl
2023-08-03 03:03:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_105.owl
2023-08-03 03:05:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_106.owl
2023-08-03 03:06:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_107.owl
2023-08-03 03:07:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_108.owl
2023-08-03 03:09:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_109.owl
2023-08-03 03:10:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_110.owl
2023-08-03 03:12:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_111.owl
2023-08-03 03:13:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_112.owl
2023-08-03 03:14:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_113.owl
2023-08-03 03:15:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_114.owl
2023-08-03 03:17:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_115.owl
2023-08-03 03:18:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_116.owl
2023-08-03 03:19:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_117.owl
2023-08-03 03:20:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_118.owl
2023-08-03 03:22:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_119.owl
2023-08-03 03:23:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_120.owl
2023-08-03 03:24:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_121.owl
2023-08-03 03:26:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_122.owl
2023-08-03 03:27:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_123.owl
2023-08-03 03:28:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_124.owl
2023-08-03 03:29:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_125.owl
2023-08-03 03:31:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_126.owl
2023-08-03 03:32:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_127.owl
2023-08-03 03:34:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_128.owl
2023-08-03 03:35:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_129.owl
2023-08-03 03:36:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_130.owl
2023-08-03 03:38:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_131.owl
2023-08-03 03:39:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_132.owl
2023-08-03 03:41:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_133.owl
2023-08-03 03:42:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_134.owl
2023-08-03 03:43:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_135.owl
2023-08-03 03:45:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_136.owl
2023-08-03 03:46:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_137.owl
2023-08-03 03:48:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_138.owl
2023-08-03 03:49:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_139.owl
2023-08-03 03:51:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_140.owl
2023-08-03 03:52:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_141.owl
2023-08-03 03:54:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_142.owl
2023-08-03 03:55:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_143.owl
2023-08-03 03:57:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_144.owl
2023-08-03 03:58:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_145.owl
2023-08-03 04:00:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_146.owl
2023-08-03 04:01:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_147.owl
2023-08-03 04:02:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_148.owl
2023-08-03 04:04:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_149.owl
2023-08-03 04:05:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_150.owl
2023-08-03 04:07:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_151.owl
2023-08-03 04:08:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_152.owl
2023-08-03 04:09:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_153.owl
2023-08-03 04:11:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_154.owl
2023-08-03 04:12:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_155.owl
2023-08-03 04:14:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_156.owl
2023-08-03 04:15:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_157.owl
2023-08-03 04:16:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_158.owl
2023-08-03 04:17:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_159.owl
2023-08-03 04:19:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_160.owl
2023-08-03 04:20:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_161.owl
2023-08-03 04:21:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_162.owl
2023-08-03 04:23:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_163.owl
2023-08-03 04:24:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_164.owl
2023-08-03 04:25:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_165.owl
2023-08-03 04:27:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_166.owl
2023-08-03 04:28:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_167.owl
2023-08-03 04:29:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_168.owl
2023-08-03 04:31:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_169.owl
2023-08-03 04:32:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_170.owl
2023-08-03 04:34:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_171.owl
2023-08-03 04:35:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_172.owl
2023-08-03 04:37:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_173.owl
2023-08-03 04:38:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_174.owl
2023-08-03 04:39:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_175.owl
2023-08-03 04:41:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_176.owl
2023-08-03 04:42:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_177.owl
2023-08-03 04:44:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_178.owl
2023-08-03 04:45:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_179.owl
2023-08-03 04:47:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_180.owl
2023-08-03 04:48:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_181.owl
2023-08-03 04:49:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_182.owl
2023-08-03 04:51:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_183.owl
2023-08-03 04:52:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_184.owl
2023-08-03 04:54:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_185.owl
2023-08-03 04:55:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_186.owl
2023-08-03 04:56:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_187.owl
2023-08-03 04:58:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_188.owl
2023-08-03 04:59:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_189.owl
2023-08-03 05:00:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_190.owl
2023-08-03 05:02:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_191.owl
2023-08-03 05:03:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_192.owl
2023-08-03 05:05:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_193.owl
2023-08-03 05:06:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_194.owl
2023-08-03 05:07:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_195.owl
2023-08-03 05:09:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_196.owl
2023-08-03 05:10:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_197.owl
2023-08-03 05:11:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_198.owl
2023-08-03 05:13:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_199.owl
2023-08-03 05:14:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_200.owl
2023-08-03 05:16:43 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-03 05:16:43 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.144740
t=1: 0.160905
t=2: 0.152180
t=3: 0.152180
t=4: 0.152180
t=5: 0.152180
t=6: 0.152180
t=7: 0.152180
t=8: 0.152180
t=9: 0.152180
t=10: 0.152180
t=11: 0.152180
t=12: 0.152180
t=13: 0.152180
t=14: 0.152180
t=15: 0.152180
t=16: 0.152180
t=17: 0.152180
t=18: 0.152180
t=19: 0.152180
t=20: 0.152180
t=21: 0.152180
t=22: 0.152180
t=23: 0.152180
t=24: 0.152180
t=25: 0.152180
t=26: 0.152180
t=27: 0.152180
t=28: 0.152180
t=29: 0.152180
t=30: 0.152180
t=31: 0.152180
t=32: 0.152180
t=33: 0.152180
t=34: 0.152180
t=35: 0.152180
t=36: 0.152180
t=37: 0.152180
t=38: 0.152180
t=39: 0.152180
t=40: 0.152180
t=41: 0.152180
t=42: 0.152180
t=43: 0.152180
t=44: 0.152180
t=45: 0.152180
t=46: 0.152180
t=47: 0.152180
t=48: 0.152180
t=49: 0.152180
t=50: 0.152180
t=51: 0.152180
t=52: 0.152180
t=53: 0.152180
t=54: 0.152180
t=55: 0.152180
t=56: 0.152339
t=57: 0.152339
t=58: 0.152339
t=59: 0.152339
t=60: 0.152339
t=61: 0.152339
t=62: 0.152339
t=63: 0.152339
t=64: 0.152339
t=65: 0.152339
t=66: 0.152339
t=67: 0.152339
t=68: 0.152339
t=69: 0.152339
t=70: 0.152339
t=71: 0.152339
t=72: 0.152339
t=73: 0.152339
t=74: 0.152339
t=75: 0.152339
t=76: 0.152339
t=77: 0.152339
t=78: 0.152339
t=79: 0.152339
t=80: 0.152339
t=81: 0.152339
t=82: 0.152339
t=83: 0.152339
t=84: 0.152339
t=85: 0.152339
t=86: 0.152339
t=87: 0.152816
t=88: 0.152816
t=89: 0.152816
t=90: 0.152816
t=91: 0.152816
t=92: 0.152816
t=93: 0.152816
t=94: 0.152816
t=95: 0.152816
t=96: 0.152975
t=97: 0.152975
t=98: 0.152975
t=99: 0.152975
t=100: 0.152975
t=101: 0.153452
t=102: 0.153452
t=103: 0.153452
t=104: 0.152975
t=105: 0.152975
t=106: 0.152975
t=107: 0.152975
t=108: 0.152975
t=109: 0.152975
t=110: 0.152975
t=111: 0.152975
t=112: 0.153134
t=113: 0.153134
t=114: 0.153134
t=115: 0.153134
t=116: 0.153134
t=117: 0.153134
t=118: 0.153134
t=119: 0.153134
t=120: 0.153134
t=121: 0.153134
t=122: 0.153134
t=123: 0.153134
t=124: 0.153007
t=125: 0.153007
t=126: 0.153007
t=127: 0.153007
t=128: 0.153007
t=129: 0.153007
t=130: 0.153007
t=131: 0.153007
t=132: 0.152752
t=133: 0.152752
t=134: 0.152752
t=135: 0.152752
t=136: 0.152752
t=137: 0.153070
t=138: 0.153070
t=139: 0.153070
t=140: 0.153070
t=141: 0.153070
t=142: 0.153070
t=143: 0.153070
t=144: 0.153070
t=145: 0.153070
t=146: 0.153229
t=147: 0.153229
t=148: 0.153229
t=149: 0.153611
t=150: 0.153611
t=151: 0.153611
t=152: 0.153611
t=153: 0.153611
t=154: 0.153611
t=155: 0.153611
t=156: 0.153611
t=157: 0.153611
t=158: 0.153611
t=159: 0.153611
t=160: 0.153611
t=161: 0.153611
t=162: 0.153611
t=163: 0.153770
t=164: 0.153770
t=165: 0.153770
t=166: 0.154247
t=167: 0.154247
t=168: 0.154247
t=169: 0.154247
t=170: 0.154247
t=171: 0.154247
t=172: 0.154247
t=173: 0.154247
t=174: 0.154247
t=175: 0.154247
t=176: 0.154247
t=177: 0.154247
t=178: 0.154247
t=179: 0.154247
t=180: 0.154247
t=181: 0.154247
t=182: 0.154247
t=183: 0.154247
t=184: 0.154247
t=185: 0.154247
t=186: 0.154247
t=187: 0.154247
t=188: 0.154247
t=189: 0.154247
t=190: 0.154247
t=191: 0.154247
t=192: 0.154247
t=193: 0.154247
t=194: 0.154247
t=195: 0.154247
t=196: 0.154247
t=197: 0.154247
t=198: 0.154247
t=199: 0.154247
t=200: 0.154247
total: 0.152953
2023-08-03 05:16:43 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 16600636 ms
2023-08-03 05:16:43 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (262079 satisfiable and 1 unsatisfiable bindings out of 262080 bindings)
2023-08-03 05:16:43 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics check returned a definite answer on 100.000000 % of the entailed bindings
Query Results (1 answers): 
FunVar(x)                           | FunVar(l1)                                   | FunVar(l2)                                  
=================================================================================================================================
http://purl.org/auto/l4_de#bicycle1 | http://purl.org/auto/l1_core#driveable_lane3 | http://purl.org/auto/l1_core#driveable_lane4


Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |   17507495
loading ontologies                                        |      37925
initial consistency check                                 |        272
parsing query file                                        |         15
query execution (w/o loading & initial consistency check) |   17469108
