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

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

G (l4c:Vehicle(?x) ^ l1c:Driveable_Lane(?l1) ^ l1c:Driveable_Lane(?l2))
	&
F
(
	(geo:sfWithin(?x,?l1))
		&
	X[!]
	(
		(!(com:delivers_signal(?x,s) ^ l6d:Left_Turn_Signal(s)))
			U
		(geo:sfIntersects(?x,?l2))
	)
)
-----------------------------------------------------
2023-08-03 09:00:06 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, l1, l2) :- G (http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l1_core#Driveable_Lane(?l1) ^ http://purl.org/auto/l1_core#Driveable_Lane(?l2))&F((http://www.opengis.net/ont/geosparql#sfWithin(?x,?l1))&X[!]((!(http://purl.org/auto/communication#delivers_signal(?x,s) ^ http://purl.org/auto/l6_de#Left_Turn_Signal(s)))U(http://www.opengis.net/ont/geosparql#sfIntersects(?x,?l2))))
2023-08-03 09:00:07 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-14416094294345734400.dot
2023-08-03 09:00:07 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-03 09:00:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_1.owl
2023-08-03 09:00:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_2.owl
2023-08-03 09:00:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_3.owl
2023-08-03 09:00:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_4.owl
2023-08-03 09:00:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_5.owl
2023-08-03 09:00:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_6.owl
2023-08-03 09:00:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_7.owl
2023-08-03 09:00:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_8.owl
2023-08-03 09:00:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_9.owl
2023-08-03 09:00:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_10.owl
2023-08-03 09:00:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_11.owl
2023-08-03 09:00:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_12.owl
2023-08-03 09:00:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_13.owl
2023-08-03 09:00:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_14.owl
2023-08-03 09:00:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_15.owl
2023-08-03 09:00:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_16.owl
2023-08-03 09:00:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_17.owl
2023-08-03 09:00:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_18.owl
2023-08-03 09:00:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_19.owl
2023-08-03 09:00:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_20.owl
2023-08-03 09:00:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_21.owl
2023-08-03 09:00:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_22.owl
2023-08-03 09:00:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_23.owl
2023-08-03 09:00:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_24.owl
2023-08-03 09:00:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_25.owl
2023-08-03 09:00:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_26.owl
2023-08-03 09:00:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_27.owl
2023-08-03 09:00:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_28.owl
2023-08-03 09:00:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_29.owl
2023-08-03 09:00:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_30.owl
2023-08-03 09:00:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_31.owl
2023-08-03 09:00:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_32.owl
2023-08-03 09:00:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_33.owl
2023-08-03 09:00:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_34.owl
2023-08-03 09:00:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_35.owl
2023-08-03 09:00:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_36.owl
2023-08-03 09:00:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_37.owl
2023-08-03 09:00:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_38.owl
2023-08-03 09:00:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_39.owl
2023-08-03 09:00:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_40.owl
2023-08-03 09:00:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_41.owl
2023-08-03 09:00:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_42.owl
2023-08-03 09:00:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_43.owl
2023-08-03 09:00:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_44.owl
2023-08-03 09:00:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_45.owl
2023-08-03 09:00:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_46.owl
2023-08-03 09:00:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_47.owl
2023-08-03 09:00:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_48.owl
2023-08-03 09:00:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_49.owl
2023-08-03 09:00:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_50.owl
2023-08-03 09:00:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_51.owl
2023-08-03 09:00:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_52.owl
2023-08-03 09:00:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_53.owl
2023-08-03 09:01:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_54.owl
2023-08-03 09:01:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_55.owl
2023-08-03 09:01:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_56.owl
2023-08-03 09:01:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_57.owl
2023-08-03 09:01:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_58.owl
2023-08-03 09:01:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_59.owl
2023-08-03 09:01:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_60.owl
2023-08-03 09:01:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_61.owl
2023-08-03 09:01:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_62.owl
2023-08-03 09:01:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_63.owl
2023-08-03 09:01:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_64.owl
2023-08-03 09:01:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_65.owl
2023-08-03 09:01:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_66.owl
2023-08-03 09:01:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_67.owl
2023-08-03 09:01:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_68.owl
2023-08-03 09:01:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_69.owl
2023-08-03 09:01:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_70.owl
2023-08-03 09:01:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_71.owl
2023-08-03 09:01:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_72.owl
2023-08-03 09:01:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_73.owl
2023-08-03 09:01:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_74.owl
2023-08-03 09:01:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_75.owl
2023-08-03 09:01:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_76.owl
2023-08-03 09:01:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_77.owl
2023-08-03 09:01:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_78.owl
2023-08-03 09:01:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_79.owl
2023-08-03 09:01:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_80.owl
2023-08-03 09:01:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_81.owl
2023-08-03 09:01:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_82.owl
2023-08-03 09:01:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_83.owl
2023-08-03 09:01:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_84.owl
2023-08-03 09:01:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_85.owl
2023-08-03 09:01:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_86.owl
2023-08-03 09:01:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_87.owl
2023-08-03 09:01:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_88.owl
2023-08-03 09:01:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_89.owl
2023-08-03 09:01:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_90.owl
2023-08-03 09:01:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_91.owl
2023-08-03 09:01:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_92.owl
2023-08-03 09:01:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_93.owl
2023-08-03 09:01:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_94.owl
2023-08-03 09:01:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_95.owl
2023-08-03 09:01:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_96.owl
2023-08-03 09:01:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_97.owl
2023-08-03 09:01:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_98.owl
2023-08-03 09:01:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_99.owl
2023-08-03 09:01:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_100.owl
2023-08-03 09:01:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_101.owl
2023-08-03 09:01:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_102.owl
2023-08-03 09:01:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_103.owl
2023-08-03 09:01:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_104.owl
2023-08-03 09:01:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_105.owl
2023-08-03 09:01:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_106.owl
2023-08-03 09:01:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_107.owl
2023-08-03 09:01:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_108.owl
2023-08-03 09:01:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_109.owl
2023-08-03 09:01:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_110.owl
2023-08-03 09:01:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_111.owl
2023-08-03 09:01:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_112.owl
2023-08-03 09:01:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_113.owl
2023-08-03 09:01:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_114.owl
2023-08-03 09:01:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_115.owl
2023-08-03 09:01:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_116.owl
2023-08-03 09:01:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_117.owl
2023-08-03 09:01:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_118.owl
2023-08-03 09:01:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_119.owl
2023-08-03 09:01:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_120.owl
2023-08-03 09:01:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_121.owl
2023-08-03 09:01:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_122.owl
2023-08-03 09:01:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_123.owl
2023-08-03 09:01:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_124.owl
2023-08-03 09:01:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_125.owl
2023-08-03 09:01:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_126.owl
2023-08-03 09:01:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_127.owl
2023-08-03 09:01:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_128.owl
2023-08-03 09:01:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_129.owl
2023-08-03 09:01:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_130.owl
2023-08-03 09:01:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_131.owl
2023-08-03 09:01:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_132.owl
2023-08-03 09:01:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_133.owl
2023-08-03 09:01:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_134.owl
2023-08-03 09:01:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_135.owl
2023-08-03 09:02:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_136.owl
2023-08-03 09:02:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_137.owl
2023-08-03 09:02:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_138.owl
2023-08-03 09:02:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_139.owl
2023-08-03 09:02:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_140.owl
2023-08-03 09:02:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_141.owl
2023-08-03 09:02:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_142.owl
2023-08-03 09:02:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_143.owl
2023-08-03 09:02:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_144.owl
2023-08-03 09:02:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_145.owl
2023-08-03 09:02:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_146.owl
2023-08-03 09:02:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_147.owl
2023-08-03 09:02:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_148.owl
2023-08-03 09:02:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_149.owl
2023-08-03 09:02:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_150.owl
2023-08-03 09:02:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_151.owl
2023-08-03 09:02:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_152.owl
2023-08-03 09:02:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_153.owl
2023-08-03 09:02:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_154.owl
2023-08-03 09:02:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_155.owl
2023-08-03 09:02:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_156.owl
2023-08-03 09:02:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_157.owl
2023-08-03 09:02:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_158.owl
2023-08-03 09:02:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_159.owl
2023-08-03 09:02:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_160.owl
2023-08-03 09:02:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_161.owl
2023-08-03 09:02:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_162.owl
2023-08-03 09:02:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_163.owl
2023-08-03 09:02:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_164.owl
2023-08-03 09:02:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_165.owl
2023-08-03 09:02:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_166.owl
2023-08-03 09:02:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_167.owl
2023-08-03 09:02:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_168.owl
2023-08-03 09:02:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_169.owl
2023-08-03 09:02:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_170.owl
2023-08-03 09:02:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_171.owl
2023-08-03 09:02:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_172.owl
2023-08-03 09:02:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_173.owl
2023-08-03 09:02:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_174.owl
2023-08-03 09:02:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_175.owl
2023-08-03 09:02:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_176.owl
2023-08-03 09:02:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_177.owl
2023-08-03 09:02:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_178.owl
2023-08-03 09:02:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_179.owl
2023-08-03 09:02:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_180.owl
2023-08-03 09:02:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_181.owl
2023-08-03 09:02:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_182.owl
2023-08-03 09:02:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_183.owl
2023-08-03 09:02:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_184.owl
2023-08-03 09:02:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_185.owl
2023-08-03 09:02:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_186.owl
2023-08-03 09:02:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_187.owl
2023-08-03 09:02:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_188.owl
2023-08-03 09:02:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_189.owl
2023-08-03 09:02:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_190.owl
2023-08-03 09:02:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_191.owl
2023-08-03 09:02:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_192.owl
2023-08-03 09:02:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_193.owl
2023-08-03 09:02:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_194.owl
2023-08-03 09:02:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_195.owl
2023-08-03 09:02:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_196.owl
2023-08-03 09:02:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_197.owl
2023-08-03 09:02:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_198.owl
2023-08-03 09:02:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_199.owl
2023-08-03 09:02:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_200.owl
2023-08-03 09:02:55 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-03 09:02:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 143031 ms
2023-08-03 09:02:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.832081 % (570744 satisfiable and 0 unsatisfiable bindings out of 571704 bindings)
2023-08-03 09:02:55 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-03 09:02:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_0.owl
2023-08-03 09:03:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_1.owl
2023-08-03 09:03:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_2.owl
2023-08-03 09:07:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_3.owl
2023-08-03 09:10:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_4.owl
2023-08-03 09:13:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_5.owl
2023-08-03 09:17:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_6.owl
2023-08-03 09:21:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_7.owl
2023-08-03 09:24:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_8.owl
2023-08-03 09:27:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_9.owl
2023-08-03 09:30:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_10.owl
2023-08-03 09:33:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_11.owl
2023-08-03 09:37:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_12.owl
2023-08-03 09:40:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_13.owl
2023-08-03 09:43:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_14.owl
2023-08-03 09:46:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_15.owl
2023-08-03 09:50:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_16.owl
2023-08-03 09:54:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_17.owl
2023-08-03 09:57:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_18.owl
2023-08-03 10:00:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_19.owl
2023-08-03 10:03:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_20.owl
2023-08-03 10:07:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_21.owl
2023-08-03 10:10:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_22.owl
2023-08-03 10:14:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_23.owl
2023-08-03 10:17:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_24.owl
2023-08-03 10:21:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_25.owl
2023-08-03 10:24:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_26.owl
2023-08-03 10:27:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_27.owl
2023-08-03 10:30:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_28.owl
2023-08-03 10:34:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_29.owl
2023-08-03 10:37:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_30.owl
2023-08-03 10:41:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_31.owl
2023-08-03 10:44:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_32.owl
2023-08-03 10:47:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_33.owl
2023-08-03 10:50:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_34.owl
2023-08-03 10:53:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_35.owl
2023-08-03 10:57:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_36.owl
2023-08-03 11:01:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_37.owl
2023-08-03 11:04:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_38.owl
2023-08-03 11:07:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_39.owl
2023-08-03 11:10:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_40.owl
2023-08-03 11:13:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_41.owl
2023-08-03 11:16:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_42.owl
2023-08-03 11:20:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_43.owl
2023-08-03 11:23:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_44.owl
2023-08-03 11:26:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_45.owl
2023-08-03 11:30:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_46.owl
2023-08-03 11:34:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_47.owl
2023-08-03 11:37:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_48.owl
2023-08-03 11:40:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_49.owl
2023-08-03 11:43:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_50.owl
2023-08-03 11:47:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_51.owl
2023-08-03 11:49:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_52.owl
2023-08-03 11:52:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_53.owl
2023-08-03 11:56:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_54.owl
2023-08-03 11:59:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_55.owl
2023-08-03 12:02:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_56.owl
2023-08-03 12:05:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_57.owl
2023-08-03 12:08:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_58.owl
2023-08-03 12:11:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_59.owl
2023-08-03 12:14:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_60.owl
2023-08-03 12:16:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_61.owl
2023-08-03 12:19:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_62.owl
2023-08-03 12:21:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_63.owl
2023-08-03 12:24:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_64.owl
2023-08-03 12:27:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_65.owl
2023-08-03 12:30:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_66.owl
2023-08-03 12:32:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_67.owl
2023-08-03 12:35:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_68.owl
2023-08-03 12:38:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_69.owl
2023-08-03 12:40:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_70.owl
2023-08-03 12:43:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_71.owl
2023-08-03 12:45:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_72.owl
2023-08-03 12:48:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_73.owl
2023-08-03 12:51:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_74.owl
2023-08-03 12:53:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_75.owl
2023-08-03 12:56:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_76.owl
2023-08-03 12:59:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_77.owl
2023-08-03 13:01:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_78.owl
2023-08-03 13:04:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_79.owl
2023-08-03 13:07:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_80.owl
2023-08-03 13:10:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_81.owl
2023-08-03 13:13:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_82.owl
2023-08-03 13:16:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_83.owl
2023-08-03 13:18:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_84.owl
2023-08-03 13:20:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_85.owl
2023-08-03 13:23:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_86.owl
2023-08-03 13:25:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_87.owl
2023-08-03 13:27:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_88.owl
2023-08-03 13:30:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_89.owl
2023-08-03 13:32:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_90.owl
2023-08-03 13:35:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_91.owl
2023-08-03 13:38:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_92.owl
2023-08-03 13:41:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_93.owl
2023-08-03 13:45:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_94.owl
2023-08-03 13:48:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_95.owl
2023-08-03 13:51:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_96.owl
2023-08-03 13:54:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_97.owl
2023-08-03 13:57:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_98.owl
2023-08-03 14:01:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_99.owl
2023-08-03 14:04:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_100.owl
2023-08-03 14:07:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_101.owl
2023-08-03 14:09:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_102.owl
2023-08-03 14:11:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_103.owl
2023-08-03 14:14:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_104.owl
2023-08-03 14:17:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_105.owl
2023-08-03 14:20:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_106.owl
2023-08-03 14:24:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_107.owl
2023-08-03 14:27:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_108.owl
2023-08-03 14:30:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_109.owl
2023-08-03 14:32:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_110.owl
2023-08-03 14:34:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_111.owl
2023-08-03 14:37:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_112.owl
2023-08-03 14:40:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_113.owl
2023-08-03 14:42:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_114.owl
2023-08-03 14:45:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_115.owl
2023-08-03 14:49:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_116.owl
2023-08-03 14:53:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_117.owl
2023-08-03 14:57:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_118.owl
2023-08-03 15:00:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_119.owl
2023-08-03 15:03:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_120.owl
2023-08-03 15:06:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_121.owl
2023-08-03 15:09:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_122.owl
2023-08-03 15:12:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_123.owl
2023-08-03 15:15:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_124.owl
2023-08-03 15:19:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_125.owl
2023-08-03 15:22:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_126.owl
2023-08-03 15:25:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_127.owl
2023-08-03 15:28:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_128.owl
2023-08-03 15:31:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_129.owl
2023-08-03 15:34:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_130.owl
2023-08-03 15:37:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_131.owl
2023-08-03 15:40:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_132.owl
2023-08-03 15:42:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_133.owl
2023-08-03 15:46:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_134.owl
2023-08-03 15:48:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_135.owl
2023-08-03 15:51:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_136.owl
2023-08-03 15:54:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_137.owl
2023-08-03 15:57:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_138.owl
2023-08-03 16:00:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_139.owl
2023-08-03 16:03:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_140.owl
2023-08-03 16:07:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_141.owl
2023-08-03 16:10:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_142.owl
2023-08-03 16:13:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_143.owl
2023-08-03 16:17:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_144.owl
2023-08-03 16:20:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_145.owl
2023-08-03 16:23:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_146.owl
2023-08-03 16:26:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_147.owl
2023-08-03 16:29:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_148.owl
2023-08-03 16:33:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_149.owl
2023-08-03 16:36:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_150.owl
2023-08-03 16:39:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_151.owl
2023-08-03 16:43:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_152.owl
2023-08-03 16:46:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_153.owl
2023-08-03 16:49:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_154.owl
2023-08-03 16:52:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_155.owl
2023-08-03 16:55:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_156.owl
2023-08-03 16:59:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_157.owl
2023-08-03 17:03:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_158.owl
2023-08-03 17:06:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_159.owl
2023-08-03 17:10:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_160.owl
2023-08-03 17:13:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_161.owl
2023-08-03 17:15:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_162.owl
2023-08-03 17:18:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_163.owl
2023-08-03 17:20:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_164.owl
2023-08-03 17:24:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_165.owl
2023-08-03 17:27:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_166.owl
2023-08-03 17:29:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_167.owl
2023-08-03 17:32:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_168.owl
2023-08-03 17:34:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_169.owl
2023-08-03 17:37:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_170.owl
2023-08-03 17:40:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_171.owl
2023-08-03 17:43:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_172.owl
2023-08-03 17:46:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_173.owl
2023-08-03 17:49:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_174.owl
2023-08-03 17:52:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_175.owl
2023-08-03 17:55:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_176.owl
2023-08-03 17:58:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_177.owl
2023-08-03 18:01:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_178.owl
2023-08-03 18:03:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_179.owl
2023-08-03 18:06:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_180.owl
2023-08-03 18:09:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_181.owl
2023-08-03 18:12:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_182.owl
2023-08-03 18:15:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_183.owl
2023-08-03 18:18:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_184.owl
2023-08-03 18:20:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_185.owl
2023-08-03 18:23:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_186.owl
2023-08-03 18:26:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_187.owl
2023-08-03 18:29:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_188.owl
2023-08-03 18:31:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_189.owl
2023-08-03 18:34:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_190.owl
2023-08-03 18:37:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_191.owl
2023-08-03 18:40:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_192.owl
2023-08-03 18:43:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_193.owl
2023-08-03 18:46:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_194.owl
2023-08-03 18:48:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_195.owl
2023-08-03 18:52:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_196.owl
2023-08-03 18:55:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_197.owl
2023-08-03 18:58:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n2_i_198.owl
execute_benchmark.sh: Openllet exceeded time limit of 10h
