2023-08-02 13:34:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.276
Query file: /benchmarks/queries/02_passing_parking_vehicles.tcq
Start parsing query file
2023-08-02 13:34:21 FINE openllet.tcq.parser.TemporalConjunctiveQueryParser parse Propositional abstraction is {a=query(?x, ?y) :- Type(?x, Vehicle) , Type(?r, 2_Lane_Road) , PropertyValue(?r, sfIntersects, ?x) , Type(?y, Parking_Vehicle), b=query(?y, ?x) :- PropertyValue(?y, is_in_front_of, ?x), c=query(?x, ?y) :- PropertyValue(?x, is_in_proximity, ?y) , PropertyValue(?y, is_to_the_side_of, ?x), d=query(?y, ?x) :- PropertyValue(?y, is_behind, ?x)}
Finished parsing query file in 00:00:00.011
Query: 
-----------------------------------------------------
# Passing of parking vehicles on two-lane roads

PREFIX l1c: <http://purl.org/auto/l1_core#>
PREFIX l1d: <http://purl.org/auto/l1_de#>
PREFIX l4d: <http://purl.org/auto/l4_de#>
PREFIX l4c: <http://purl.org/auto/l4_core#>
PREFIX phy: <http://purl.org/auto/physics#>
PREFIX geo: <http://www.opengis.net/ont/geosparql#>

G (l4c:Vehicle(?x) ^ l1d:2_Lane_Road(r) ^ geo:sfIntersects(r,?x) ^ l4d:Parking_Vehicle(?y))
	&
F
(
	(phy:is_in_front_of(?y,?x))
		&
	X[!]
	(
		(phy:is_in_proximity(?x,?y) ^ phy:is_to_the_side_of(?y,?x))
			U
		(phy:is_behind(?y,?x))
	)
)
-----------------------------------------------------
2023-08-02 13:34:21 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, y) :- G (http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l1_de#2_Lane_Road(r) ^ http://www.opengis.net/ont/geosparql#sfIntersects(r,?x) ^ http://purl.org/auto/l4_de#Parking_Vehicle(?y))&F((http://purl.org/auto/physics#is_in_front_of(?y,?x))&X[!]((http://purl.org/auto/physics#is_in_proximity(?x,?y) ^ http://purl.org/auto/physics#is_to_the_side_of(?y,?x))U(http://purl.org/auto/physics#is_behind(?y,?x))))
2023-08-02 13:34:21 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-5860849232606058082.dot
2023-08-02 13:34:21 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 13:34:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_1.owl
2023-08-02 13:34:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_2.owl
2023-08-02 13:34:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_3.owl
2023-08-02 13:34:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_4.owl
2023-08-02 13:34:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_5.owl
2023-08-02 13:34:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_6.owl
2023-08-02 13:34:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_7.owl
2023-08-02 13:34:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_8.owl
2023-08-02 13:34:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_9.owl
2023-08-02 13:34:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_10.owl
2023-08-02 13:34:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_11.owl
2023-08-02 13:34:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_12.owl
2023-08-02 13:34:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_13.owl
2023-08-02 13:34:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_14.owl
2023-08-02 13:34:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_15.owl
2023-08-02 13:34:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_16.owl
2023-08-02 13:34:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_17.owl
2023-08-02 13:34:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_18.owl
2023-08-02 13:34:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_19.owl
2023-08-02 13:34:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_20.owl
2023-08-02 13:34:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_21.owl
2023-08-02 13:34:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_22.owl
2023-08-02 13:34:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_23.owl
2023-08-02 13:34:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_24.owl
2023-08-02 13:34:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_25.owl
2023-08-02 13:34:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_26.owl
2023-08-02 13:34:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_27.owl
2023-08-02 13:34:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_28.owl
2023-08-02 13:34:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_29.owl
2023-08-02 13:34:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_30.owl
2023-08-02 13:34:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_31.owl
2023-08-02 13:34:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_32.owl
2023-08-02 13:34:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_33.owl
2023-08-02 13:34:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_34.owl
2023-08-02 13:34:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_35.owl
2023-08-02 13:34:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_36.owl
2023-08-02 13:34:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_37.owl
2023-08-02 13:34:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_38.owl
2023-08-02 13:34:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_39.owl
2023-08-02 13:34:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_40.owl
2023-08-02 13:34:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_41.owl
2023-08-02 13:34:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_42.owl
2023-08-02 13:34:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_43.owl
2023-08-02 13:34:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_44.owl
2023-08-02 13:34:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_45.owl
2023-08-02 13:34:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_46.owl
2023-08-02 13:34:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_47.owl
2023-08-02 13:34:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_48.owl
2023-08-02 13:34:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_49.owl
2023-08-02 13:34:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_50.owl
2023-08-02 13:34:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_51.owl
2023-08-02 13:34:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_52.owl
2023-08-02 13:34:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_53.owl
2023-08-02 13:34:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_54.owl
2023-08-02 13:34:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_55.owl
2023-08-02 13:34:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_56.owl
2023-08-02 13:34:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_57.owl
2023-08-02 13:34:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_58.owl
2023-08-02 13:34:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_59.owl
2023-08-02 13:34:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_60.owl
2023-08-02 13:34:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_61.owl
2023-08-02 13:34:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_62.owl
2023-08-02 13:35:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_63.owl
2023-08-02 13:35:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_64.owl
2023-08-02 13:35:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_65.owl
2023-08-02 13:35:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_66.owl
2023-08-02 13:35:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_67.owl
2023-08-02 13:35:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_68.owl
2023-08-02 13:35:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_69.owl
2023-08-02 13:35:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_70.owl
2023-08-02 13:35:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_71.owl
2023-08-02 13:35:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_72.owl
2023-08-02 13:35:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_73.owl
2023-08-02 13:35:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_74.owl
2023-08-02 13:35:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_75.owl
2023-08-02 13:35:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_76.owl
2023-08-02 13:35:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_77.owl
2023-08-02 13:35:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_78.owl
2023-08-02 13:35:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_79.owl
2023-08-02 13:35:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_80.owl
2023-08-02 13:35:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_81.owl
2023-08-02 13:35:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_82.owl
2023-08-02 13:35:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_83.owl
2023-08-02 13:35:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_84.owl
2023-08-02 13:35:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_85.owl
2023-08-02 13:35:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_86.owl
2023-08-02 13:35:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_87.owl
2023-08-02 13:35:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_88.owl
2023-08-02 13:35:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_89.owl
2023-08-02 13:35:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_90.owl
2023-08-02 13:35:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_91.owl
2023-08-02 13:35:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_92.owl
2023-08-02 13:35:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_93.owl
2023-08-02 13:35:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_94.owl
2023-08-02 13:35:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_95.owl
2023-08-02 13:35:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_96.owl
2023-08-02 13:35:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_97.owl
2023-08-02 13:35:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_98.owl
2023-08-02 13:35:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_99.owl
2023-08-02 13:35:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_100.owl
2023-08-02 13:35:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_101.owl
2023-08-02 13:35:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_102.owl
2023-08-02 13:35:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_103.owl
2023-08-02 13:35:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_104.owl
2023-08-02 13:35:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_105.owl
2023-08-02 13:35:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_106.owl
2023-08-02 13:35:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_107.owl
2023-08-02 13:35:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_108.owl
2023-08-02 13:35:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_109.owl
2023-08-02 13:35:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_110.owl
2023-08-02 13:35:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_111.owl
2023-08-02 13:35:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_112.owl
2023-08-02 13:35:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_113.owl
2023-08-02 13:35:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_114.owl
2023-08-02 13:35:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_115.owl
2023-08-02 13:35:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_116.owl
2023-08-02 13:35:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_117.owl
2023-08-02 13:35:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_118.owl
2023-08-02 13:35:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_119.owl
2023-08-02 13:35:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_120.owl
2023-08-02 13:35:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_121.owl
2023-08-02 13:35:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_122.owl
2023-08-02 13:35:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_123.owl
2023-08-02 13:35:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_124.owl
2023-08-02 13:35:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_125.owl
2023-08-02 13:35:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_126.owl
2023-08-02 13:35:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_127.owl
2023-08-02 13:35:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_128.owl
2023-08-02 13:35:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_129.owl
2023-08-02 13:35:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_130.owl
2023-08-02 13:35:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_131.owl
2023-08-02 13:35:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_132.owl
2023-08-02 13:35:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_133.owl
2023-08-02 13:35:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_134.owl
2023-08-02 13:35:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_135.owl
2023-08-02 13:35:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_136.owl
2023-08-02 13:35:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_137.owl
2023-08-02 13:35:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_138.owl
2023-08-02 13:35:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_139.owl
2023-08-02 13:35:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_140.owl
2023-08-02 13:35:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_141.owl
2023-08-02 13:35:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_142.owl
2023-08-02 13:35:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_143.owl
2023-08-02 13:35:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_144.owl
2023-08-02 13:35:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_145.owl
2023-08-02 13:35:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_146.owl
2023-08-02 13:35:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_147.owl
2023-08-02 13:35:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_148.owl
2023-08-02 13:35:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_149.owl
2023-08-02 13:35:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_150.owl
2023-08-02 13:35:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_151.owl
2023-08-02 13:35:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_152.owl
2023-08-02 13:35:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_153.owl
2023-08-02 13:35:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_154.owl
2023-08-02 13:35:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_155.owl
2023-08-02 13:35:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_156.owl
2023-08-02 13:35:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_157.owl
2023-08-02 13:35:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_158.owl
2023-08-02 13:35:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_159.owl
2023-08-02 13:35:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_160.owl
2023-08-02 13:35:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_161.owl
2023-08-02 13:35:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_162.owl
2023-08-02 13:35:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_163.owl
2023-08-02 13:35:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_164.owl
2023-08-02 13:35:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_165.owl
2023-08-02 13:35:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_166.owl
2023-08-02 13:35:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_167.owl
2023-08-02 13:35:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_168.owl
2023-08-02 13:35:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_169.owl
2023-08-02 13:35:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_170.owl
2023-08-02 13:35:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_171.owl
2023-08-02 13:35:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_172.owl
2023-08-02 13:36:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_173.owl
2023-08-02 13:36:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_174.owl
2023-08-02 13:36:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_175.owl
2023-08-02 13:36:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_176.owl
2023-08-02 13:36:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_177.owl
2023-08-02 13:36:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_178.owl
2023-08-02 13:36:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_179.owl
2023-08-02 13:36:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_180.owl
2023-08-02 13:36:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_181.owl
2023-08-02 13:36:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_182.owl
2023-08-02 13:36:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_183.owl
2023-08-02 13:36:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_184.owl
2023-08-02 13:36:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_185.owl
2023-08-02 13:36:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_186.owl
2023-08-02 13:36:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_187.owl
2023-08-02 13:36:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_188.owl
2023-08-02 13:36:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_189.owl
2023-08-02 13:36:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_190.owl
2023-08-02 13:36:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_191.owl
2023-08-02 13:36:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_192.owl
2023-08-02 13:36:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_193.owl
2023-08-02 13:36:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_194.owl
2023-08-02 13:36:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_195.owl
2023-08-02 13:36:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_196.owl
2023-08-02 13:36:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_197.owl
2023-08-02 13:36:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_198.owl
2023-08-02 13:36:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_199.owl
2023-08-02 13:36:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n3_i_200.owl
2023-08-02 13:36:15 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 13:36:15 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 89625 ms
2023-08-02 13:36:15 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 100.000000 % (7832 satisfiable and 0 unsatisfiable bindings out of 7832 bindings)
2023-08-02 13:36:15 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                                                      |     114916
loading ontologies                                        |      24864
initial consistency check                                 |        276
parsing query file                                        |         11
query execution (w/o loading & initial consistency check) |      89634
