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


Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |     700514
loading ontologies                                        |      34237
initial consistency check                                 |        378
parsing query file                                        |         12
query execution (w/o loading & initial consistency check) |     665719
