2023-08-02 18:40:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.261
Query file: /benchmarks/queries/04_lane_change_no_signal.tcq
Start parsing query file
2023-08-02 18:40:38 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.013
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 18:40:38 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 18:40:38 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-10481107701542865215.dot
2023-08-02 18:40:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 18:40:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_1.owl
2023-08-02 18:40:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_2.owl
2023-08-02 18:40:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_3.owl
2023-08-02 18:40:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_4.owl
2023-08-02 18:40:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_5.owl
2023-08-02 18:40:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_6.owl
2023-08-02 18:40:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_7.owl
2023-08-02 18:41:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_8.owl
2023-08-02 18:41:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_9.owl
2023-08-02 18:41:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_10.owl
2023-08-02 18:41:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_11.owl
2023-08-02 18:41:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_12.owl
2023-08-02 18:41:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_13.owl
2023-08-02 18:41:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_14.owl
2023-08-02 18:41:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_15.owl
2023-08-02 18:41:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_16.owl
2023-08-02 18:41:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_17.owl
2023-08-02 18:41:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_18.owl
2023-08-02 18:41:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_19.owl
2023-08-02 18:41:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_20.owl
2023-08-02 18:41:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_21.owl
2023-08-02 18:41:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_22.owl
2023-08-02 18:41:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_23.owl
2023-08-02 18:41:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_24.owl
2023-08-02 18:41:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_25.owl
2023-08-02 18:41:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_26.owl
2023-08-02 18:41:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_27.owl
2023-08-02 18:41:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_28.owl
2023-08-02 18:41:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_29.owl
2023-08-02 18:41:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_30.owl
2023-08-02 18:41:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_31.owl
2023-08-02 18:41:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_32.owl
2023-08-02 18:41:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_33.owl
2023-08-02 18:42:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_34.owl
2023-08-02 18:42:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_35.owl
2023-08-02 18:42:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_36.owl
2023-08-02 18:42:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_37.owl
2023-08-02 18:42:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_38.owl
2023-08-02 18:42:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_39.owl
2023-08-02 18:42:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_40.owl
2023-08-02 18:42:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_41.owl
2023-08-02 18:42:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_42.owl
2023-08-02 18:42:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_43.owl
2023-08-02 18:42:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_44.owl
2023-08-02 18:42:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_45.owl
2023-08-02 18:42:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_46.owl
2023-08-02 18:42:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_47.owl
2023-08-02 18:42:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_48.owl
2023-08-02 18:42:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_49.owl
2023-08-02 18:42:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_50.owl
2023-08-02 18:42:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_51.owl
2023-08-02 18:42:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_52.owl
2023-08-02 18:42:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_53.owl
2023-08-02 18:42:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_54.owl
2023-08-02 18:43:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_55.owl
2023-08-02 18:43:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_56.owl
2023-08-02 18:43:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_57.owl
2023-08-02 18:43:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_58.owl
2023-08-02 18:43:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_59.owl
2023-08-02 18:43:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_60.owl
2023-08-02 18:43:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_61.owl
2023-08-02 18:43:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_62.owl
2023-08-02 18:43:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_63.owl
2023-08-02 18:43:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_64.owl
2023-08-02 18:43:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_65.owl
2023-08-02 18:43:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_66.owl
2023-08-02 18:43:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_67.owl
2023-08-02 18:43:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_68.owl
2023-08-02 18:43:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_69.owl
2023-08-02 18:43:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_70.owl
2023-08-02 18:43:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_71.owl
2023-08-02 18:43:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_72.owl
2023-08-02 18:43:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_73.owl
2023-08-02 18:43:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_74.owl
2023-08-02 18:43:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_75.owl
2023-08-02 18:43:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_76.owl
2023-08-02 18:44:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_77.owl
2023-08-02 18:44:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_78.owl
2023-08-02 18:44:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_79.owl
2023-08-02 18:44:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_80.owl
2023-08-02 18:44:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_81.owl
2023-08-02 18:44:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_82.owl
2023-08-02 18:44:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_83.owl
2023-08-02 18:44:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_84.owl
2023-08-02 18:44:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_85.owl
2023-08-02 18:44:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_86.owl
2023-08-02 18:44:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_87.owl
2023-08-02 18:44:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_88.owl
2023-08-02 18:44:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_89.owl
2023-08-02 18:44:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_90.owl
2023-08-02 18:44:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_91.owl
2023-08-02 18:44:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_92.owl
2023-08-02 18:44:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_93.owl
2023-08-02 18:44:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_94.owl
2023-08-02 18:44:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_95.owl
2023-08-02 18:44:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_96.owl
2023-08-02 18:44:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_97.owl
2023-08-02 18:45:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_98.owl
2023-08-02 18:45:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_99.owl
2023-08-02 18:45:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_100.owl
2023-08-02 18:45:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_101.owl
2023-08-02 18:45:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_102.owl
2023-08-02 18:45:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_103.owl
2023-08-02 18:45:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_104.owl
2023-08-02 18:45:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_105.owl
2023-08-02 18:45:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_106.owl
2023-08-02 18:45:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_107.owl
2023-08-02 18:45:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_108.owl
2023-08-02 18:45:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_109.owl
2023-08-02 18:45:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_110.owl
2023-08-02 18:45:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_111.owl
2023-08-02 18:45:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_112.owl
2023-08-02 18:45:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_113.owl
2023-08-02 18:45:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_114.owl
2023-08-02 18:45:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_115.owl
2023-08-02 18:45:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_116.owl
2023-08-02 18:45:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_117.owl
2023-08-02 18:46:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_118.owl
2023-08-02 18:46:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_119.owl
2023-08-02 18:46:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_120.owl
2023-08-02 18:46:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_121.owl
2023-08-02 18:46:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_122.owl
2023-08-02 18:46:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_123.owl
2023-08-02 18:46:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_124.owl
2023-08-02 18:46:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_125.owl
2023-08-02 18:46:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_126.owl
2023-08-02 18:46:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_127.owl
2023-08-02 18:46:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_128.owl
2023-08-02 18:46:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_129.owl
2023-08-02 18:46:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_130.owl
2023-08-02 18:46:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_131.owl
2023-08-02 18:46:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_132.owl
2023-08-02 18:46:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_133.owl
2023-08-02 18:46:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_134.owl
2023-08-02 18:46:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_135.owl
2023-08-02 18:46:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_136.owl
2023-08-02 18:46:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_137.owl
2023-08-02 18:46:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_138.owl
2023-08-02 18:46:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_139.owl
2023-08-02 18:46:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_140.owl
2023-08-02 18:47:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_141.owl
2023-08-02 18:47:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_142.owl
2023-08-02 18:47:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_143.owl
2023-08-02 18:47:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_144.owl
2023-08-02 18:47:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_145.owl
2023-08-02 18:47:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_146.owl
2023-08-02 18:47:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_147.owl
2023-08-02 18:47:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_148.owl
2023-08-02 18:47:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_149.owl
2023-08-02 18:47:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_150.owl
2023-08-02 18:47:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_151.owl
2023-08-02 18:47:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_152.owl
2023-08-02 18:47:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_153.owl
2023-08-02 18:47:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_154.owl
2023-08-02 18:47:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_155.owl
2023-08-02 18:47:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_156.owl
2023-08-02 18:47:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_157.owl
2023-08-02 18:47:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_158.owl
2023-08-02 18:47:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_159.owl
2023-08-02 18:47:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_160.owl
2023-08-02 18:47:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_161.owl
2023-08-02 18:47:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_162.owl
2023-08-02 18:47:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_163.owl
2023-08-02 18:48:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_164.owl
2023-08-02 18:48:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_165.owl
2023-08-02 18:48:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_166.owl
2023-08-02 18:48:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_167.owl
2023-08-02 18:48:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_168.owl
2023-08-02 18:48:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_169.owl
2023-08-02 18:48:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_170.owl
2023-08-02 18:48:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_171.owl
2023-08-02 18:48:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_172.owl
2023-08-02 18:48:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_173.owl
2023-08-02 18:48:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_174.owl
2023-08-02 18:48:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_175.owl
2023-08-02 18:48:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_176.owl
2023-08-02 18:48:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_177.owl
2023-08-02 18:48:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_178.owl
2023-08-02 18:48:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_179.owl
2023-08-02 18:48:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_180.owl
2023-08-02 18:48:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_181.owl
2023-08-02 18:48:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_182.owl
2023-08-02 18:48:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_183.owl
2023-08-02 18:48:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_184.owl
2023-08-02 18:48:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_185.owl
2023-08-02 18:48:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_186.owl
2023-08-02 18:48:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_187.owl
2023-08-02 18:48:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_188.owl
2023-08-02 18:49:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_189.owl
2023-08-02 18:49:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_190.owl
2023-08-02 18:49:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_191.owl
2023-08-02 18:49:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_192.owl
2023-08-02 18:49:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_193.owl
2023-08-02 18:49:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_194.owl
2023-08-02 18:49:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_195.owl
2023-08-02 18:49:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_196.owl
2023-08-02 18:49:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_197.owl
2023-08-02 18:49:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_198.owl
2023-08-02 18:49:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_199.owl
2023-08-02 18:49:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_200.owl
2023-08-02 18:49:30 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 18:49:30 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 514202 ms
2023-08-02 18:49:30 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.712685 % (124590 satisfiable and 1 unsatisfiable bindings out of 124950 bindings)
2023-08-02 18:49:30 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-02 18:49:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_0.owl
2023-08-02 18:49:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_1.owl
2023-08-02 18:49:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_2.owl
2023-08-02 18:50:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_3.owl
2023-08-02 18:50:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_4.owl
2023-08-02 18:51:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_5.owl
2023-08-02 18:52:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_6.owl
2023-08-02 18:52:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_7.owl
2023-08-02 18:53:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_8.owl
2023-08-02 18:54:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_9.owl
2023-08-02 18:54:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_10.owl
2023-08-02 18:55:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_11.owl
2023-08-02 18:55:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_12.owl
2023-08-02 18:56:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_13.owl
2023-08-02 18:57:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_14.owl
2023-08-02 18:57:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_15.owl
2023-08-02 18:58:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_16.owl
2023-08-02 18:59:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_17.owl
2023-08-02 18:59:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_18.owl
2023-08-02 19:00:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_19.owl
2023-08-02 19:00:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_20.owl
2023-08-02 19:01:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_21.owl
2023-08-02 19:02:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_22.owl
2023-08-02 19:02:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_23.owl
2023-08-02 19:03:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_24.owl
2023-08-02 19:03:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_25.owl
2023-08-02 19:04:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_26.owl
2023-08-02 19:04:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_27.owl
2023-08-02 19:05:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_28.owl
2023-08-02 19:06:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_29.owl
2023-08-02 19:06:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_30.owl
2023-08-02 19:07:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_31.owl
2023-08-02 19:07:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_32.owl
2023-08-02 19:08:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_33.owl
2023-08-02 19:09:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_34.owl
2023-08-02 19:09:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_35.owl
2023-08-02 19:10:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_36.owl
2023-08-02 19:11:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_37.owl
2023-08-02 19:11:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_38.owl
2023-08-02 19:12:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_39.owl
2023-08-02 19:12:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_40.owl
2023-08-02 19:13:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_41.owl
2023-08-02 19:13:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_42.owl
2023-08-02 19:14:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_43.owl
2023-08-02 19:15:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_44.owl
2023-08-02 19:15:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_45.owl
2023-08-02 19:16:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_46.owl
2023-08-02 19:16:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_47.owl
2023-08-02 19:17:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_48.owl
2023-08-02 19:17:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_49.owl
2023-08-02 19:18:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_50.owl
2023-08-02 19:18:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_51.owl
2023-08-02 19:19:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_52.owl
2023-08-02 19:20:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_53.owl
2023-08-02 19:20:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_54.owl
2023-08-02 19:21:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_55.owl
2023-08-02 19:21:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_56.owl
2023-08-02 19:22:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_57.owl
2023-08-02 19:23:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_58.owl
2023-08-02 19:23:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_59.owl
2023-08-02 19:24:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_60.owl
2023-08-02 19:25:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_61.owl
2023-08-02 19:25:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_62.owl
2023-08-02 19:26:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_63.owl
2023-08-02 19:26:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_64.owl
2023-08-02 19:27:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_65.owl
2023-08-02 19:28:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_66.owl
2023-08-02 19:28:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_67.owl
2023-08-02 19:29:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_68.owl
2023-08-02 19:30:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_69.owl
2023-08-02 19:30:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_70.owl
2023-08-02 19:31:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_71.owl
2023-08-02 19:31:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_72.owl
2023-08-02 19:32:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_73.owl
2023-08-02 19:33:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_74.owl
2023-08-02 19:33:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_75.owl
2023-08-02 19:34:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_76.owl
2023-08-02 19:34:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_77.owl
2023-08-02 19:35:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_78.owl
2023-08-02 19:36:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_79.owl
2023-08-02 19:36:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_80.owl
2023-08-02 19:37:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_81.owl
2023-08-02 19:37:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_82.owl
2023-08-02 19:38:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_83.owl
2023-08-02 19:39:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_84.owl
2023-08-02 19:39:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_85.owl
2023-08-02 19:40:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_86.owl
2023-08-02 19:40:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_87.owl
2023-08-02 19:41:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_88.owl
2023-08-02 19:41:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_89.owl
2023-08-02 19:42:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_90.owl
2023-08-02 19:42:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_91.owl
2023-08-02 19:43:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_92.owl
2023-08-02 19:43:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_93.owl
2023-08-02 19:44:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_94.owl
2023-08-02 19:45:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_95.owl
2023-08-02 19:45:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_96.owl
2023-08-02 19:46:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_97.owl
2023-08-02 19:46:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_98.owl
2023-08-02 19:47:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_99.owl
2023-08-02 19:48:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_100.owl
2023-08-02 19:48:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_101.owl
2023-08-02 19:49:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_102.owl
2023-08-02 19:49:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_103.owl
2023-08-02 19:50:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_104.owl
2023-08-02 19:51:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_105.owl
2023-08-02 19:51:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_106.owl
2023-08-02 19:52:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_107.owl
2023-08-02 19:53:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_108.owl
2023-08-02 19:53:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_109.owl
2023-08-02 19:54:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_110.owl
2023-08-02 19:54:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_111.owl
2023-08-02 19:55:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_112.owl
2023-08-02 19:55:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_113.owl
2023-08-02 19:56:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_114.owl
2023-08-02 19:57:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_115.owl
2023-08-02 19:57:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_116.owl
2023-08-02 19:58:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_117.owl
2023-08-02 19:58:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_118.owl
2023-08-02 19:59:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_119.owl
2023-08-02 20:00:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_120.owl
2023-08-02 20:00:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_121.owl
2023-08-02 20:01:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_122.owl
2023-08-02 20:01:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_123.owl
2023-08-02 20:02:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_124.owl
2023-08-02 20:02:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_125.owl
2023-08-02 20:03:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_126.owl
2023-08-02 20:04:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_127.owl
2023-08-02 20:04:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_128.owl
2023-08-02 20:05:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_129.owl
2023-08-02 20:05:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_130.owl
2023-08-02 20:06:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_131.owl
2023-08-02 20:06:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_132.owl
2023-08-02 20:07:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_133.owl
2023-08-02 20:07:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_134.owl
2023-08-02 20:08:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_135.owl
2023-08-02 20:09:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_136.owl
2023-08-02 20:09:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_137.owl
2023-08-02 20:10:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_138.owl
2023-08-02 20:10:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_139.owl
2023-08-02 20:11:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_140.owl
2023-08-02 20:11:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_141.owl
2023-08-02 20:12:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_142.owl
2023-08-02 20:13:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_143.owl
2023-08-02 20:13:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_144.owl
2023-08-02 20:14:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_145.owl
2023-08-02 20:14:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_146.owl
2023-08-02 20:15:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_147.owl
2023-08-02 20:15:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_148.owl
2023-08-02 20:16:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_149.owl
2023-08-02 20:17:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_150.owl
2023-08-02 20:17:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_151.owl
2023-08-02 20:18:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_152.owl
2023-08-02 20:19:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_153.owl
2023-08-02 20:19:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_154.owl
2023-08-02 20:20:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_155.owl
2023-08-02 20:20:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_156.owl
2023-08-02 20:21:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_157.owl
2023-08-02 20:21:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_158.owl
2023-08-02 20:22:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_159.owl
2023-08-02 20:22:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_160.owl
2023-08-02 20:23:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_161.owl
2023-08-02 20:23:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_162.owl
2023-08-02 20:24:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_163.owl
2023-08-02 20:25:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_164.owl
2023-08-02 20:25:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_165.owl
2023-08-02 20:26:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_166.owl
2023-08-02 20:26:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_167.owl
2023-08-02 20:27:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_168.owl
2023-08-02 20:27:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_169.owl
2023-08-02 20:28:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_170.owl
2023-08-02 20:28:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_171.owl
2023-08-02 20:29:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_172.owl
2023-08-02 20:30:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_173.owl
2023-08-02 20:30:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_174.owl
2023-08-02 20:31:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_175.owl
2023-08-02 20:31:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_176.owl
2023-08-02 20:32:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_177.owl
2023-08-02 20:32:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_178.owl
2023-08-02 20:33:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_179.owl
2023-08-02 20:34:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_180.owl
2023-08-02 20:34:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_181.owl
2023-08-02 20:35:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_182.owl
2023-08-02 20:35:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_183.owl
2023-08-02 20:36:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_184.owl
2023-08-02 20:36:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_185.owl
2023-08-02 20:37:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_186.owl
2023-08-02 20:38:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_187.owl
2023-08-02 20:38:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_188.owl
2023-08-02 20:39:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_189.owl
2023-08-02 20:39:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_190.owl
2023-08-02 20:40:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_191.owl
2023-08-02 20:41:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_192.owl
2023-08-02 20:41:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_193.owl
2023-08-02 20:42:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_194.owl
2023-08-02 20:42:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_195.owl
2023-08-02 20:43:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_196.owl
2023-08-02 20:43:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_197.owl
2023-08-02 20:44:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_198.owl
2023-08-02 20:45:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_199.owl
2023-08-02 20:45:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_200.owl
2023-08-02 20:46:40 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 20:46:40 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.191543
t=1: 0.213445
t=2: 0.201814
t=3: 0.201814
t=4: 0.201814
t=5: 0.201814
t=6: 0.201814
t=7: 0.201814
t=8: 0.201814
t=9: 0.201814
t=10: 0.201814
t=11: 0.201814
t=12: 0.201814
t=13: 0.201814
t=14: 0.201814
t=15: 0.201814
t=16: 0.201814
t=17: 0.201814
t=18: 0.201814
t=19: 0.201814
t=20: 0.201814
t=21: 0.201814
t=22: 0.201814
t=23: 0.201814
t=24: 0.201814
t=25: 0.201814
t=26: 0.201814
t=27: 0.201814
t=28: 0.201814
t=29: 0.201814
t=30: 0.201814
t=31: 0.201814
t=32: 0.201814
t=33: 0.201814
t=34: 0.201814
t=35: 0.201814
t=36: 0.201814
t=37: 0.201814
t=38: 0.201814
t=39: 0.201814
t=40: 0.201814
t=41: 0.201814
t=42: 0.201814
t=43: 0.201814
t=44: 0.201814
t=45: 0.201814
t=46: 0.201814
t=47: 0.201814
t=48: 0.201814
t=49: 0.201814
t=50: 0.201814
t=51: 0.201814
t=52: 0.201814
t=53: 0.201814
t=54: 0.201814
t=55: 0.202148
t=56: 0.202148
t=57: 0.202148
t=58: 0.202148
t=59: 0.202148
t=60: 0.202148
t=61: 0.202148
t=62: 0.202148
t=63: 0.202148
t=64: 0.202481
t=65: 0.202481
t=66: 0.202481
t=67: 0.202481
t=68: 0.202481
t=69: 0.202481
t=70: 0.202481
t=71: 0.202481
t=72: 0.202481
t=73: 0.202481
t=74: 0.202481
t=75: 0.202481
t=76: 0.202481
t=77: 0.202481
t=78: 0.202481
t=79: 0.202481
t=80: 0.202481
t=81: 0.202481
t=82: 0.202481
t=83: 0.203481
t=84: 0.202481
t=85: 0.202481
t=86: 0.202481
t=87: 0.202481
t=88: 0.202481
t=89: 0.202481
t=90: 0.202481
t=91: 0.202481
t=92: 0.202481
t=93: 0.202481
t=94: 0.202481
t=95: 0.202481
t=96: 0.202481
t=97: 0.202214
t=98: 0.202214
t=99: 0.202214
t=100: 0.202214
t=101: 0.202214
t=102: 0.202214
t=103: 0.202214
t=104: 0.202214
t=105: 0.202214
t=106: 0.202214
t=107: 0.201681
t=108: 0.201681
t=109: 0.201681
t=110: 0.201681
t=111: 0.202348
t=112: 0.202348
t=113: 0.202348
t=114: 0.202348
t=115: 0.202348
t=116: 0.202348
t=117: 0.202348
t=118: 0.202348
t=119: 0.202348
t=120: 0.202681
t=121: 0.202681
t=122: 0.202681
t=123: 0.203481
t=124: 0.203481
t=125: 0.203481
t=126: 0.203481
t=127: 0.203481
t=128: 0.203481
t=129: 0.203481
t=130: 0.203481
t=131: 0.203481
t=132: 0.203481
t=133: 0.203481
t=134: 0.203481
t=135: 0.203481
t=136: 0.203481
t=137: 0.203481
t=138: 0.203481
t=139: 0.203481
t=140: 0.203481
t=141: 0.203481
t=142: 0.203481
t=143: 0.203481
t=144: 0.203481
t=145: 0.203481
t=146: 0.203481
t=147: 0.203481
t=148: 0.203481
t=149: 0.203481
t=150: 0.203481
t=151: 0.203481
t=152: 0.203481
t=153: 0.203481
t=154: 0.203481
t=155: 0.203481
t=156: 0.203481
t=157: 0.203481
t=158: 0.203481
t=159: 0.203481
t=160: 0.203481
t=161: 0.203481
t=162: 0.203481
t=163: 0.203481
t=164: 0.203481
t=165: 0.203481
t=166: 0.203481
t=167: 0.203481
t=168: 0.203481
t=169: 0.203481
t=170: 0.203481
t=171: 0.203481
t=172: 0.203481
t=173: 0.203481
t=174: 0.203481
t=175: 0.204482
t=176: 0.204482
t=177: 0.204482
t=178: 0.204482
t=179: 0.204482
t=180: 0.204482
t=181: 0.204482
t=182: 0.204482
t=183: 0.204482
t=184: 0.204482
t=185: 0.204482
t=186: 0.204482
t=187: 0.204482
t=188: 0.204482
t=189: 0.204482
t=190: 0.204482
t=191: 0.204482
t=192: 0.204482
t=193: 0.204482
t=194: 0.204482
t=195: 0.204482
t=196: 0.204482
t=197: 0.204482
t=198: 0.204482
t=199: 0.204482
t=200: 0.204482
total: 0.202781
2023-08-02 20:46:40 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 7015431 ms
2023-08-02 20:46:40 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (124949 satisfiable and 1 unsatisfiable bindings out of 124950 bindings)
2023-08-02 20:46:40 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                                                      |    7563290
loading ontologies                                        |      33224
initial consistency check                                 |        261
parsing query file                                        |         13
query execution (w/o loading & initial consistency check) |    7529645
