2023-08-02 10:30:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.282
Query file: /benchmarks/queries/01_intersecting_vru.tcq
Start parsing query file
2023-08-02 10:30:46 FINE openllet.tcq.parser.TemporalConjunctiveQueryParser parse Propositional abstraction is {a=query(?x, ?v) :- Type(?x, Vehicle) , Type(?v, Vulnerable_Road_User), b=query(?x, ?v) :- PropertyValue(?x, is_in_proximity, ?v), c=query(?x, ?v) :- PropertyValue(?x, has_intersecting_path, ?v)}
Finished parsing query file in 00:00:00.010
Query: 
-----------------------------------------------------
# Intersecting vulnerable road user

PREFIX l4c: <http://purl.org/auto/l4_core#>
PREFIX l4d: <http://purl.org/auto/l4_de#>
PREFIX phy: <http://purl.org/auto/physics#>

G (l4c:Vehicle(?x) ^ l4d:Vulnerable_Road_User(?v))
	&
F
(
	(phy:is_in_proximity(?x,?v)) U_[5,10] (phy:has_intersecting_path(?x,?v))
)
-----------------------------------------------------
2023-08-02 10:30:46 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, v) :- G (http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l4_de#Vulnerable_Road_User(?v))&F((http://purl.org/auto/physics#is_in_proximity(?x,?v)) U_[5,10] (http://purl.org/auto/physics#has_intersecting_path(?x,?v)))
2023-08-02 10:30:46 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-11869587556171453234.dot
2023-08-02 10:30:47 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 10:30:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_1.owl
2023-08-02 10:30:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_2.owl
2023-08-02 10:30:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_3.owl
2023-08-02 10:30:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_4.owl
2023-08-02 10:30:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_5.owl
2023-08-02 10:30:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_6.owl
2023-08-02 10:30:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_7.owl
2023-08-02 10:30:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_8.owl
2023-08-02 10:30:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_9.owl
2023-08-02 10:30:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_10.owl
2023-08-02 10:30:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_11.owl
2023-08-02 10:30:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_12.owl
2023-08-02 10:30:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_13.owl
2023-08-02 10:30:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_14.owl
2023-08-02 10:30:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_15.owl
2023-08-02 10:30:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_16.owl
2023-08-02 10:30:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_17.owl
2023-08-02 10:30:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_18.owl
2023-08-02 10:30:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_19.owl
2023-08-02 10:30:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_20.owl
2023-08-02 10:30:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_21.owl
2023-08-02 10:30:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_22.owl
2023-08-02 10:30:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_23.owl
2023-08-02 10:30:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_24.owl
2023-08-02 10:30:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_25.owl
2023-08-02 10:30:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_26.owl
2023-08-02 10:30:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_27.owl
2023-08-02 10:30:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_28.owl
2023-08-02 10:30:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_29.owl
2023-08-02 10:30:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_30.owl
2023-08-02 10:31:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_31.owl
2023-08-02 10:31:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_32.owl
2023-08-02 10:31:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_33.owl
2023-08-02 10:31:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_34.owl
2023-08-02 10:31:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_35.owl
2023-08-02 10:31:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_36.owl
2023-08-02 10:31:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_37.owl
2023-08-02 10:31:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_38.owl
2023-08-02 10:31:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_39.owl
2023-08-02 10:31:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_40.owl
2023-08-02 10:31:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_41.owl
2023-08-02 10:31:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_42.owl
2023-08-02 10:31:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_43.owl
2023-08-02 10:31:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_44.owl
2023-08-02 10:31:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_45.owl
2023-08-02 10:31:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_46.owl
2023-08-02 10:31:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_47.owl
2023-08-02 10:31:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_48.owl
2023-08-02 10:31:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_49.owl
2023-08-02 10:31:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_50.owl
2023-08-02 10:31:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_51.owl
2023-08-02 10:31:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_52.owl
2023-08-02 10:31:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_53.owl
2023-08-02 10:31:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_54.owl
2023-08-02 10:31:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_55.owl
2023-08-02 10:31:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_56.owl
2023-08-02 10:31:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_57.owl
2023-08-02 10:31:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_58.owl
2023-08-02 10:31:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_59.owl
2023-08-02 10:31:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_60.owl
2023-08-02 10:31:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_61.owl
2023-08-02 10:31:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_62.owl
2023-08-02 10:31:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_63.owl
2023-08-02 10:31:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_64.owl
2023-08-02 10:31:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_65.owl
2023-08-02 10:31:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_66.owl
2023-08-02 10:31:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_67.owl
2023-08-02 10:31:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_68.owl
2023-08-02 10:31:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_69.owl
2023-08-02 10:31:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_70.owl
2023-08-02 10:31:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_71.owl
2023-08-02 10:31:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_72.owl
2023-08-02 10:31:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_73.owl
2023-08-02 10:31:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_74.owl
2023-08-02 10:31:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_75.owl
2023-08-02 10:31:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_76.owl
2023-08-02 10:31:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_77.owl
2023-08-02 10:31:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_78.owl
2023-08-02 10:31:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_79.owl
2023-08-02 10:31:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_80.owl
2023-08-02 10:31:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_81.owl
2023-08-02 10:31:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_82.owl
2023-08-02 10:31:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_83.owl
2023-08-02 10:31:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_84.owl
2023-08-02 10:31:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_85.owl
2023-08-02 10:31:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_86.owl
2023-08-02 10:31:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_87.owl
2023-08-02 10:31:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_88.owl
2023-08-02 10:31:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_89.owl
2023-08-02 10:31:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_90.owl
2023-08-02 10:31:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_91.owl
2023-08-02 10:31:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_92.owl
2023-08-02 10:31:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_93.owl
2023-08-02 10:31:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_94.owl
2023-08-02 10:31:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_95.owl
2023-08-02 10:31:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_96.owl
2023-08-02 10:31:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_97.owl
2023-08-02 10:31:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_98.owl
2023-08-02 10:31:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_99.owl
2023-08-02 10:31:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_100.owl
2023-08-02 10:31:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_101.owl
2023-08-02 10:31:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_102.owl
2023-08-02 10:31:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_103.owl
2023-08-02 10:31:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_104.owl
2023-08-02 10:31:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_105.owl
2023-08-02 10:31:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_106.owl
2023-08-02 10:31:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_107.owl
2023-08-02 10:31:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_108.owl
2023-08-02 10:31:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_109.owl
2023-08-02 10:31:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_110.owl
2023-08-02 10:31:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_111.owl
2023-08-02 10:31:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_112.owl
2023-08-02 10:31:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_113.owl
2023-08-02 10:31:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_114.owl
2023-08-02 10:31:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_115.owl
2023-08-02 10:31:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_116.owl
2023-08-02 10:31:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_117.owl
2023-08-02 10:31:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_118.owl
2023-08-02 10:31:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_119.owl
2023-08-02 10:31:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_120.owl
2023-08-02 10:31:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_121.owl
2023-08-02 10:31:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_122.owl
2023-08-02 10:31:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_123.owl
2023-08-02 10:31:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_124.owl
2023-08-02 10:31:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_125.owl
2023-08-02 10:31:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_126.owl
2023-08-02 10:31:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_127.owl
2023-08-02 10:31:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_128.owl
2023-08-02 10:31:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_129.owl
2023-08-02 10:31:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_130.owl
2023-08-02 10:31:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_131.owl
2023-08-02 10:31:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_132.owl
2023-08-02 10:31:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_133.owl
2023-08-02 10:31:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_134.owl
2023-08-02 10:31:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_135.owl
2023-08-02 10:31:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_136.owl
2023-08-02 10:31:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_137.owl
2023-08-02 10:31:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_138.owl
2023-08-02 10:31:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_139.owl
2023-08-02 10:31:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_140.owl
2023-08-02 10:31:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_141.owl
2023-08-02 10:31:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_142.owl
2023-08-02 10:31:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_143.owl
2023-08-02 10:31:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_144.owl
2023-08-02 10:31:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_145.owl
2023-08-02 10:31:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_146.owl
2023-08-02 10:31:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_147.owl
2023-08-02 10:31:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_148.owl
2023-08-02 10:31:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_149.owl
2023-08-02 10:31:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_150.owl
2023-08-02 10:31:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_151.owl
2023-08-02 10:31:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_152.owl
2023-08-02 10:31:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_153.owl
2023-08-02 10:31:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_154.owl
2023-08-02 10:31:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_155.owl
2023-08-02 10:31:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_156.owl
2023-08-02 10:31:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_157.owl
2023-08-02 10:31:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_158.owl
2023-08-02 10:31:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_159.owl
2023-08-02 10:31:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_160.owl
2023-08-02 10:31:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_161.owl
2023-08-02 10:31:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_162.owl
2023-08-02 10:31:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_163.owl
2023-08-02 10:31:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_164.owl
2023-08-02 10:31:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_165.owl
2023-08-02 10:31:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_166.owl
2023-08-02 10:32:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_167.owl
2023-08-02 10:32:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_168.owl
2023-08-02 10:32:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_169.owl
2023-08-02 10:32:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_170.owl
2023-08-02 10:32:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_171.owl
2023-08-02 10:32:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_172.owl
2023-08-02 10:32:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_173.owl
2023-08-02 10:32:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_174.owl
2023-08-02 10:32:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_175.owl
2023-08-02 10:32:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_176.owl
2023-08-02 10:32:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_177.owl
2023-08-02 10:32:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_178.owl
2023-08-02 10:32:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_179.owl
2023-08-02 10:32:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_180.owl
2023-08-02 10:32:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_181.owl
2023-08-02 10:32:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_182.owl
2023-08-02 10:32:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_183.owl
2023-08-02 10:32:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_184.owl
2023-08-02 10:32:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_185.owl
2023-08-02 10:32:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_186.owl
2023-08-02 10:32:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_187.owl
2023-08-02 10:32:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_188.owl
2023-08-02 10:32:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_189.owl
2023-08-02 10:32:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_190.owl
2023-08-02 10:32:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_191.owl
2023-08-02 10:32:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_192.owl
2023-08-02 10:32:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_193.owl
2023-08-02 10:32:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_194.owl
2023-08-02 10:32:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_195.owl
2023-08-02 10:32:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_196.owl
2023-08-02 10:32:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_197.owl
2023-08-02 10:32:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_198.owl
2023-08-02 10:32:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_199.owl
2023-08-02 10:32:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_200.owl
2023-08-02 10:32:14 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 10:32:14 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 62907 ms
2023-08-02 10:32:14 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 99.691146 % (8710 satisfiable and 5 unsatisfiable bindings out of 8742 bindings)
2023-08-02 10:32:14 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-02 10:32:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_0.owl
2023-08-02 10:32:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_1.owl
2023-08-02 10:32:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_2.owl
2023-08-02 10:32:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_3.owl
2023-08-02 10:32:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_4.owl
2023-08-02 10:32:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_5.owl
2023-08-02 10:32:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_6.owl
2023-08-02 10:32:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_7.owl
2023-08-02 10:32:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_8.owl
2023-08-02 10:32:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_9.owl
2023-08-02 10:32:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_10.owl
2023-08-02 10:32:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_11.owl
2023-08-02 10:32:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_12.owl
2023-08-02 10:32:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_13.owl
2023-08-02 10:32:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_14.owl
2023-08-02 10:32:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_15.owl
2023-08-02 10:32:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_16.owl
2023-08-02 10:32:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_17.owl
2023-08-02 10:32:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_18.owl
2023-08-02 10:32:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_19.owl
2023-08-02 10:32:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_20.owl
2023-08-02 10:32:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_21.owl
2023-08-02 10:32:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_22.owl
2023-08-02 10:32:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_23.owl
2023-08-02 10:32:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_24.owl
2023-08-02 10:32:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_25.owl
2023-08-02 10:32:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_26.owl
2023-08-02 10:32:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_27.owl
2023-08-02 10:32:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_28.owl
2023-08-02 10:32:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_29.owl
2023-08-02 10:32:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_30.owl
2023-08-02 10:32:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_31.owl
2023-08-02 10:32:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_32.owl
2023-08-02 10:32:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_33.owl
2023-08-02 10:32:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_34.owl
2023-08-02 10:32:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_35.owl
2023-08-02 10:32:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_36.owl
2023-08-02 10:32:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_37.owl
2023-08-02 10:32:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_38.owl
2023-08-02 10:32:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_39.owl
2023-08-02 10:32:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_40.owl
2023-08-02 10:32:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_41.owl
2023-08-02 10:32:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_42.owl
2023-08-02 10:32:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_43.owl
2023-08-02 10:32:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_44.owl
2023-08-02 10:32:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_45.owl
2023-08-02 10:32:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_46.owl
2023-08-02 10:32:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_47.owl
2023-08-02 10:32:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_48.owl
2023-08-02 10:32:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_49.owl
2023-08-02 10:32:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_50.owl
2023-08-02 10:32:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_51.owl
2023-08-02 10:32:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_52.owl
2023-08-02 10:32:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_53.owl
2023-08-02 10:32:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_54.owl
2023-08-02 10:33:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_55.owl
2023-08-02 10:33:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_56.owl
2023-08-02 10:33:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_57.owl
2023-08-02 10:33:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_58.owl
2023-08-02 10:33:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_59.owl
2023-08-02 10:33:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_60.owl
2023-08-02 10:33:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_61.owl
2023-08-02 10:33:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_62.owl
2023-08-02 10:33:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_63.owl
2023-08-02 10:33:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_64.owl
2023-08-02 10:33:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_65.owl
2023-08-02 10:33:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_66.owl
2023-08-02 10:33:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_67.owl
2023-08-02 10:33:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_68.owl
2023-08-02 10:33:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_69.owl
2023-08-02 10:33:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_70.owl
2023-08-02 10:33:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_71.owl
2023-08-02 10:33:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_72.owl
2023-08-02 10:33:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_73.owl
2023-08-02 10:33:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_74.owl
2023-08-02 10:33:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_75.owl
2023-08-02 10:33:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_76.owl
2023-08-02 10:33:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_77.owl
2023-08-02 10:33:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_78.owl
2023-08-02 10:33:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_79.owl
2023-08-02 10:33:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_80.owl
2023-08-02 10:33:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_81.owl
2023-08-02 10:33:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_82.owl
2023-08-02 10:33:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_83.owl
2023-08-02 10:33:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_84.owl
2023-08-02 10:33:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_85.owl
2023-08-02 10:33:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_86.owl
2023-08-02 10:33:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_87.owl
2023-08-02 10:33:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_88.owl
2023-08-02 10:33:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_89.owl
2023-08-02 10:33:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_90.owl
2023-08-02 10:33:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_91.owl
2023-08-02 10:33:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_92.owl
2023-08-02 10:33:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_93.owl
2023-08-02 10:33:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_94.owl
2023-08-02 10:33:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_95.owl
2023-08-02 10:33:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_96.owl
2023-08-02 10:33:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_97.owl
2023-08-02 10:33:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_98.owl
2023-08-02 10:33:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_99.owl
2023-08-02 10:33:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_100.owl
2023-08-02 10:33:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_101.owl
2023-08-02 10:33:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_102.owl
2023-08-02 10:33:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_103.owl
2023-08-02 10:33:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_104.owl
2023-08-02 10:33:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_105.owl
2023-08-02 10:33:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_106.owl
2023-08-02 10:33:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_107.owl
2023-08-02 10:33:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_108.owl
2023-08-02 10:33:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_109.owl
2023-08-02 10:33:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_110.owl
2023-08-02 10:33:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_111.owl
2023-08-02 10:33:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_112.owl
2023-08-02 10:33:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_113.owl
2023-08-02 10:33:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_114.owl
2023-08-02 10:33:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_115.owl
2023-08-02 10:33:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_116.owl
2023-08-02 10:33:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_117.owl
2023-08-02 10:34:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_118.owl
2023-08-02 10:34:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_119.owl
2023-08-02 10:34:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_120.owl
2023-08-02 10:34:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_121.owl
2023-08-02 10:34:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_122.owl
2023-08-02 10:34:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_123.owl
2023-08-02 10:34:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_124.owl
2023-08-02 10:34:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_125.owl
2023-08-02 10:34:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_126.owl
2023-08-02 10:34:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_127.owl
2023-08-02 10:34:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_128.owl
2023-08-02 10:34:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_129.owl
2023-08-02 10:34:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_130.owl
2023-08-02 10:34:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_131.owl
2023-08-02 10:34:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_132.owl
2023-08-02 10:34:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_133.owl
2023-08-02 10:34:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_134.owl
2023-08-02 10:34:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_135.owl
2023-08-02 10:34:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_136.owl
2023-08-02 10:34:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_137.owl
2023-08-02 10:34:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_138.owl
2023-08-02 10:34:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_139.owl
2023-08-02 10:34:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_140.owl
2023-08-02 10:34:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_141.owl
2023-08-02 10:34:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_142.owl
2023-08-02 10:34:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_143.owl
2023-08-02 10:34:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_144.owl
2023-08-02 10:34:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_145.owl
2023-08-02 10:34:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_146.owl
2023-08-02 10:34:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_147.owl
2023-08-02 10:34:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_148.owl
2023-08-02 10:34:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_149.owl
2023-08-02 10:34:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_150.owl
2023-08-02 10:34:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_151.owl
2023-08-02 10:34:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_152.owl
2023-08-02 10:34:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_153.owl
2023-08-02 10:34:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_154.owl
2023-08-02 10:34:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_155.owl
2023-08-02 10:34:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_156.owl
2023-08-02 10:34:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_157.owl
2023-08-02 10:34:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_158.owl
2023-08-02 10:34:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_159.owl
2023-08-02 10:34:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_160.owl
2023-08-02 10:34:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_161.owl
2023-08-02 10:34:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_162.owl
2023-08-02 10:34:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_163.owl
2023-08-02 10:34:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_164.owl
2023-08-02 10:34:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_165.owl
2023-08-02 10:34:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_166.owl
2023-08-02 10:34:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_167.owl
2023-08-02 10:34:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_168.owl
2023-08-02 10:34:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_169.owl
2023-08-02 10:34:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_170.owl
2023-08-02 10:34:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_171.owl
2023-08-02 10:34:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_172.owl
2023-08-02 10:34:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_173.owl
2023-08-02 10:34:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_174.owl
2023-08-02 10:34:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_175.owl
2023-08-02 10:34:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_176.owl
2023-08-02 10:34:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_177.owl
2023-08-02 10:34:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_178.owl
2023-08-02 10:34:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_179.owl
2023-08-02 10:35:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_180.owl
2023-08-02 10:35:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_181.owl
2023-08-02 10:35:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_182.owl
2023-08-02 10:35:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_183.owl
2023-08-02 10:35:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_184.owl
2023-08-02 10:35:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_185.owl
2023-08-02 10:35:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_186.owl
2023-08-02 10:35:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_187.owl
2023-08-02 10:35:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_188.owl
2023-08-02 10:35:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_189.owl
2023-08-02 10:35:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_190.owl
2023-08-02 10:35:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_191.owl
2023-08-02 10:35:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_192.owl
2023-08-02 10:35:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_193.owl
2023-08-02 10:35:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_194.owl
2023-08-02 10:35:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_195.owl
2023-08-02 10:35:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_196.owl
2023-08-02 10:35:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_197.owl
2023-08-02 10:35:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_198.owl
2023-08-02 10:35:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_199.owl
2023-08-02 10:35:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded x_s0_n4_i_200.owl
2023-08-02 10:35:22 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 10:35:22 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 0.154427
t=1: 0.154427
t=2: 0.154427
t=3: 0.154427
t=4: 0.154427
t=5: 0.205903
t=6: 0.185312
t=7: 0.185312
t=8: 0.185312
t=9: 0.185312
t=10: 0.185312
t=11: 0.185312
t=12: 0.185312
t=13: 0.185312
t=14: 0.185312
t=15: 0.185312
t=16: 0.185312
t=17: 0.185312
t=18: 0.185312
t=19: 0.185312
t=20: 0.185312
t=21: 0.185312
t=22: 0.185312
t=23: 0.185312
t=24: 0.185312
t=25: 0.185312
t=26: 0.185312
t=27: 0.185312
t=28: 0.185312
t=29: 0.185312
t=30: 0.185312
t=31: 0.185312
t=32: 0.185312
t=33: 0.185312
t=34: 0.185312
t=35: 0.185312
t=36: 0.185312
t=37: 0.185312
t=38: 0.185312
t=39: 0.185312
t=40: 0.185312
t=41: 0.185312
t=42: 0.185312
t=43: 0.185312
t=44: 0.185312
t=45: 0.185312
t=46: 0.185312
t=47: 0.185312
t=48: 0.185312
t=49: 0.185312
t=50: 0.185312
t=51: 0.185312
t=52: 0.185312
t=53: 0.185312
t=54: 0.185312
t=55: 0.185312
t=56: 0.185312
t=57: 0.185312
t=58: 0.185312
t=59: 0.185312
t=60: 0.185312
t=61: 0.185312
t=62: 0.185312
t=63: 0.185312
t=64: 0.185312
t=65: 0.185312
t=66: 0.185312
t=67: 0.185312
t=68: 0.185312
t=69: 0.185312
t=70: 0.185312
t=71: 0.185312
t=72: 0.185312
t=73: 0.185312
t=74: 0.185312
t=75: 0.185312
t=76: 0.185312
t=77: 0.185312
t=78: 0.185312
t=79: 0.185312
t=80: 0.185312
t=81: 0.185312
t=82: 0.185312
t=83: 0.185312
t=84: 0.185312
t=85: 0.185312
t=86: 0.185312
t=87: 0.185312
t=88: 0.185312
t=89: 0.185312
t=90: 0.185312
t=91: 0.185312
t=92: 0.185312
t=93: 0.185312
t=94: 0.185312
t=95: 0.185312
t=96: 0.185312
t=97: 0.185312
t=98: 0.185312
t=99: 0.185312
t=100: 0.185312
t=101: 0.185312
t=102: 0.185312
t=103: 0.185312
t=104: 0.185312
t=105: 0.185312
t=106: 0.185312
t=107: 0.185312
t=108: 0.185312
t=109: 0.185312
t=110: 0.185312
t=111: 0.185312
t=112: 0.185312
t=113: 0.185312
t=114: 0.185312
t=115: 0.185312
t=116: 0.185312
t=117: 0.185312
t=118: 0.185312
t=119: 0.185312
t=120: 0.185312
t=121: 0.185312
t=122: 0.185312
t=123: 0.185312
t=124: 0.185312
t=125: 0.185312
t=126: 0.185312
t=127: 0.185312
t=128: 0.185312
t=129: 0.185312
t=130: 0.185312
t=131: 0.185312
t=132: 0.185312
t=133: 0.185312
t=134: 0.185312
t=135: 0.185312
t=136: 0.185312
t=137: 0.185312
t=138: 0.185312
t=139: 0.185312
t=140: 0.185312
t=141: 0.185312
t=142: 0.185312
t=143: 0.185312
t=144: 0.185312
t=145: 0.185312
t=146: 0.185312
t=147: 0.185312
t=148: 0.185312
t=149: 0.185312
t=150: 0.185312
t=151: 0.185312
t=152: 0.185312
t=153: 0.185312
t=154: 0.185312
t=155: 0.185312
t=156: 0.185312
t=157: 0.185312
t=158: 0.185312
t=159: 0.185312
t=160: 0.185312
t=161: 0.185312
t=162: 0.185312
t=163: 0.185312
t=164: 0.185312
t=165: 0.185312
t=166: 0.185312
t=167: 0.185312
t=168: 0.185312
t=169: 0.185312
t=170: 0.185312
t=171: 0.185312
t=172: 0.185312
t=173: 0.185312
t=174: 0.185312
t=175: 0.185312
t=176: 0.185312
t=177: 0.185312
t=178: 0.185312
t=179: 0.185312
t=180: 0.185312
t=181: 0.185312
t=182: 0.185312
t=183: 0.185312
t=184: 0.185312
t=185: 0.185312
t=186: 0.185312
t=187: 0.185312
t=188: 0.185312
t=189: 0.185312
t=190: 0.185312
t=191: 0.185312
t=192: 0.185312
t=193: 0.185312
t=194: 0.185312
t=195: 0.185312
t=196: 0.185312
t=197: 0.185312
t=198: 0.185312
t=199: 0.185312
t=200: 0.185312
total: 0.184646
2023-08-02 10:35:22 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 165426 ms
2023-08-02 10:35:22 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (8737 satisfiable and 5 unsatisfiable bindings out of 8742 bindings)
2023-08-02 10:35:22 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(v)                               
==========================================================================
http://purl.org/auto/l4_de#veh2 | http://purl.org/auto/l4_core#pedestrian4
http://purl.org/auto/l4_de#veh4 | http://purl.org/auto/l4_core#pedestrian4
http://purl.org/auto/l4_de#veh6 | http://purl.org/auto/l4_core#pedestrian4
http://purl.org/auto/l4_de#veh5 | http://purl.org/auto/l4_core#pedestrian1
http://purl.org/auto/l4_de#veh1 | http://purl.org/auto/l4_core#pedestrian1


Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |     276431
loading ontologies                                        |      47623
initial consistency check                                 |        282
parsing query file                                        |         10
query execution (w/o loading & initial consistency check) |     228338
