2023-08-03 05:16:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.278
Query file: /benchmarks/queries/04_lane_change_no_signal.tcq
Start parsing query file
2023-08-03 05:16:46 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 05:16:46 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 05:16:47 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-1757047318811492949.dot
2023-08-03 05:16:47 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-03 05:16:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_1.owl
2023-08-03 05:16:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_2.owl
2023-08-03 05:16:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_3.owl
2023-08-03 05:16:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_4.owl
2023-08-03 05:16:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_5.owl
2023-08-03 05:16:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_6.owl
2023-08-03 05:16:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_7.owl
2023-08-03 05:16:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_8.owl
2023-08-03 05:16:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_9.owl
2023-08-03 05:16:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_10.owl
2023-08-03 05:16:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_11.owl
2023-08-03 05:16:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_12.owl
2023-08-03 05:16:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_13.owl
2023-08-03 05:16:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_14.owl
2023-08-03 05:16:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_15.owl
2023-08-03 05:16:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_16.owl
2023-08-03 05:17:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_17.owl
2023-08-03 05:17:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_18.owl
2023-08-03 05:17:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_19.owl
2023-08-03 05:17:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_20.owl
2023-08-03 05:17:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_21.owl
2023-08-03 05:17:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_22.owl
2023-08-03 05:17:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_23.owl
2023-08-03 05:17:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_24.owl
2023-08-03 05:17:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_25.owl
2023-08-03 05:17:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_26.owl
2023-08-03 05:17:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_27.owl
2023-08-03 05:17:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_28.owl
2023-08-03 05:17:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_29.owl
2023-08-03 05:17:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_30.owl
2023-08-03 05:17:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_31.owl
2023-08-03 05:17:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_32.owl
2023-08-03 05:17:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_33.owl
2023-08-03 05:17:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_34.owl
2023-08-03 05:17:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_35.owl
2023-08-03 05:17:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_36.owl
2023-08-03 05:17:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_37.owl
2023-08-03 05:17:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_38.owl
2023-08-03 05:17:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_39.owl
2023-08-03 05:17:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_40.owl
2023-08-03 05:17:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_41.owl
2023-08-03 05:17:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_42.owl
2023-08-03 05:17:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_43.owl
2023-08-03 05:17:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_44.owl
2023-08-03 05:17:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_45.owl
2023-08-03 05:17:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_46.owl
2023-08-03 05:17:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_47.owl
2023-08-03 05:17:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_48.owl
2023-08-03 05:17:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_49.owl
2023-08-03 05:17:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_50.owl
2023-08-03 05:17:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_51.owl
2023-08-03 05:17:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_52.owl
2023-08-03 05:17:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_53.owl
2023-08-03 05:17:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_54.owl
2023-08-03 05:17:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_55.owl
2023-08-03 05:17:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_56.owl
2023-08-03 05:17:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_57.owl
2023-08-03 05:17:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_58.owl
2023-08-03 05:17:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_59.owl
2023-08-03 05:17:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_60.owl
2023-08-03 05:17:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_61.owl
2023-08-03 05:17:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_62.owl
2023-08-03 05:17:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_63.owl
2023-08-03 05:17:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_64.owl
2023-08-03 05:17:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_65.owl
2023-08-03 05:17:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_66.owl
2023-08-03 05:17:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_67.owl
2023-08-03 05:17:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_68.owl
2023-08-03 05:17:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_69.owl
2023-08-03 05:17:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_70.owl
2023-08-03 05:17:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_71.owl
2023-08-03 05:17:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_72.owl
2023-08-03 05:17:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_73.owl
2023-08-03 05:17:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_74.owl
2023-08-03 05:17:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_75.owl
2023-08-03 05:17:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_76.owl
2023-08-03 05:17:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_77.owl
2023-08-03 05:17:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_78.owl
2023-08-03 05:17:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_79.owl
2023-08-03 05:17:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_80.owl
2023-08-03 05:17:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_81.owl
2023-08-03 05:17:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_82.owl
2023-08-03 05:17:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_83.owl
2023-08-03 05:17:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_84.owl
2023-08-03 05:17:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_85.owl
2023-08-03 05:17:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_86.owl
2023-08-03 05:17:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_87.owl
2023-08-03 05:17:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_88.owl
2023-08-03 05:17:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_89.owl
2023-08-03 05:17:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_90.owl
2023-08-03 05:17:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_91.owl
2023-08-03 05:17:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_92.owl
2023-08-03 05:17:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_93.owl
2023-08-03 05:17:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_94.owl
2023-08-03 05:17:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_95.owl
2023-08-03 05:17:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_96.owl
2023-08-03 05:17:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_97.owl
2023-08-03 05:17:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_98.owl
2023-08-03 05:17:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_99.owl
2023-08-03 05:17:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_100.owl
2023-08-03 05:17:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_101.owl
2023-08-03 05:17:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_102.owl
2023-08-03 05:17:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_103.owl
2023-08-03 05:17:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_104.owl
2023-08-03 05:17:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_105.owl
2023-08-03 05:17:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_106.owl
2023-08-03 05:17:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_107.owl
2023-08-03 05:17:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_108.owl
2023-08-03 05:17:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_109.owl
2023-08-03 05:17:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_110.owl
2023-08-03 05:17:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_111.owl
2023-08-03 05:17:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_112.owl
2023-08-03 05:17:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_113.owl
2023-08-03 05:17:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_114.owl
2023-08-03 05:17:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_115.owl
2023-08-03 05:17:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_116.owl
2023-08-03 05:17:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_117.owl
2023-08-03 05:17:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_118.owl
2023-08-03 05:17:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_119.owl
2023-08-03 05:17:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_120.owl
2023-08-03 05:17:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_121.owl
2023-08-03 05:17:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_122.owl
2023-08-03 05:17:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_123.owl
2023-08-03 05:17:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_124.owl
2023-08-03 05:17:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_125.owl
2023-08-03 05:17:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_126.owl
2023-08-03 05:17:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_127.owl
2023-08-03 05:17:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_128.owl
2023-08-03 05:17:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_129.owl
2023-08-03 05:18:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_130.owl
2023-08-03 05:18:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_131.owl
2023-08-03 05:18:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_132.owl
2023-08-03 05:18:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_133.owl
2023-08-03 05:18:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_134.owl
2023-08-03 05:18:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_135.owl
2023-08-03 05:18:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_136.owl
2023-08-03 05:18:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_137.owl
2023-08-03 05:18:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_138.owl
2023-08-03 05:18:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_139.owl
2023-08-03 05:18:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_140.owl
2023-08-03 05:18:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_141.owl
2023-08-03 05:18:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_142.owl
2023-08-03 05:18:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_143.owl
2023-08-03 05:18:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_144.owl
2023-08-03 05:18:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_145.owl
2023-08-03 05:18:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_146.owl
2023-08-03 05:18:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_147.owl
2023-08-03 05:18:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_148.owl
2023-08-03 05:18:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_149.owl
2023-08-03 05:18:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_150.owl
2023-08-03 05:18:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_151.owl
2023-08-03 05:18:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_152.owl
2023-08-03 05:18:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_153.owl
2023-08-03 05:18:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_154.owl
2023-08-03 05:18:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_155.owl
2023-08-03 05:18:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_156.owl
2023-08-03 05:18:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_157.owl
2023-08-03 05:18:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_158.owl
2023-08-03 05:18:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_159.owl
2023-08-03 05:18:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_160.owl
2023-08-03 05:18:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_161.owl
2023-08-03 05:18:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_162.owl
2023-08-03 05:18:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_163.owl
2023-08-03 05:18:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_164.owl
2023-08-03 05:18:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_165.owl
2023-08-03 05:18:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_166.owl
2023-08-03 05:18:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_167.owl
2023-08-03 05:18:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_168.owl
2023-08-03 05:18:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_169.owl
2023-08-03 05:18:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_170.owl
2023-08-03 05:18:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_171.owl
2023-08-03 05:18:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_172.owl
2023-08-03 05:18:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_173.owl
2023-08-03 05:18:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_174.owl
2023-08-03 05:18:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_175.owl
2023-08-03 05:18:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_176.owl
2023-08-03 05:18:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_177.owl
2023-08-03 05:18:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_178.owl
2023-08-03 05:18:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_179.owl
2023-08-03 05:18:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_180.owl
2023-08-03 05:18:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_181.owl
2023-08-03 05:18:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_182.owl
2023-08-03 05:18:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_183.owl
2023-08-03 05:18:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_184.owl
2023-08-03 05:18:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_185.owl
2023-08-03 05:18:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_186.owl
2023-08-03 05:18:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_187.owl
2023-08-03 05:18:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_188.owl
2023-08-03 05:18:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_189.owl
2023-08-03 05:18:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_190.owl
2023-08-03 05:18:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_191.owl
2023-08-03 05:18:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_192.owl
2023-08-03 05:18:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_193.owl
2023-08-03 05:18:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_194.owl
2023-08-03 05:18:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_195.owl
2023-08-03 05:18:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_196.owl
2023-08-03 05:18:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_197.owl
2023-08-03 05:18:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_198.owl
2023-08-03 05:18:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_199.owl
2023-08-03 05:18:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_200.owl
2023-08-03 05:18:38 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-03 05:18:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 86390 ms
2023-08-03 05:18:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.898835 % (473994 satisfiable and 0 unsatisfiable bindings out of 474474 bindings)
2023-08-03 05:18:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-03 05:18:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_0.owl
2023-08-03 05:18:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_1.owl
2023-08-03 05:19:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_2.owl
2023-08-03 05:20:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_3.owl
2023-08-03 05:21:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_4.owl
2023-08-03 05:23:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_5.owl
2023-08-03 05:24:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_6.owl
2023-08-03 05:26:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_7.owl
2023-08-03 05:27:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_8.owl
2023-08-03 05:29:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_9.owl
2023-08-03 05:30:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_10.owl
2023-08-03 05:31:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_11.owl
2023-08-03 05:33:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_12.owl
2023-08-03 05:34:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_13.owl
2023-08-03 05:35:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_14.owl
2023-08-03 05:37:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_15.owl
2023-08-03 05:38:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_16.owl
2023-08-03 05:39:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_17.owl
2023-08-03 05:41:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_18.owl
2023-08-03 05:42:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_19.owl
2023-08-03 05:43:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_20.owl
2023-08-03 05:45:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_21.owl
2023-08-03 05:46:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_22.owl
2023-08-03 05:48:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_23.owl
2023-08-03 05:49:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_24.owl
2023-08-03 05:51:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_25.owl
2023-08-03 05:52:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_26.owl
2023-08-03 05:53:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_27.owl
2023-08-03 05:55:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_28.owl
2023-08-03 05:57:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_29.owl
2023-08-03 05:58:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_30.owl
2023-08-03 06:00:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_31.owl
2023-08-03 06:01:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_32.owl
2023-08-03 06:02:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_33.owl
2023-08-03 06:04:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_34.owl
2023-08-03 06:05:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_35.owl
2023-08-03 06:07:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_36.owl
2023-08-03 06:08:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_37.owl
2023-08-03 06:09:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_38.owl
2023-08-03 06:11:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_39.owl
2023-08-03 06:12:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_40.owl
2023-08-03 06:14:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_41.owl
2023-08-03 06:15:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_42.owl
2023-08-03 06:16:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_43.owl
2023-08-03 06:17:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_44.owl
2023-08-03 06:19:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_45.owl
2023-08-03 06:20:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_46.owl
2023-08-03 06:21:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_47.owl
2023-08-03 06:23:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_48.owl
2023-08-03 06:24:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_49.owl
2023-08-03 06:25:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_50.owl
2023-08-03 06:26:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_51.owl
2023-08-03 06:28:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_52.owl
2023-08-03 06:29:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_53.owl
2023-08-03 06:30:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_54.owl
2023-08-03 06:31:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_55.owl
2023-08-03 06:33:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_56.owl
2023-08-03 06:34:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_57.owl
2023-08-03 06:35:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_58.owl
2023-08-03 06:37:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_59.owl
2023-08-03 06:38:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_60.owl
2023-08-03 06:39:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_61.owl
2023-08-03 06:40:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_62.owl
2023-08-03 06:41:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_63.owl
2023-08-03 06:42:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_64.owl
2023-08-03 06:43:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_65.owl
2023-08-03 06:44:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_66.owl
2023-08-03 06:45:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_67.owl
2023-08-03 06:46:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_68.owl
2023-08-03 06:47:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_69.owl
2023-08-03 06:48:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_70.owl
2023-08-03 06:49:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_71.owl
2023-08-03 06:50:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_72.owl
2023-08-03 06:51:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_73.owl
2023-08-03 06:51:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_74.owl
2023-08-03 06:52:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_75.owl
2023-08-03 06:53:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_76.owl
2023-08-03 06:54:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_77.owl
2023-08-03 06:56:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_78.owl
2023-08-03 06:57:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_79.owl
2023-08-03 06:57:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_80.owl
2023-08-03 06:58:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_81.owl
2023-08-03 06:59:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_82.owl
2023-08-03 07:00:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_83.owl
2023-08-03 07:01:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_84.owl
2023-08-03 07:02:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_85.owl
2023-08-03 07:03:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_86.owl
2023-08-03 07:04:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_87.owl
2023-08-03 07:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_88.owl
2023-08-03 07:06:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_89.owl
2023-08-03 07:07:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_90.owl
2023-08-03 07:08:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_91.owl
2023-08-03 07:09:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_92.owl
2023-08-03 07:10:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_93.owl
2023-08-03 07:11:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_94.owl
2023-08-03 07:12:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_95.owl
2023-08-03 07:13:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_96.owl
2023-08-03 07:14:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_97.owl
2023-08-03 07:14:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_98.owl
2023-08-03 07:15:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_99.owl
2023-08-03 07:16:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_100.owl
2023-08-03 07:18:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_101.owl
2023-08-03 07:19:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_102.owl
2023-08-03 07:19:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_103.owl
2023-08-03 07:20:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_104.owl
2023-08-03 07:21:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_105.owl
2023-08-03 07:22:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_106.owl
2023-08-03 07:23:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_107.owl
2023-08-03 07:24:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_108.owl
2023-08-03 07:25:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_109.owl
2023-08-03 07:26:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_110.owl
2023-08-03 07:27:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_111.owl
2023-08-03 07:28:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_112.owl
2023-08-03 07:29:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_113.owl
2023-08-03 07:30:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_114.owl
2023-08-03 07:31:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_115.owl
2023-08-03 07:32:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_116.owl
2023-08-03 07:33:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_117.owl
2023-08-03 07:35:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_118.owl
2023-08-03 07:36:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_119.owl
2023-08-03 07:37:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_120.owl
2023-08-03 07:38:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_121.owl
2023-08-03 07:38:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_122.owl
2023-08-03 07:39:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_123.owl
2023-08-03 07:40:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_124.owl
2023-08-03 07:41:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_125.owl
2023-08-03 07:42:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_126.owl
2023-08-03 07:43:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_127.owl
2023-08-03 07:44:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_128.owl
2023-08-03 07:45:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_129.owl
2023-08-03 07:46:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_130.owl
2023-08-03 07:47:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_131.owl
2023-08-03 07:48:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_132.owl
2023-08-03 07:49:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_133.owl
2023-08-03 07:50:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_134.owl
2023-08-03 07:51:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_135.owl
2023-08-03 07:52:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_136.owl
2023-08-03 07:53:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_137.owl
2023-08-03 07:54:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_138.owl
2023-08-03 07:55:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_139.owl
2023-08-03 07:56:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_140.owl
2023-08-03 07:57:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_141.owl
2023-08-03 07:58:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_142.owl
2023-08-03 07:59:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_143.owl
2023-08-03 08:00:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_144.owl
2023-08-03 08:01:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_145.owl
2023-08-03 08:02:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_146.owl
2023-08-03 08:03:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_147.owl
2023-08-03 08:04:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_148.owl
2023-08-03 08:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_149.owl
2023-08-03 08:06:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_150.owl
2023-08-03 08:07:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_151.owl
2023-08-03 08:08:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_152.owl
2023-08-03 08:09:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_153.owl
2023-08-03 08:10:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_154.owl
2023-08-03 08:11:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_155.owl
2023-08-03 08:13:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_156.owl
2023-08-03 08:13:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_157.owl
2023-08-03 08:15:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_158.owl
2023-08-03 08:16:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_159.owl
2023-08-03 08:17:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_160.owl
2023-08-03 08:18:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_161.owl
2023-08-03 08:18:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_162.owl
2023-08-03 08:20:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_163.owl
2023-08-03 08:21:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_164.owl
2023-08-03 08:22:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_165.owl
2023-08-03 08:23:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_166.owl
2023-08-03 08:24:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_167.owl
2023-08-03 08:25:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_168.owl
2023-08-03 08:26:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_169.owl
2023-08-03 08:27:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_170.owl
2023-08-03 08:28:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_171.owl
2023-08-03 08:29:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_172.owl
2023-08-03 08:30:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_173.owl
2023-08-03 08:31:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_174.owl
2023-08-03 08:32:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_175.owl
2023-08-03 08:33:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_176.owl
2023-08-03 08:34:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_177.owl
2023-08-03 08:35:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_178.owl
2023-08-03 08:36:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_179.owl
2023-08-03 08:37:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_180.owl
2023-08-03 08:38:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_181.owl
2023-08-03 08:39:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_182.owl
2023-08-03 08:40:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_183.owl
2023-08-03 08:41:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_184.owl
2023-08-03 08:42:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_185.owl
2023-08-03 08:43:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_186.owl
2023-08-03 08:44:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_187.owl
2023-08-03 08:45:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_188.owl
2023-08-03 08:46:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_189.owl
2023-08-03 08:47:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_190.owl
2023-08-03 08:48:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_191.owl
2023-08-03 08:49:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_192.owl
2023-08-03 08:50:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_193.owl
2023-08-03 08:51:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_194.owl
2023-08-03 08:52:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_195.owl
2023-08-03 08:53:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_196.owl
2023-08-03 08:54:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_197.owl
2023-08-03 08:55:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_198.owl
2023-08-03 08:56:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_199.owl
2023-08-03 08:57:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n1_i_200.owl
2023-08-03 09:00:02 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-03 09:00:03 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.067443
t=1: 0.078403
t=2: 0.073766
t=3: 0.073766
t=4: 0.073766
t=5: 0.073766
t=6: 0.073766
t=7: 0.073766
t=8: 0.073766
t=9: 0.073766
t=10: 0.073766
t=11: 0.073766
t=12: 0.073766
t=13: 0.073766
t=14: 0.073766
t=15: 0.073766
t=16: 0.073766
t=17: 0.073766
t=18: 0.073766
t=19: 0.073766
t=20: 0.073766
t=21: 0.073766
t=22: 0.073766
t=23: 0.073766
t=24: 0.074029
t=25: 0.074029
t=26: 0.074029
t=27: 0.074029
t=28: 0.074029
t=29: 0.074029
t=30: 0.074029
t=31: 0.074029
t=32: 0.074029
t=33: 0.074029
t=34: 0.074029
t=35: 0.074029
t=36: 0.074029
t=37: 0.074029
t=38: 0.074029
t=39: 0.074029
t=40: 0.074029
t=41: 0.074029
t=42: 0.074029
t=43: 0.074293
t=44: 0.074293
t=45: 0.074293
t=46: 0.074293
t=47: 0.074293
t=48: 0.074293
t=49: 0.074293
t=50: 0.074293
t=51: 0.074293
t=52: 0.074293
t=53: 0.074293
t=54: 0.074293
t=55: 0.075083
t=56: 0.075083
t=57: 0.075083
t=58: 0.075083
t=59: 0.075083
t=60: 0.075083
t=61: 0.075083
t=62: 0.075083
t=63: 0.075083
t=64: 0.075083
t=65: 0.075083
t=66: 0.075083
t=67: 0.075083
t=68: 0.075083
t=69: 0.075083
t=70: 0.075083
t=71: 0.075083
t=72: 0.075083
t=73: 0.075083
t=74: 0.075083
t=75: 0.075083
t=76: 0.075083
t=77: 0.075873
t=78: 0.075873
t=79: 0.075873
t=80: 0.075873
t=81: 0.075873
t=82: 0.075873
t=83: 0.075873
t=84: 0.075873
t=85: 0.075873
t=86: 0.075873
t=87: 0.075873
t=88: 0.075873
t=89: 0.075873
t=90: 0.075873
t=91: 0.075873
t=92: 0.075873
t=93: 0.075873
t=94: 0.075873
t=95: 0.075873
t=96: 0.075873
t=97: 0.075873
t=98: 0.075873
t=99: 0.075873
t=100: 0.075873
t=101: 0.075873
t=102: 0.075873
t=103: 0.075873
t=104: 0.075873
t=105: 0.075873
t=106: 0.075873
t=107: 0.075873
t=108: 0.075873
t=109: 0.075873
t=110: 0.075873
t=111: 0.075873
t=112: 0.075873
t=113: 0.075873
t=114: 0.075873
t=115: 0.075873
t=116: 0.075873
t=117: 0.075873
t=118: 0.075873
t=119: 0.075873
t=120: 0.075873
t=121: 0.075873
t=122: 0.075873
t=123: 0.075873
t=124: 0.075873
t=125: 0.075873
t=126: 0.075873
t=127: 0.075873
t=128: 0.075873
t=129: 0.075873
t=130: 0.075873
t=131: 0.075873
t=132: 0.075873
t=133: 0.075873
t=134: 0.075873
t=135: 0.075873
t=136: 0.075873
t=137: 0.075873
t=138: 0.075873
t=139: 0.075873
t=140: 0.075873
t=141: 0.075873
t=142: 0.075873
t=143: 0.075873
t=144: 0.075873
t=145: 0.075873
t=146: 0.075873
t=147: 0.075873
t=148: 0.075873
t=149: 0.075873
t=150: 0.075873
t=151: 0.075873
t=152: 0.075873
t=153: 0.075873
t=154: 0.075873
t=155: 0.075873
t=156: 0.075873
t=157: 0.075873
t=158: 0.075873
t=159: 0.075873
t=160: 0.075873
t=161: 0.075873
t=162: 0.075873
t=163: 0.075873
t=164: 0.075873
t=165: 0.075873
t=166: 0.075873
t=167: 0.075873
t=168: 0.075873
t=169: 0.075873
t=170: 0.075873
t=171: 0.075873
t=172: 0.075873
t=173: 0.075873
t=174: 0.075873
t=175: 0.075873
t=176: 0.075873
t=177: 0.075873
t=178: 0.075873
t=179: 0.075873
t=180: 0.075873
t=181: 0.075873
t=182: 0.075083
t=183: 0.075083
t=184: 0.075083
t=185: 0.075083
t=186: 0.075083
t=187: 0.075083
t=188: 0.075083
t=189: 0.075083
t=190: 0.075083
t=191: 0.075083
t=192: 0.075083
t=193: 0.075083
t=194: 0.075083
t=195: 0.075083
t=196: 0.075083
t=197: 0.075083
t=198: 0.075083
t=199: 0.075083
t=200: 0.075083
total: 0.075184
2023-08-03 09:00:03 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 13263914 ms
2023-08-03 09:00:03 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (474474 satisfiable and 0 unsatisfiable bindings out of 474474 bindings)
2023-08-03 09:00:03 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics check returned a definite answer on 100.000000 % of the entailed bindings
Query Results (0 answers): 
NO RESULTS

Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |   13397479
loading ontologies                                        |      46676
initial consistency check                                 |        278
parsing query file                                        |         15
query execution (w/o loading & initial consistency check) |   13350333
