2023-08-02 20:46:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.304
Query file: /benchmarks/queries/04_lane_change_no_signal.tcq
Start parsing query file
2023-08-02 20:46:42 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.011
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-02 20:46:42 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-02 20:46:42 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-7993415650262909544.dot
2023-08-02 20:46:42 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 20:46:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_1.owl
2023-08-02 20:46:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_2.owl
2023-08-02 20:46:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_3.owl
2023-08-02 20:46:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_4.owl
2023-08-02 20:46:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_5.owl
2023-08-02 20:47:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_6.owl
2023-08-02 20:47:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_7.owl
2023-08-02 20:47:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_8.owl
2023-08-02 20:47:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_9.owl
2023-08-02 20:47:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_10.owl
2023-08-02 20:47:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_11.owl
2023-08-02 20:47:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_12.owl
2023-08-02 20:47:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_13.owl
2023-08-02 20:47:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_14.owl
2023-08-02 20:47:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_15.owl
2023-08-02 20:47:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_16.owl
2023-08-02 20:47:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_17.owl
2023-08-02 20:47:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_18.owl
2023-08-02 20:47:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_19.owl
2023-08-02 20:47:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_20.owl
2023-08-02 20:47:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_21.owl
2023-08-02 20:48:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_22.owl
2023-08-02 20:48:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_23.owl
2023-08-02 20:48:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_24.owl
2023-08-02 20:48:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_25.owl
2023-08-02 20:48:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_26.owl
2023-08-02 20:48:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_27.owl
2023-08-02 20:48:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_28.owl
2023-08-02 20:48:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_29.owl
2023-08-02 20:48:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_30.owl
2023-08-02 20:48:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_31.owl
2023-08-02 20:48:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_32.owl
2023-08-02 20:48:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_33.owl
2023-08-02 20:48:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_34.owl
2023-08-02 20:48:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_35.owl
2023-08-02 20:48:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_36.owl
2023-08-02 20:48:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_37.owl
2023-08-02 20:48:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_38.owl
2023-08-02 20:48:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_39.owl
2023-08-02 20:49:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_40.owl
2023-08-02 20:49:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_41.owl
2023-08-02 20:49:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_42.owl
2023-08-02 20:49:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_43.owl
2023-08-02 20:49:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_44.owl
2023-08-02 20:49:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_45.owl
2023-08-02 20:49:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_46.owl
2023-08-02 20:49:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_47.owl
2023-08-02 20:49:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_48.owl
2023-08-02 20:49:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_49.owl
2023-08-02 20:49:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_50.owl
2023-08-02 20:49:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_51.owl
2023-08-02 20:49:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_52.owl
2023-08-02 20:49:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_53.owl
2023-08-02 20:50:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_54.owl
2023-08-02 20:50:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_55.owl
2023-08-02 20:50:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_56.owl
2023-08-02 20:50:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_57.owl
2023-08-02 20:50:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_58.owl
2023-08-02 20:50:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_59.owl
2023-08-02 20:50:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_60.owl
2023-08-02 20:50:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_61.owl
2023-08-02 20:50:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_62.owl
2023-08-02 20:50:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_63.owl
2023-08-02 20:50:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_64.owl
2023-08-02 20:50:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_65.owl
2023-08-02 20:50:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_66.owl
2023-08-02 20:50:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_67.owl
2023-08-02 20:50:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_68.owl
2023-08-02 20:51:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_69.owl
2023-08-02 20:51:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_70.owl
2023-08-02 20:51:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_71.owl
2023-08-02 20:51:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_72.owl
2023-08-02 20:51:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_73.owl
2023-08-02 20:51:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_74.owl
2023-08-02 20:51:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_75.owl
2023-08-02 20:51:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_76.owl
2023-08-02 20:51:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_77.owl
2023-08-02 20:51:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_78.owl
2023-08-02 20:51:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_79.owl
2023-08-02 20:51:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_80.owl
2023-08-02 20:51:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_81.owl
2023-08-02 20:51:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_82.owl
2023-08-02 20:52:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_83.owl
2023-08-02 20:52:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_84.owl
2023-08-02 20:52:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_85.owl
2023-08-02 20:52:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_86.owl
2023-08-02 20:52:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_87.owl
2023-08-02 20:52:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_88.owl
2023-08-02 20:52:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_89.owl
2023-08-02 20:52:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_90.owl
2023-08-02 20:52:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_91.owl
2023-08-02 20:52:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_92.owl
2023-08-02 20:52:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_93.owl
2023-08-02 20:52:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_94.owl
2023-08-02 20:52:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_95.owl
2023-08-02 20:52:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_96.owl
2023-08-02 20:52:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_97.owl
2023-08-02 20:52:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_98.owl
2023-08-02 20:52:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_99.owl
2023-08-02 20:53:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_100.owl
2023-08-02 20:53:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_101.owl
2023-08-02 20:53:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_102.owl
2023-08-02 20:53:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_103.owl
2023-08-02 20:53:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_104.owl
2023-08-02 20:53:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_105.owl
2023-08-02 20:53:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_106.owl
2023-08-02 20:53:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_107.owl
2023-08-02 20:53:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_108.owl
2023-08-02 20:53:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_109.owl
2023-08-02 20:53:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_110.owl
2023-08-02 20:53:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_111.owl
2023-08-02 20:53:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_112.owl
2023-08-02 20:53:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_113.owl
2023-08-02 20:54:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_114.owl
2023-08-02 20:54:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_115.owl
2023-08-02 20:54:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_116.owl
2023-08-02 20:54:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_117.owl
2023-08-02 20:54:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_118.owl
2023-08-02 20:54:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_119.owl
2023-08-02 20:54:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_120.owl
2023-08-02 20:54:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_121.owl
2023-08-02 20:54:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_122.owl
2023-08-02 20:54:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_123.owl
2023-08-02 20:54:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_124.owl
2023-08-02 20:54:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_125.owl
2023-08-02 20:54:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_126.owl
2023-08-02 20:54:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_127.owl
2023-08-02 20:54:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_128.owl
2023-08-02 20:54:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_129.owl
2023-08-02 20:54:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_130.owl
2023-08-02 20:54:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_131.owl
2023-08-02 20:55:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_132.owl
2023-08-02 20:55:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_133.owl
2023-08-02 20:55:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_134.owl
2023-08-02 20:55:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_135.owl
2023-08-02 20:55:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_136.owl
2023-08-02 20:55:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_137.owl
2023-08-02 20:55:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_138.owl
2023-08-02 20:55:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_139.owl
2023-08-02 20:55:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_140.owl
2023-08-02 20:55:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_141.owl
2023-08-02 20:55:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_142.owl
2023-08-02 20:55:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_143.owl
2023-08-02 20:55:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_144.owl
2023-08-02 20:55:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_145.owl
2023-08-02 20:55:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_146.owl
2023-08-02 20:55:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_147.owl
2023-08-02 20:55:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_148.owl
2023-08-02 20:56:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_149.owl
2023-08-02 20:56:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_150.owl
2023-08-02 20:56:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_151.owl
2023-08-02 20:56:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_152.owl
2023-08-02 20:56:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_153.owl
2023-08-02 20:56:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_154.owl
2023-08-02 20:56:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_155.owl
2023-08-02 20:56:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_156.owl
2023-08-02 20:56:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_157.owl
2023-08-02 20:56:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_158.owl
2023-08-02 20:56:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_159.owl
2023-08-02 20:56:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_160.owl
2023-08-02 20:56:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_161.owl
2023-08-02 20:56:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_162.owl
2023-08-02 20:56:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_163.owl
2023-08-02 20:56:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_164.owl
2023-08-02 20:57:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_165.owl
2023-08-02 20:57:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_166.owl
2023-08-02 20:57:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_167.owl
2023-08-02 20:57:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_168.owl
2023-08-02 20:57:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_169.owl
2023-08-02 20:57:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_170.owl
2023-08-02 20:57:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_171.owl
2023-08-02 20:57:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_172.owl
2023-08-02 20:57:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_173.owl
2023-08-02 20:57:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_174.owl
2023-08-02 20:57:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_175.owl
2023-08-02 20:57:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_176.owl
2023-08-02 20:57:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_177.owl
2023-08-02 20:57:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_178.owl
2023-08-02 20:57:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_179.owl
2023-08-02 20:57:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_180.owl
2023-08-02 20:57:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_181.owl
2023-08-02 20:58:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_182.owl
2023-08-02 20:58:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_183.owl
2023-08-02 20:58:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_184.owl
2023-08-02 20:58:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_185.owl
2023-08-02 20:58:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_186.owl
2023-08-02 20:58:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_187.owl
2023-08-02 20:58:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_188.owl
2023-08-02 20:58:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_189.owl
2023-08-02 20:58:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_190.owl
2023-08-02 20:58:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_191.owl
2023-08-02 20:58:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_192.owl
2023-08-02 20:58:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_193.owl
2023-08-02 20:58:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_194.owl
2023-08-02 20:58:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_195.owl
2023-08-02 20:58:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_196.owl
2023-08-02 20:58:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_197.owl
2023-08-02 20:58:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_198.owl
2023-08-02 20:58:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_199.owl
2023-08-02 20:58:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_200.owl
2023-08-02 20:59:02 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 20:59:02 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 721738 ms
2023-08-02 20:59:02 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.754427 % (194574 satisfiable and 1 unsatisfiable bindings out of 195054 bindings)
2023-08-02 20:59:02 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-02 20:59:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_0.owl
2023-08-02 20:59:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_1.owl
2023-08-02 20:59:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_2.owl
2023-08-02 21:00:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_3.owl
2023-08-02 21:01:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_4.owl
2023-08-02 21:02:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_5.owl
2023-08-02 21:03:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_6.owl
2023-08-02 21:04:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_7.owl
2023-08-02 21:05:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_8.owl
2023-08-02 21:06:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_9.owl
2023-08-02 21:07:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_10.owl
2023-08-02 21:08:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_11.owl
2023-08-02 21:10:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_12.owl
2023-08-02 21:11:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_13.owl
2023-08-02 21:12:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_14.owl
2023-08-02 21:13:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_15.owl
2023-08-02 21:14:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_16.owl
2023-08-02 21:15:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_17.owl
2023-08-02 21:16:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_18.owl
2023-08-02 21:17:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_19.owl
2023-08-02 21:18:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_20.owl
2023-08-02 21:19:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_21.owl
2023-08-02 21:20:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_22.owl
2023-08-02 21:21:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_23.owl
2023-08-02 21:22:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_24.owl
2023-08-02 21:23:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_25.owl
2023-08-02 21:24:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_26.owl
2023-08-02 21:25:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_27.owl
2023-08-02 21:26:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_28.owl
2023-08-02 21:27:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_29.owl
2023-08-02 21:28:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_30.owl
2023-08-02 21:29:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_31.owl
2023-08-02 21:30:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_32.owl
2023-08-02 21:31:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_33.owl
2023-08-02 21:32:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_34.owl
2023-08-02 21:33:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_35.owl
2023-08-02 21:34:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_36.owl
2023-08-02 21:35:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_37.owl
2023-08-02 21:36:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_38.owl
2023-08-02 21:37:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_39.owl
2023-08-02 21:38:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_40.owl
2023-08-02 21:39:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_41.owl
2023-08-02 21:40:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_42.owl
2023-08-02 21:41:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_43.owl
2023-08-02 21:42:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_44.owl
2023-08-02 21:43:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_45.owl
2023-08-02 21:44:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_46.owl
2023-08-02 21:45:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_47.owl
2023-08-02 21:46:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_48.owl
2023-08-02 21:47:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_49.owl
2023-08-02 21:48:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_50.owl
2023-08-02 21:49:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_51.owl
2023-08-02 21:50:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_52.owl
2023-08-02 21:51:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_53.owl
2023-08-02 21:53:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_54.owl
2023-08-02 21:54:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_55.owl
2023-08-02 21:55:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_56.owl
2023-08-02 21:56:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_57.owl
2023-08-02 21:57:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_58.owl
2023-08-02 21:58:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_59.owl
2023-08-02 21:59:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_60.owl
2023-08-02 22:00:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_61.owl
2023-08-02 22:01:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_62.owl
2023-08-02 22:02:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_63.owl
2023-08-02 22:03:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_64.owl
2023-08-02 22:04:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_65.owl
2023-08-02 22:05:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_66.owl
2023-08-02 22:06:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_67.owl
2023-08-02 22:07:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_68.owl
2023-08-02 22:08:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_69.owl
2023-08-02 22:09:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_70.owl
2023-08-02 22:10:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_71.owl
2023-08-02 22:11:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_72.owl
2023-08-02 22:12:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_73.owl
2023-08-02 22:13:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_74.owl
2023-08-02 22:14:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_75.owl
2023-08-02 22:15:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_76.owl
2023-08-02 22:16:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_77.owl
2023-08-02 22:17:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_78.owl
2023-08-02 22:18:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_79.owl
2023-08-02 22:19:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_80.owl
2023-08-02 22:21:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_81.owl
2023-08-02 22:22:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_82.owl
2023-08-02 22:23:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_83.owl
2023-08-02 22:24:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_84.owl
2023-08-02 22:25:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_85.owl
2023-08-02 22:26:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_86.owl
2023-08-02 22:26:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_87.owl
2023-08-02 22:28:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_88.owl
2023-08-02 22:29:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_89.owl
2023-08-02 22:30:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_90.owl
2023-08-02 22:30:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_91.owl
2023-08-02 22:31:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_92.owl
2023-08-02 22:33:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_93.owl
2023-08-02 22:34:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_94.owl
2023-08-02 22:35:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_95.owl
2023-08-02 22:36:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_96.owl
2023-08-02 22:37:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_97.owl
2023-08-02 22:38:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_98.owl
2023-08-02 22:39:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_99.owl
2023-08-02 22:40:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_100.owl
2023-08-02 22:41:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_101.owl
2023-08-02 22:42:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_102.owl
2023-08-02 22:43:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_103.owl
2023-08-02 22:44:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_104.owl
2023-08-02 22:45:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_105.owl
2023-08-02 22:46:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_106.owl
2023-08-02 22:47:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_107.owl
2023-08-02 22:48:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_108.owl
2023-08-02 22:49:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_109.owl
2023-08-02 22:50:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_110.owl
2023-08-02 22:51:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_111.owl
2023-08-02 22:52:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_112.owl
2023-08-02 22:53:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_113.owl
2023-08-02 22:54:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_114.owl
2023-08-02 22:55:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_115.owl
2023-08-02 22:56:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_116.owl
2023-08-02 22:57:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_117.owl
2023-08-02 22:58:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_118.owl
2023-08-02 22:59:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_119.owl
2023-08-02 23:00:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_120.owl
2023-08-02 23:01:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_121.owl
2023-08-02 23:03:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_122.owl
2023-08-02 23:04:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_123.owl
2023-08-02 23:05:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_124.owl
2023-08-02 23:06:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_125.owl
2023-08-02 23:07:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_126.owl
2023-08-02 23:08:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_127.owl
2023-08-02 23:09:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_128.owl
2023-08-02 23:10:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_129.owl
2023-08-02 23:11:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_130.owl
2023-08-02 23:12:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_131.owl
2023-08-02 23:13:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_132.owl
2023-08-02 23:14:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_133.owl
2023-08-02 23:15:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_134.owl
2023-08-02 23:16:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_135.owl
2023-08-02 23:17:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_136.owl
2023-08-02 23:18:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_137.owl
2023-08-02 23:19:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_138.owl
2023-08-02 23:20:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_139.owl
2023-08-02 23:21:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_140.owl
2023-08-02 23:22:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_141.owl
2023-08-02 23:23:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_142.owl
2023-08-02 23:24:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_143.owl
2023-08-02 23:25:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_144.owl
2023-08-02 23:26:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_145.owl
2023-08-02 23:27:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_146.owl
2023-08-02 23:28:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_147.owl
2023-08-02 23:29:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_148.owl
2023-08-02 23:30:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_149.owl
2023-08-02 23:31:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_150.owl
2023-08-02 23:32:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_151.owl
2023-08-02 23:33:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_152.owl
2023-08-02 23:34:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_153.owl
2023-08-02 23:35:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_154.owl
2023-08-02 23:36:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_155.owl
2023-08-02 23:37:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_156.owl
2023-08-02 23:38:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_157.owl
2023-08-02 23:39:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_158.owl
2023-08-02 23:40:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_159.owl
2023-08-02 23:41:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_160.owl
2023-08-02 23:43:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_161.owl
2023-08-02 23:43:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_162.owl
2023-08-02 23:44:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_163.owl
2023-08-02 23:45:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_164.owl
2023-08-02 23:47:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_165.owl
2023-08-02 23:48:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_166.owl
2023-08-02 23:49:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_167.owl
2023-08-02 23:50:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_168.owl
2023-08-02 23:51:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_169.owl
2023-08-02 23:52:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_170.owl
2023-08-02 23:53:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_171.owl
2023-08-02 23:54:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_172.owl
2023-08-02 23:55:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_173.owl
2023-08-02 23:56:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_174.owl
2023-08-02 23:57:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_175.owl
2023-08-02 23:58:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_176.owl
2023-08-02 23:59:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_177.owl
2023-08-03 00:00:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_178.owl
2023-08-03 00:01:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_179.owl
2023-08-03 00:02:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_180.owl
2023-08-03 00:03:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_181.owl
2023-08-03 00:04:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_182.owl
2023-08-03 00:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_183.owl
2023-08-03 00:06:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_184.owl
2023-08-03 00:07:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_185.owl
2023-08-03 00:08:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_186.owl
2023-08-03 00:09:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_187.owl
2023-08-03 00:10:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_188.owl
2023-08-03 00:11:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_189.owl
2023-08-03 00:12:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_190.owl
2023-08-03 00:13:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_191.owl
2023-08-03 00:14:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_192.owl
2023-08-03 00:15:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_193.owl
2023-08-03 00:16:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_194.owl
2023-08-03 00:17:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_195.owl
2023-08-03 00:18:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_196.owl
2023-08-03 00:20:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_197.owl
2023-08-03 00:21:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_198.owl
2023-08-03 00:22:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_199.owl
2023-08-03 00:23:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_200.owl
2023-08-03 00:24:53 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-03 00:24:53 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.163715
t=1: 0.182103
t=2: 0.172217
t=3: 0.172217
t=4: 0.172217
t=5: 0.172217
t=6: 0.172217
t=7: 0.172217
t=8: 0.172217
t=9: 0.172217
t=10: 0.172217
t=11: 0.172217
t=12: 0.172217
t=13: 0.172217
t=14: 0.172217
t=15: 0.172217
t=16: 0.172217
t=17: 0.172217
t=18: 0.172217
t=19: 0.172217
t=20: 0.172217
t=21: 0.172217
t=22: 0.172217
t=23: 0.172217
t=24: 0.172217
t=25: 0.172217
t=26: 0.172217
t=27: 0.172217
t=28: 0.172217
t=29: 0.172217
t=30: 0.172217
t=31: 0.172217
t=32: 0.172217
t=33: 0.172217
t=34: 0.172217
t=35: 0.172217
t=36: 0.172217
t=37: 0.172217
t=38: 0.172217
t=39: 0.172217
t=40: 0.172217
t=41: 0.172217
t=42: 0.172217
t=43: 0.172217
t=44: 0.172217
t=45: 0.172217
t=46: 0.172217
t=47: 0.172217
t=48: 0.172217
t=49: 0.172217
t=50: 0.172217
t=51: 0.172217
t=52: 0.172217
t=53: 0.172217
t=54: 0.172217
t=55: 0.172217
t=56: 0.172217
t=57: 0.172217
t=58: 0.172217
t=59: 0.172217
t=60: 0.172217
t=61: 0.172217
t=62: 0.172217
t=63: 0.172217
t=64: 0.172217
t=65: 0.172217
t=66: 0.172217
t=67: 0.172217
t=68: 0.172217
t=69: 0.172431
t=70: 0.172431
t=71: 0.172644
t=72: 0.172644
t=73: 0.172644
t=74: 0.172644
t=75: 0.172644
t=76: 0.172644
t=77: 0.172644
t=78: 0.172644
t=79: 0.172644
t=80: 0.172644
t=81: 0.172644
t=82: 0.172644
t=83: 0.172004
t=84: 0.172004
t=85: 0.172004
t=86: 0.172004
t=87: 0.172004
t=88: 0.172004
t=89: 0.172004
t=90: 0.172004
t=91: 0.172004
t=92: 0.172004
t=93: 0.172004
t=94: 0.172004
t=95: 0.172004
t=96: 0.172004
t=97: 0.171833
t=98: 0.171833
t=99: 0.171833
t=100: 0.171833
t=101: 0.171833
t=102: 0.171833
t=103: 0.172474
t=104: 0.172474
t=105: 0.172474
t=106: 0.172474
t=107: 0.172132
t=108: 0.172132
t=109: 0.172132
t=110: 0.172132
t=111: 0.172559
t=112: 0.172559
t=113: 0.172559
t=114: 0.172559
t=115: 0.172559
t=116: 0.172559
t=117: 0.172559
t=118: 0.172559
t=119: 0.172559
t=120: 0.172773
t=121: 0.172773
t=122: 0.172773
t=123: 0.173285
t=124: 0.173285
t=125: 0.173285
t=126: 0.173285
t=127: 0.173285
t=128: 0.173285
t=129: 0.173285
t=130: 0.173285
t=131: 0.173285
t=132: 0.173285
t=133: 0.173285
t=134: 0.173285
t=135: 0.173285
t=136: 0.173285
t=137: 0.173285
t=138: 0.173285
t=139: 0.173285
t=140: 0.173285
t=141: 0.173285
t=142: 0.173285
t=143: 0.173285
t=144: 0.173285
t=145: 0.173285
t=146: 0.173285
t=147: 0.173285
t=148: 0.173285
t=149: 0.173285
t=150: 0.173285
t=151: 0.173285
t=152: 0.173285
t=153: 0.173285
t=154: 0.173285
t=155: 0.173285
t=156: 0.173285
t=157: 0.173285
t=158: 0.173285
t=159: 0.173285
t=160: 0.173285
t=161: 0.173285
t=162: 0.173285
t=163: 0.173285
t=164: 0.173285
t=165: 0.173499
t=166: 0.173499
t=167: 0.173499
t=168: 0.174140
t=169: 0.174140
t=170: 0.174140
t=171: 0.174353
t=172: 0.174353
t=173: 0.174353
t=174: 0.174353
t=175: 0.174353
t=176: 0.174353
t=177: 0.174353
t=178: 0.174353
t=179: 0.174994
t=180: 0.174994
t=181: 0.174994
t=182: 0.174994
t=183: 0.174994
t=184: 0.174994
t=185: 0.174353
t=186: 0.174353
t=187: 0.174353
t=188: 0.174353
t=189: 0.174353
t=190: 0.174353
t=191: 0.174353
t=192: 0.174140
t=193: 0.174140
t=194: 0.174140
t=195: 0.174140
t=196: 0.174140
t=197: 0.174140
t=198: 0.174140
t=199: 0.174140
t=200: 0.174140
total: 0.172852
2023-08-03 00:24:53 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 12333920 ms
2023-08-03 00:24:53 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (195053 satisfiable and 1 unsatisfiable bindings out of 195054 bindings)
2023-08-03 00:24:53 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                                                      |   13092434
loading ontologies                                        |      36287
initial consistency check                                 |        304
parsing query file                                        |         11
query execution (w/o loading & initial consistency check) |   13055676
