2023-08-02 12:04:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.394
Query file: /benchmarks/queries/02_passing_parking_vehicles.tcq
Start parsing query file
2023-08-02 12:04:33 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.013
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 12:04:33 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 12:04:33 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-7445234836955462348.dot
2023-08-02 12:04:33 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 12:04:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_1.owl
2023-08-02 12:04:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_2.owl
2023-08-02 12:04:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_3.owl
2023-08-02 12:04:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_4.owl
2023-08-02 12:04:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_5.owl
2023-08-02 12:04:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_6.owl
2023-08-02 12:04:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_7.owl
2023-08-02 12:04:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_8.owl
2023-08-02 12:04:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_9.owl
2023-08-02 12:04:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_10.owl
2023-08-02 12:04:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_11.owl
2023-08-02 12:04:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_12.owl
2023-08-02 12:04:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_13.owl
2023-08-02 12:05:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_14.owl
2023-08-02 12:05:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_15.owl
2023-08-02 12:05:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_16.owl
2023-08-02 12:05:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_17.owl
2023-08-02 12:05:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_18.owl
2023-08-02 12:05:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_19.owl
2023-08-02 12:05:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_20.owl
2023-08-02 12:05:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_21.owl
2023-08-02 12:05:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_22.owl
2023-08-02 12:05:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_23.owl
2023-08-02 12:05:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_24.owl
2023-08-02 12:05:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_25.owl
2023-08-02 12:05:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_26.owl
2023-08-02 12:05:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_27.owl
2023-08-02 12:05:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_28.owl
2023-08-02 12:05:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_29.owl
2023-08-02 12:05:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_30.owl
2023-08-02 12:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_31.owl
2023-08-02 12:05:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_32.owl
2023-08-02 12:05:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_33.owl
2023-08-02 12:05:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_34.owl
2023-08-02 12:05:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_35.owl
2023-08-02 12:05:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_36.owl
2023-08-02 12:05:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_37.owl
2023-08-02 12:05:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_38.owl
2023-08-02 12:05:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_39.owl
2023-08-02 12:05:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_40.owl
2023-08-02 12:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_41.owl
2023-08-02 12:05:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_42.owl
2023-08-02 12:05:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_43.owl
2023-08-02 12:06:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_44.owl
2023-08-02 12:06:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_45.owl
2023-08-02 12:06:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_46.owl
2023-08-02 12:06:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_47.owl
2023-08-02 12:06:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_48.owl
2023-08-02 12:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_49.owl
2023-08-02 12:06:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_50.owl
2023-08-02 12:06:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_51.owl
2023-08-02 12:06:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_52.owl
2023-08-02 12:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_53.owl
2023-08-02 12:06:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_54.owl
2023-08-02 12:06:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_55.owl
2023-08-02 12:06:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_56.owl
2023-08-02 12:06:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_57.owl
2023-08-02 12:06:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_58.owl
2023-08-02 12:06:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_59.owl
2023-08-02 12:06:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_60.owl
2023-08-02 12:06:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_61.owl
2023-08-02 12:06:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_62.owl
2023-08-02 12:06:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_63.owl
2023-08-02 12:06:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_64.owl
2023-08-02 12:06:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_65.owl
2023-08-02 12:06:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_66.owl
2023-08-02 12:06:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_67.owl
2023-08-02 12:06:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_68.owl
2023-08-02 12:06:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_69.owl
2023-08-02 12:06:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_70.owl
2023-08-02 12:06:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_71.owl
2023-08-02 12:06:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_72.owl
2023-08-02 12:06:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_73.owl
2023-08-02 12:06:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_74.owl
2023-08-02 12:06:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_75.owl
2023-08-02 12:06:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_76.owl
2023-08-02 12:07:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_77.owl
2023-08-02 12:07:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_78.owl
2023-08-02 12:07:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_79.owl
2023-08-02 12:07:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_80.owl
2023-08-02 12:07:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_81.owl
2023-08-02 12:07:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_82.owl
2023-08-02 12:07:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_83.owl
2023-08-02 12:07:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_84.owl
2023-08-02 12:07:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_85.owl
2023-08-02 12:07:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_86.owl
2023-08-02 12:07:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_87.owl
2023-08-02 12:07:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_88.owl
2023-08-02 12:07:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_89.owl
2023-08-02 12:07:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_90.owl
2023-08-02 12:07:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_91.owl
2023-08-02 12:07:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_92.owl
2023-08-02 12:07:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_93.owl
2023-08-02 12:07:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_94.owl
2023-08-02 12:07:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_95.owl
2023-08-02 12:07:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_96.owl
2023-08-02 12:07:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_97.owl
2023-08-02 12:07:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_98.owl
2023-08-02 12:07:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_99.owl
2023-08-02 12:07:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_100.owl
2023-08-02 12:07:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_101.owl
2023-08-02 12:07:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_102.owl
2023-08-02 12:07:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_103.owl
2023-08-02 12:07:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_104.owl
2023-08-02 12:07:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_105.owl
2023-08-02 12:07:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_106.owl
2023-08-02 12:07:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_107.owl
2023-08-02 12:07:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_108.owl
2023-08-02 12:07:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_109.owl
2023-08-02 12:08:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_110.owl
2023-08-02 12:08:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_111.owl
2023-08-02 12:08:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_112.owl
2023-08-02 12:08:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_113.owl
2023-08-02 12:08:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_114.owl
2023-08-02 12:08:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_115.owl
2023-08-02 12:08:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_116.owl
2023-08-02 12:08:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_117.owl
2023-08-02 12:08:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_118.owl
2023-08-02 12:08:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_119.owl
2023-08-02 12:08:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_120.owl
2023-08-02 12:08:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_121.owl
2023-08-02 12:08:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_122.owl
2023-08-02 12:08:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_123.owl
2023-08-02 12:08:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_124.owl
2023-08-02 12:08:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_125.owl
2023-08-02 12:08:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_126.owl
2023-08-02 12:08:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_127.owl
2023-08-02 12:08:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_128.owl
2023-08-02 12:08:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_129.owl
2023-08-02 12:08:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_130.owl
2023-08-02 12:08:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_131.owl
2023-08-02 12:08:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_132.owl
2023-08-02 12:08:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_133.owl
2023-08-02 12:08:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_134.owl
2023-08-02 12:08:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_135.owl
2023-08-02 12:08:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_136.owl
2023-08-02 12:08:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_137.owl
2023-08-02 12:09:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_138.owl
2023-08-02 12:09:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_139.owl
2023-08-02 12:09:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_140.owl
2023-08-02 12:09:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_141.owl
2023-08-02 12:09:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_142.owl
2023-08-02 12:09:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_143.owl
2023-08-02 12:09:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_144.owl
2023-08-02 12:09:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_145.owl
2023-08-02 12:09:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_146.owl
2023-08-02 12:09:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_147.owl
2023-08-02 12:09:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_148.owl
2023-08-02 12:09:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_149.owl
2023-08-02 12:09:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_150.owl
2023-08-02 12:09:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_151.owl
2023-08-02 12:09:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_152.owl
2023-08-02 12:09:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_153.owl
2023-08-02 12:09:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_154.owl
2023-08-02 12:09:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_155.owl
2023-08-02 12:09:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_156.owl
2023-08-02 12:09:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_157.owl
2023-08-02 12:09:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_158.owl
2023-08-02 12:09:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_159.owl
2023-08-02 12:09:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_160.owl
2023-08-02 12:09:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_161.owl
2023-08-02 12:09:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_162.owl
2023-08-02 12:09:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_163.owl
2023-08-02 12:09:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_164.owl
2023-08-02 12:09:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_165.owl
2023-08-02 12:09:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_166.owl
2023-08-02 12:10:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_167.owl
2023-08-02 12:10:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_168.owl
2023-08-02 12:10:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_169.owl
2023-08-02 12:10:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_170.owl
2023-08-02 12:10:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_171.owl
2023-08-02 12:10:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_172.owl
2023-08-02 12:10:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_173.owl
2023-08-02 12:10:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_174.owl
2023-08-02 12:10:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_175.owl
2023-08-02 12:10:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_176.owl
2023-08-02 12:10:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_177.owl
2023-08-02 12:10:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_178.owl
2023-08-02 12:10:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_179.owl
2023-08-02 12:10:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_180.owl
2023-08-02 12:10:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_181.owl
2023-08-02 12:10:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_182.owl
2023-08-02 12:10:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_183.owl
2023-08-02 12:10:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_184.owl
2023-08-02 12:10:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_185.owl
2023-08-02 12:10:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_186.owl
2023-08-02 12:10:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_187.owl
2023-08-02 12:10:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_188.owl
2023-08-02 12:10:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_189.owl
2023-08-02 12:10:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_190.owl
2023-08-02 12:10:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_191.owl
2023-08-02 12:11:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_192.owl
2023-08-02 12:11:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_193.owl
2023-08-02 12:11:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_194.owl
2023-08-02 12:11:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_195.owl
2023-08-02 12:11:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_196.owl
2023-08-02 12:11:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_197.owl
2023-08-02 12:11:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_198.owl
2023-08-02 12:11:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_199.owl
2023-08-02 12:11:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_200.owl
2023-08-02 12:11:24 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 12:11:24 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 393981 ms
2023-08-02 12:11:24 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 98.677885 % (4100 satisfiable and 5 unsatisfiable bindings out of 4160 bindings)
2023-08-02 12:11:24 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-02 12:11:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_0.owl
2023-08-02 12:11:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_1.owl
2023-08-02 12:11:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_2.owl
2023-08-02 12:11:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_3.owl
2023-08-02 12:12:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_4.owl
2023-08-02 12:12:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_5.owl
2023-08-02 12:13:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_6.owl
2023-08-02 12:13:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_7.owl
2023-08-02 12:13:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_8.owl
2023-08-02 12:14:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_9.owl
2023-08-02 12:14:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_10.owl
2023-08-02 12:14:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_11.owl
2023-08-02 12:15:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_12.owl
2023-08-02 12:15:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_13.owl
2023-08-02 12:16:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_14.owl
2023-08-02 12:16:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_15.owl
2023-08-02 12:16:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_16.owl
2023-08-02 12:17:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_17.owl
2023-08-02 12:17:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_18.owl
2023-08-02 12:17:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_19.owl
2023-08-02 12:18:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_20.owl
2023-08-02 12:18:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_21.owl
2023-08-02 12:19:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_22.owl
2023-08-02 12:19:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_23.owl
2023-08-02 12:19:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_24.owl
2023-08-02 12:20:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_25.owl
2023-08-02 12:20:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_26.owl
2023-08-02 12:20:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_27.owl
2023-08-02 12:21:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_28.owl
2023-08-02 12:21:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_29.owl
2023-08-02 12:22:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_30.owl
2023-08-02 12:22:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_31.owl
2023-08-02 12:22:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_32.owl
2023-08-02 12:23:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_33.owl
2023-08-02 12:23:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_34.owl
2023-08-02 12:24:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_35.owl
2023-08-02 12:24:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_36.owl
2023-08-02 12:24:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_37.owl
2023-08-02 12:25:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_38.owl
2023-08-02 12:25:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_39.owl
2023-08-02 12:25:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_40.owl
2023-08-02 12:26:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_41.owl
2023-08-02 12:26:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_42.owl
2023-08-02 12:27:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_43.owl
2023-08-02 12:27:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_44.owl
2023-08-02 12:27:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_45.owl
2023-08-02 12:28:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_46.owl
2023-08-02 12:28:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_47.owl
2023-08-02 12:28:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_48.owl
2023-08-02 12:29:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_49.owl
2023-08-02 12:29:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_50.owl
2023-08-02 12:30:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_51.owl
2023-08-02 12:30:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_52.owl
2023-08-02 12:30:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_53.owl
2023-08-02 12:31:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_54.owl
2023-08-02 12:31:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_55.owl
2023-08-02 12:32:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_56.owl
2023-08-02 12:32:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_57.owl
2023-08-02 12:32:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_58.owl
2023-08-02 12:33:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_59.owl
2023-08-02 12:33:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_60.owl
2023-08-02 12:34:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_61.owl
2023-08-02 12:34:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_62.owl
2023-08-02 12:35:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_63.owl
2023-08-02 12:35:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_64.owl
2023-08-02 12:35:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_65.owl
2023-08-02 12:36:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_66.owl
2023-08-02 12:36:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_67.owl
2023-08-02 12:37:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_68.owl
2023-08-02 12:37:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_69.owl
2023-08-02 12:37:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_70.owl
2023-08-02 12:38:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_71.owl
2023-08-02 12:38:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_72.owl
2023-08-02 12:39:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_73.owl
2023-08-02 12:39:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_74.owl
2023-08-02 12:39:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_75.owl
2023-08-02 12:40:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_76.owl
2023-08-02 12:40:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_77.owl
2023-08-02 12:41:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_78.owl
2023-08-02 12:41:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_79.owl
2023-08-02 12:41:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_80.owl
2023-08-02 12:42:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_81.owl
2023-08-02 12:42:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_82.owl
2023-08-02 12:43:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_83.owl
2023-08-02 12:43:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_84.owl
2023-08-02 12:43:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_85.owl
2023-08-02 12:44:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_86.owl
2023-08-02 12:44:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_87.owl
2023-08-02 12:45:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_88.owl
2023-08-02 12:45:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_89.owl
2023-08-02 12:45:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_90.owl
2023-08-02 12:46:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_91.owl
2023-08-02 12:46:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_92.owl
2023-08-02 12:47:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_93.owl
2023-08-02 12:47:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_94.owl
2023-08-02 12:47:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_95.owl
2023-08-02 12:48:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_96.owl
2023-08-02 12:48:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_97.owl
2023-08-02 12:49:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_98.owl
2023-08-02 12:49:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_99.owl
2023-08-02 12:49:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_100.owl
2023-08-02 12:50:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_101.owl
2023-08-02 12:50:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_102.owl
2023-08-02 12:51:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_103.owl
2023-08-02 12:51:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_104.owl
2023-08-02 12:52:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_105.owl
2023-08-02 12:52:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_106.owl
2023-08-02 12:52:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_107.owl
2023-08-02 12:53:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_108.owl
2023-08-02 12:53:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_109.owl
2023-08-02 12:54:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_110.owl
2023-08-02 12:54:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_111.owl
2023-08-02 12:54:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_112.owl
2023-08-02 12:55:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_113.owl
2023-08-02 12:55:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_114.owl
2023-08-02 12:56:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_115.owl
2023-08-02 12:56:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_116.owl
2023-08-02 12:56:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_117.owl
2023-08-02 12:57:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_118.owl
2023-08-02 12:57:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_119.owl
2023-08-02 12:58:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_120.owl
2023-08-02 12:58:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_121.owl
2023-08-02 12:58:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_122.owl
2023-08-02 12:59:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_123.owl
2023-08-02 12:59:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_124.owl
2023-08-02 13:00:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_125.owl
2023-08-02 13:00:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_126.owl
2023-08-02 13:01:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_127.owl
2023-08-02 13:01:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_128.owl
2023-08-02 13:01:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_129.owl
2023-08-02 13:02:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_130.owl
2023-08-02 13:02:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_131.owl
2023-08-02 13:03:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_132.owl
2023-08-02 13:03:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_133.owl
2023-08-02 13:03:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_134.owl
2023-08-02 13:04:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_135.owl
2023-08-02 13:04:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_136.owl
2023-08-02 13:05:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_137.owl
2023-08-02 13:05:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_138.owl
2023-08-02 13:05:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_139.owl
2023-08-02 13:06:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_140.owl
2023-08-02 13:06:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_141.owl
2023-08-02 13:07:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_142.owl
2023-08-02 13:07:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_143.owl
2023-08-02 13:07:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_144.owl
2023-08-02 13:08:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_145.owl
2023-08-02 13:08:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_146.owl
2023-08-02 13:09:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_147.owl
2023-08-02 13:09:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_148.owl
2023-08-02 13:09:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_149.owl
2023-08-02 13:10:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_150.owl
2023-08-02 13:10:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_151.owl
2023-08-02 13:11:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_152.owl
2023-08-02 13:11:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_153.owl
2023-08-02 13:11:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_154.owl
2023-08-02 13:12:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_155.owl
2023-08-02 13:12:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_156.owl
2023-08-02 13:13:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_157.owl
2023-08-02 13:13:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_158.owl
2023-08-02 13:14:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_159.owl
2023-08-02 13:14:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_160.owl
2023-08-02 13:14:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_161.owl
2023-08-02 13:15:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_162.owl
2023-08-02 13:15:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_163.owl
2023-08-02 13:16:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_164.owl
2023-08-02 13:16:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_165.owl
2023-08-02 13:16:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_166.owl
2023-08-02 13:17:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_167.owl
2023-08-02 13:17:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_168.owl
2023-08-02 13:18:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_169.owl
2023-08-02 13:18:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_170.owl
2023-08-02 13:18:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_171.owl
2023-08-02 13:19:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_172.owl
2023-08-02 13:19:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_173.owl
2023-08-02 13:20:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_174.owl
2023-08-02 13:20:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_175.owl
2023-08-02 13:21:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_176.owl
2023-08-02 13:21:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_177.owl
2023-08-02 13:21:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_178.owl
2023-08-02 13:22:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_179.owl
2023-08-02 13:22:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_180.owl
2023-08-02 13:23:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_181.owl
2023-08-02 13:23:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_182.owl
2023-08-02 13:23:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_183.owl
2023-08-02 13:24:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_184.owl
2023-08-02 13:24:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_185.owl
2023-08-02 13:25:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_186.owl
2023-08-02 13:25:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_187.owl
2023-08-02 13:25:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_188.owl
2023-08-02 13:26:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_189.owl
2023-08-02 13:26:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_190.owl
2023-08-02 13:27:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_191.owl
2023-08-02 13:27:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_192.owl
2023-08-02 13:28:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_193.owl
2023-08-02 13:28:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_194.owl
2023-08-02 13:28:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_195.owl
2023-08-02 13:29:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_196.owl
2023-08-02 13:29:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_197.owl
2023-08-02 13:30:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_198.owl
2023-08-02 13:30:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_199.owl
2023-08-02 13:30:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n5_i_200.owl
2023-08-02 13:31:38 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 13:31:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.801282
t=1: 0.848558
t=2: 0.817308
t=3: 0.817308
t=4: 0.817308
t=5: 0.817308
t=6: 0.817308
t=7: 0.817308
t=8: 0.817308
t=9: 0.817308
t=10: 0.817308
t=11: 0.817308
t=12: 0.817308
t=13: 0.817308
t=14: 0.817308
t=15: 0.817308
t=16: 0.817308
t=17: 0.817308
t=18: 0.817308
t=19: 0.817308
t=20: 0.817308
t=21: 0.817308
t=22: 0.817308
t=23: 0.823317
t=24: 0.823317
t=25: 0.823317
t=26: 0.823317
t=27: 0.829327
t=28: 0.829327
t=29: 0.829327
t=30: 0.829327
t=31: 0.829327
t=32: 0.829327
t=33: 0.829327
t=34: 0.829327
t=35: 0.829327
t=36: 0.829327
t=37: 0.829327
t=38: 0.829327
t=39: 0.829327
t=40: 0.829327
t=41: 0.829327
t=42: 0.829327
t=43: 0.829327
t=44: 0.835337
t=45: 0.835337
t=46: 0.841346
t=47: 0.841346
t=48: 0.841346
t=49: 0.841346
t=50: 0.841346
t=51: 0.841346
t=52: 0.841346
t=53: 0.847356
t=54: 0.847356
t=55: 0.847356
t=56: 0.847356
t=57: 0.847356
t=58: 0.847356
t=59: 0.847356
t=60: 0.847356
t=61: 0.847356
t=62: 0.847356
t=63: 0.847356
t=64: 0.847356
t=65: 0.847356
t=66: 0.847356
t=67: 0.853365
t=68: 0.853365
t=69: 0.853365
t=70: 0.853365
t=71: 0.853365
t=72: 0.853365
t=73: 0.853365
t=74: 0.853365
t=75: 0.853365
t=76: 0.853365
t=77: 0.853365
t=78: 0.853365
t=79: 0.853365
t=80: 0.853365
t=81: 0.853365
t=82: 0.853365
t=83: 0.853365
t=84: 0.853365
t=85: 0.853365
t=86: 0.853365
t=87: 0.853365
t=88: 0.853365
t=89: 0.853365
t=90: 0.853365
t=91: 0.853365
t=92: 0.853365
t=93: 0.853365
t=94: 0.859375
t=95: 0.859375
t=96: 0.859375
t=97: 0.859375
t=98: 0.865385
t=99: 0.865385
t=100: 0.865385
t=101: 0.865385
t=102: 0.865385
t=103: 0.865385
t=104: 0.865385
t=105: 0.865385
t=106: 0.865385
t=107: 0.865385
t=108: 0.865385
t=109: 0.865385
t=110: 0.865385
t=111: 0.865385
t=112: 0.865385
t=113: 0.865385
t=114: 0.865385
t=115: 0.865385
t=116: 0.865385
t=117: 0.865385
t=118: 0.865385
t=119: 0.865385
t=120: 0.865385
t=121: 0.865385
t=122: 0.865385
t=123: 0.865385
t=124: 0.865385
t=125: 0.865385
t=126: 0.865385
t=127: 0.871394
t=128: 0.871394
t=129: 0.871394
t=130: 0.871394
t=131: 0.871394
t=132: 0.871394
t=133: 0.871394
t=134: 0.871394
t=135: 0.871394
t=136: 0.871394
t=137: 0.871394
t=138: 0.871394
t=139: 0.871394
t=140: 0.871394
t=141: 0.871394
t=142: 0.871394
t=143: 0.871394
t=144: 0.871394
t=145: 0.871394
t=146: 0.871394
t=147: 0.871394
t=148: 0.871394
t=149: 0.871394
t=150: 0.871394
t=151: 0.871394
t=152: 0.871394
t=153: 0.871394
t=154: 0.877404
t=155: 0.877404
t=156: 0.877404
t=157: 0.877404
t=158: 0.877404
t=159: 0.877404
t=160: 0.877404
t=161: 0.877404
t=162: 0.877404
t=163: 0.877404
t=164: 0.877404
t=165: 0.877404
t=166: 0.877404
t=167: 0.877404
t=168: 0.877404
t=169: 0.877404
t=170: 0.877404
t=171: 0.877404
t=172: 0.877404
t=173: 0.877404
t=174: 0.877404
t=175: 0.877404
t=176: 0.877404
t=177: 0.877404
t=178: 0.877404
t=179: 0.877404
t=180: 0.877404
t=181: 0.877404
t=182: 0.877404
t=183: 0.877404
t=184: 0.877404
t=185: 0.877404
t=186: 0.877404
t=187: 0.877404
t=188: 0.877404
t=189: 0.877404
t=190: 0.877404
t=191: 0.877404
t=192: 0.877404
t=193: 0.877404
t=194: 0.877404
t=195: 0.877404
t=196: 0.877404
t=197: 0.877404
t=198: 0.877404
t=199: 0.877404
t=200: 0.871394
total: 0.855534
2023-08-02 13:31:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 4796971 ms
2023-08-02 13:31:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (4155 satisfiable and 5 unsatisfiable bindings out of 4160 bindings)
2023-08-02 13:31:38 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics check returned a definite answer on 100.000000 % of the entailed bindings
Query Results (5 answers): 
FunVar(x)                                 | FunVar(y)                            
=================================================================================
http://purl.org/auto/l4_de#bicycle3       | http://purl.org/auto/l4_core#vehicle3
http://purl.org/auto/l4_de#bicycle3       | http://purl.org/auto/l4_core#vehicle4
http://purl.org/auto/l4_de#passenger_car5 | http://purl.org/auto/l4_core#vehicle4
http://purl.org/auto/l4_de#passenger_car5 | http://purl.org/auto/l4_core#vehicle3
http://purl.org/auto/l4_de#passenger_car5 | http://purl.org/auto/l4_core#vehicle5


Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |    5226581
loading ontologies                                        |      35044
initial consistency check                                 |        394
parsing query file                                        |         13
query execution (w/o loading & initial consistency check) |    5190959
