2023-08-02 10:05:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_0.owl
Start initial consistency check
Finished initial consistency check in 00:00:00.363
Query file: /benchmarks/queries/01_intersecting_vru.tcq
Start parsing query file
2023-08-02 10:05:30 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.011
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:05:30 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:05:31 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-1385624088575395347.dot
2023-08-02 10:05:31 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying underapproximating semantics check on DFA
2023-08-02 10:05:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_1.owl
2023-08-02 10:05:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_2.owl
2023-08-02 10:05:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_3.owl
2023-08-02 10:05:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_4.owl
2023-08-02 10:05:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_5.owl
2023-08-02 10:05:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_6.owl
2023-08-02 10:05:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_7.owl
2023-08-02 10:05:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_8.owl
2023-08-02 10:05:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_9.owl
2023-08-02 10:05:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_10.owl
2023-08-02 10:05:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_11.owl
2023-08-02 10:05:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_12.owl
2023-08-02 10:05:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_13.owl
2023-08-02 10:05:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_14.owl
2023-08-02 10:05:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_15.owl
2023-08-02 10:05:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_16.owl
2023-08-02 10:05:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_17.owl
2023-08-02 10:05:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_18.owl
2023-08-02 10:05:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_19.owl
2023-08-02 10:05:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_20.owl
2023-08-02 10:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_21.owl
2023-08-02 10:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_22.owl
2023-08-02 10:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_23.owl
2023-08-02 10:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_24.owl
2023-08-02 10:05:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_25.owl
2023-08-02 10:05:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_26.owl
2023-08-02 10:05:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_27.owl
2023-08-02 10:05:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_28.owl
2023-08-02 10:05:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_29.owl
2023-08-02 10:05:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_30.owl
2023-08-02 10:05:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_31.owl
2023-08-02 10:05:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_32.owl
2023-08-02 10:05:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_33.owl
2023-08-02 10:05:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_34.owl
2023-08-02 10:05:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_35.owl
2023-08-02 10:05:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_36.owl
2023-08-02 10:05:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_37.owl
2023-08-02 10:05:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_38.owl
2023-08-02 10:05:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_39.owl
2023-08-02 10:05:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_40.owl
2023-08-02 10:05:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_41.owl
2023-08-02 10:05:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_42.owl
2023-08-02 10:05:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_43.owl
2023-08-02 10:05:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_44.owl
2023-08-02 10:05:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_45.owl
2023-08-02 10:05:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_46.owl
2023-08-02 10:05:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_47.owl
2023-08-02 10:05:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_48.owl
2023-08-02 10:05:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_49.owl
2023-08-02 10:05:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_50.owl
2023-08-02 10:05:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_51.owl
2023-08-02 10:05:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_52.owl
2023-08-02 10:05:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_53.owl
2023-08-02 10:05:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_54.owl
2023-08-02 10:05:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_55.owl
2023-08-02 10:05:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_56.owl
2023-08-02 10:05:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_57.owl
2023-08-02 10:05:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_58.owl
2023-08-02 10:05:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_59.owl
2023-08-02 10:05:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_60.owl
2023-08-02 10:05:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_61.owl
2023-08-02 10:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_62.owl
2023-08-02 10:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_63.owl
2023-08-02 10:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_64.owl
2023-08-02 10:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_65.owl
2023-08-02 10:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_66.owl
2023-08-02 10:05:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_67.owl
2023-08-02 10:05:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_68.owl
2023-08-02 10:05:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_69.owl
2023-08-02 10:05:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_70.owl
2023-08-02 10:05:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_71.owl
2023-08-02 10:05:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_72.owl
2023-08-02 10:05:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_73.owl
2023-08-02 10:05:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_74.owl
2023-08-02 10:05:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_75.owl
2023-08-02 10:05:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_76.owl
2023-08-02 10:05:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_77.owl
2023-08-02 10:05:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_78.owl
2023-08-02 10:05:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_79.owl
2023-08-02 10:05:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_80.owl
2023-08-02 10:05:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_81.owl
2023-08-02 10:05:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_82.owl
2023-08-02 10:05:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_83.owl
2023-08-02 10:05:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_84.owl
2023-08-02 10:05:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_85.owl
2023-08-02 10:05:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_86.owl
2023-08-02 10:05:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_87.owl
2023-08-02 10:05:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_88.owl
2023-08-02 10:05:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_89.owl
2023-08-02 10:05:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_90.owl
2023-08-02 10:05:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_91.owl
2023-08-02 10:05:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_92.owl
2023-08-02 10:05:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_93.owl
2023-08-02 10:05:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_94.owl
2023-08-02 10:05:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_95.owl
2023-08-02 10:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_96.owl
2023-08-02 10:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_97.owl
2023-08-02 10:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_98.owl
2023-08-02 10:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_99.owl
2023-08-02 10:05:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_100.owl
2023-08-02 10:05:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_101.owl
2023-08-02 10:05:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_102.owl
2023-08-02 10:05:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_103.owl
2023-08-02 10:05:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_104.owl
2023-08-02 10:05:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_105.owl
2023-08-02 10:05:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_106.owl
2023-08-02 10:05:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_107.owl
2023-08-02 10:05:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_108.owl
2023-08-02 10:05:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_109.owl
2023-08-02 10:06:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_110.owl
2023-08-02 10:06:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_111.owl
2023-08-02 10:06:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_112.owl
2023-08-02 10:06:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_113.owl
2023-08-02 10:06:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_114.owl
2023-08-02 10:06:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_115.owl
2023-08-02 10:06:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_116.owl
2023-08-02 10:06:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_117.owl
2023-08-02 10:06:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_118.owl
2023-08-02 10:06:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_119.owl
2023-08-02 10:06:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_120.owl
2023-08-02 10:06:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_121.owl
2023-08-02 10:06:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_122.owl
2023-08-02 10:06:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_123.owl
2023-08-02 10:06:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_124.owl
2023-08-02 10:06:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_125.owl
2023-08-02 10:06:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_126.owl
2023-08-02 10:06:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_127.owl
2023-08-02 10:06:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_128.owl
2023-08-02 10:06:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_129.owl
2023-08-02 10:06:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_130.owl
2023-08-02 10:06:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_131.owl
2023-08-02 10:06:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_132.owl
2023-08-02 10:06:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_133.owl
2023-08-02 10:06:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_134.owl
2023-08-02 10:06:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_135.owl
2023-08-02 10:06:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_136.owl
2023-08-02 10:06:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_137.owl
2023-08-02 10:06:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_138.owl
2023-08-02 10:06:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_139.owl
2023-08-02 10:06:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_140.owl
2023-08-02 10:06:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_141.owl
2023-08-02 10:06:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_142.owl
2023-08-02 10:06:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_143.owl
2023-08-02 10:06:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_144.owl
2023-08-02 10:06:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_145.owl
2023-08-02 10:06:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_146.owl
2023-08-02 10:06:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_147.owl
2023-08-02 10:06:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_148.owl
2023-08-02 10:06:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_149.owl
2023-08-02 10:06:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_150.owl
2023-08-02 10:06:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_151.owl
2023-08-02 10:06:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_152.owl
2023-08-02 10:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_153.owl
2023-08-02 10:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_154.owl
2023-08-02 10:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_155.owl
2023-08-02 10:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_156.owl
2023-08-02 10:06:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_157.owl
2023-08-02 10:06:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_158.owl
2023-08-02 10:06:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_159.owl
2023-08-02 10:06:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_160.owl
2023-08-02 10:06:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_161.owl
2023-08-02 10:06:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_162.owl
2023-08-02 10:06:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_163.owl
2023-08-02 10:06:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_164.owl
2023-08-02 10:06:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_165.owl
2023-08-02 10:06:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_166.owl
2023-08-02 10:06:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_167.owl
2023-08-02 10:06:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_168.owl
2023-08-02 10:06:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_169.owl
2023-08-02 10:06:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_170.owl
2023-08-02 10:06:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_171.owl
2023-08-02 10:06:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_172.owl
2023-08-02 10:06:16 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_173.owl
2023-08-02 10:06:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_174.owl
2023-08-02 10:06:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_175.owl
2023-08-02 10:06:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_176.owl
2023-08-02 10:06:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_177.owl
2023-08-02 10:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_178.owl
2023-08-02 10:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_179.owl
2023-08-02 10:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_180.owl
2023-08-02 10:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_181.owl
2023-08-02 10:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_182.owl
2023-08-02 10:06:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_183.owl
2023-08-02 10:06:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_184.owl
2023-08-02 10:06:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_185.owl
2023-08-02 10:06:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_186.owl
2023-08-02 10:06:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_187.owl
2023-08-02 10:06:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_188.owl
2023-08-02 10:06:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_189.owl
2023-08-02 10:06:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_190.owl
2023-08-02 10:06:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_191.owl
2023-08-02 10:06:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_192.owl
2023-08-02 10:06:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_193.owl
2023-08-02 10:06:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_194.owl
2023-08-02 10:06:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_195.owl
2023-08-02 10:06:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_196.owl
2023-08-02 10:06:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_197.owl
2023-08-02 10:06:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_198.owl
2023-08-02 10:06:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_199.owl
2023-08-02 10:06:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_200.owl
2023-08-02 10:06:25 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 10:06:25 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check took 36162 ms
2023-08-02 10:06:25 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics DFA check returned 97.253068 % (3310 satisfiable and 18 unsatisfiable bindings out of 3422 bindings)
2023-08-02 10:06:25 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-02 10:06:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_0.owl
2023-08-02 10:06:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_1.owl
2023-08-02 10:06:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_2.owl
2023-08-02 10:06:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_3.owl
2023-08-02 10:06:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_4.owl
2023-08-02 10:06:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_5.owl
2023-08-02 10:06:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_6.owl
2023-08-02 10:06:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_7.owl
2023-08-02 10:06:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_8.owl
2023-08-02 10:06:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_9.owl
2023-08-02 10:06:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_10.owl
2023-08-02 10:06:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_11.owl
2023-08-02 10:06:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_12.owl
2023-08-02 10:06:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_13.owl
2023-08-02 10:06:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_14.owl
2023-08-02 10:06:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_15.owl
2023-08-02 10:06:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_16.owl
2023-08-02 10:06:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_17.owl
2023-08-02 10:06:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_18.owl
2023-08-02 10:06:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_19.owl
2023-08-02 10:06:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_20.owl
2023-08-02 10:06:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_21.owl
2023-08-02 10:06:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_22.owl
2023-08-02 10:06:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_23.owl
2023-08-02 10:06:58 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_24.owl
2023-08-02 10:06:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_25.owl
2023-08-02 10:07:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_26.owl
2023-08-02 10:07:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_27.owl
2023-08-02 10:07:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_28.owl
2023-08-02 10:07:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_29.owl
2023-08-02 10:07:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_30.owl
2023-08-02 10:07:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_31.owl
2023-08-02 10:07:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_32.owl
2023-08-02 10:07:09 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_33.owl
2023-08-02 10:07:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_34.owl
2023-08-02 10:07:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_35.owl
2023-08-02 10:07:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_36.owl
2023-08-02 10:07:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_37.owl
2023-08-02 10:07:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_38.owl
2023-08-02 10:07:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_39.owl
2023-08-02 10:07:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_40.owl
2023-08-02 10:07:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_41.owl
2023-08-02 10:07:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_42.owl
2023-08-02 10:07:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_43.owl
2023-08-02 10:07:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_44.owl
2023-08-02 10:07:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_45.owl
2023-08-02 10:07:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_46.owl
2023-08-02 10:07:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_47.owl
2023-08-02 10:07:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_48.owl
2023-08-02 10:07:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_49.owl
2023-08-02 10:07:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_50.owl
2023-08-02 10:07:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_51.owl
2023-08-02 10:07:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_52.owl
2023-08-02 10:07:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_53.owl
2023-08-02 10:07:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_54.owl
2023-08-02 10:07:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_55.owl
2023-08-02 10:07:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_56.owl
2023-08-02 10:07:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_57.owl
2023-08-02 10:07:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_58.owl
2023-08-02 10:07:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_59.owl
2023-08-02 10:07:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_60.owl
2023-08-02 10:07:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_61.owl
2023-08-02 10:07:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_62.owl
2023-08-02 10:07:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_63.owl
2023-08-02 10:08:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_64.owl
2023-08-02 10:08:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_65.owl
2023-08-02 10:08:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_66.owl
2023-08-02 10:08:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_67.owl
2023-08-02 10:08:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_68.owl
2023-08-02 10:08:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_69.owl
2023-08-02 10:08:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_70.owl
2023-08-02 10:08:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_71.owl
2023-08-02 10:08:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_72.owl
2023-08-02 10:08:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_73.owl
2023-08-02 10:08:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_74.owl
2023-08-02 10:08:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_75.owl
2023-08-02 10:08:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_76.owl
2023-08-02 10:08:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_77.owl
2023-08-02 10:08:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_78.owl
2023-08-02 10:08:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_79.owl
2023-08-02 10:08:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_80.owl
2023-08-02 10:08:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_81.owl
2023-08-02 10:08:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_82.owl
2023-08-02 10:08:34 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_83.owl
2023-08-02 10:08:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_84.owl
2023-08-02 10:08:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_85.owl
2023-08-02 10:08:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_86.owl
2023-08-02 10:08:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_87.owl
2023-08-02 10:08:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_88.owl
2023-08-02 10:08:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_89.owl
2023-08-02 10:08:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_90.owl
2023-08-02 10:08:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_91.owl
2023-08-02 10:08:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_92.owl
2023-08-02 10:08:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_93.owl
2023-08-02 10:08:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_94.owl
2023-08-02 10:08:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_95.owl
2023-08-02 10:08:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_96.owl
2023-08-02 10:08:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_97.owl
2023-08-02 10:08:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_98.owl
2023-08-02 10:09:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_99.owl
2023-08-02 10:09:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_100.owl
2023-08-02 10:09:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_101.owl
2023-08-02 10:09:04 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_102.owl
2023-08-02 10:09:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_103.owl
2023-08-02 10:09:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_104.owl
2023-08-02 10:09:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_105.owl
2023-08-02 10:09:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_106.owl
2023-08-02 10:09:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_107.owl
2023-08-02 10:09:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_108.owl
2023-08-02 10:09:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_109.owl
2023-08-02 10:09:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_110.owl
2023-08-02 10:09:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_111.owl
2023-08-02 10:09:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_112.owl
2023-08-02 10:09:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_113.owl
2023-08-02 10:09:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_114.owl
2023-08-02 10:09:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_115.owl
2023-08-02 10:09:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_116.owl
2023-08-02 10:09:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_117.owl
2023-08-02 10:09:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_118.owl
2023-08-02 10:09:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_119.owl
2023-08-02 10:09:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_120.owl
2023-08-02 10:09:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_121.owl
2023-08-02 10:09:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_122.owl
2023-08-02 10:09:39 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_123.owl
2023-08-02 10:09:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_124.owl
2023-08-02 10:09:42 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_125.owl
2023-08-02 10:09:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_126.owl
2023-08-02 10:09:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_127.owl
2023-08-02 10:09:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_128.owl
2023-08-02 10:09:51 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_129.owl
2023-08-02 10:09:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_130.owl
2023-08-02 10:09:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_131.owl
2023-08-02 10:09:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_132.owl
2023-08-02 10:09:57 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_133.owl
2023-08-02 10:10:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_134.owl
2023-08-02 10:10:01 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_135.owl
2023-08-02 10:10:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_136.owl
2023-08-02 10:10:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_137.owl
2023-08-02 10:10:08 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_138.owl
2023-08-02 10:10:11 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_139.owl
2023-08-02 10:10:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_140.owl
2023-08-02 10:10:13 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_141.owl
2023-08-02 10:10:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_142.owl
2023-08-02 10:10:17 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_143.owl
2023-08-02 10:10:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_144.owl
2023-08-02 10:10:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_145.owl
2023-08-02 10:10:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_146.owl
2023-08-02 10:10:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_147.owl
2023-08-02 10:10:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_148.owl
2023-08-02 10:10:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_149.owl
2023-08-02 10:10:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_150.owl
2023-08-02 10:10:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_151.owl
2023-08-02 10:10:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_152.owl
2023-08-02 10:10:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_153.owl
2023-08-02 10:10:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_154.owl
2023-08-02 10:10:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_155.owl
2023-08-02 10:10:43 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_156.owl
2023-08-02 10:10:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_157.owl
2023-08-02 10:10:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_158.owl
2023-08-02 10:10:46 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_159.owl
2023-08-02 10:10:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_160.owl
2023-08-02 10:10:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_161.owl
2023-08-02 10:10:50 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_162.owl
2023-08-02 10:10:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_163.owl
2023-08-02 10:10:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_164.owl
2023-08-02 10:10:56 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_165.owl
2023-08-02 10:10:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_166.owl
2023-08-02 10:11:02 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_167.owl
2023-08-02 10:11:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_168.owl
2023-08-02 10:11:05 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_169.owl
2023-08-02 10:11:06 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_170.owl
2023-08-02 10:11:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_171.owl
2023-08-02 10:11:10 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_172.owl
2023-08-02 10:11:12 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_173.owl
2023-08-02 10:11:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_174.owl
2023-08-02 10:11:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_175.owl
2023-08-02 10:11:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_176.owl
2023-08-02 10:11:20 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_177.owl
2023-08-02 10:11:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_178.owl
2023-08-02 10:11:22 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_179.owl
2023-08-02 10:11:23 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_180.owl
2023-08-02 10:11:25 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_181.owl
2023-08-02 10:11:26 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_182.owl
2023-08-02 10:11:28 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_183.owl
2023-08-02 10:11:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_184.owl
2023-08-02 10:11:30 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_185.owl
2023-08-02 10:11:31 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_186.owl
2023-08-02 10:11:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_187.owl
2023-08-02 10:11:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_188.owl
2023-08-02 10:11:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_189.owl
2023-08-02 10:11:36 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_190.owl
2023-08-02 10:11:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_191.owl
2023-08-02 10:11:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_192.owl
2023-08-02 10:11:41 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_193.owl
2023-08-02 10:11:44 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_194.owl
2023-08-02 10:11:45 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_195.owl
2023-08-02 10:11:47 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_196.owl
2023-08-02 10:11:48 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_197.owl
2023-08-02 10:11:49 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_198.owl
2023-08-02 10:11:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_199.owl
2023-08-02 10:11:54 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n4_i_200.owl
2023-08-02 10:11:59 FINE openllet.tcq.engine.TCQEngine assembleFinalResult Assembling final result of DFA check
2023-08-02 10:11:59 FINE openllet.tcq.engine.TCQEngine execABoxQuery Already gathered satisfiability knowledge from CQ engine:
t=0: 1.373466
t=1: 1.373466
t=2: 1.373466
t=3: 1.373466
t=4: 1.373466
t=5: 1.831288
t=6: 1.648159
t=7: 1.648159
t=8: 1.648159
t=9: 1.648159
t=10: 1.648159
t=11: 1.648159
t=12: 1.648159
t=13: 1.648159
t=14: 1.648159
t=15: 1.648159
t=16: 1.648159
t=17: 1.648159
t=18: 1.648159
t=19: 1.648159
t=20: 1.648159
t=21: 1.648159
t=22: 1.648159
t=23: 1.648159
t=24: 1.648159
t=25: 1.648159
t=26: 1.648159
t=27: 1.648159
t=28: 1.648159
t=29: 1.648159
t=30: 1.648159
t=31: 1.648159
t=32: 1.648159
t=33: 1.648159
t=34: 1.648159
t=35: 1.648159
t=36: 1.648159
t=37: 1.648159
t=38: 1.648159
t=39: 1.648159
t=40: 1.648159
t=41: 1.648159
t=42: 1.648159
t=43: 1.648159
t=44: 1.648159
t=45: 1.648159
t=46: 1.648159
t=47: 1.648159
t=48: 1.648159
t=49: 1.648159
t=50: 1.648159
t=51: 1.648159
t=52: 1.648159
t=53: 1.648159
t=54: 1.648159
t=55: 1.648159
t=56: 1.648159
t=57: 1.648159
t=58: 1.648159
t=59: 1.648159
t=60: 1.648159
t=61: 1.648159
t=62: 1.648159
t=63: 1.648159
t=64: 1.648159
t=65: 1.648159
t=66: 1.648159
t=67: 1.648159
t=68: 1.648159
t=69: 1.648159
t=70: 1.648159
t=71: 1.648159
t=72: 1.648159
t=73: 1.648159
t=74: 1.648159
t=75: 1.648159
t=76: 1.648159
t=77: 1.648159
t=78: 1.648159
t=79: 1.648159
t=80: 1.648159
t=81: 1.648159
t=82: 1.648159
t=83: 1.648159
t=84: 1.648159
t=85: 1.648159
t=86: 1.648159
t=87: 1.648159
t=88: 1.648159
t=89: 1.648159
t=90: 1.648159
t=91: 1.648159
t=92: 1.648159
t=93: 1.648159
t=94: 1.648159
t=95: 1.648159
t=96: 1.648159
t=97: 1.648159
t=98: 1.648159
t=99: 1.648159
t=100: 1.648159
t=101: 1.648159
t=102: 1.648159
t=103: 1.648159
t=104: 1.648159
t=105: 1.648159
t=106: 1.648159
t=107: 1.648159
t=108: 1.648159
t=109: 1.648159
t=110: 1.648159
t=111: 1.648159
t=112: 1.648159
t=113: 1.648159
t=114: 1.648159
t=115: 1.648159
t=116: 1.648159
t=117: 1.648159
t=118: 1.648159
t=119: 1.648159
t=120: 1.648159
t=121: 1.648159
t=122: 1.648159
t=123: 1.648159
t=124: 1.648159
t=125: 1.648159
t=126: 1.648159
t=127: 1.648159
t=128: 1.648159
t=129: 1.648159
t=130: 1.648159
t=131: 1.648159
t=132: 1.648159
t=133: 1.648159
t=134: 1.648159
t=135: 1.648159
t=136: 1.648159
t=137: 1.648159
t=138: 1.648159
t=139: 1.648159
t=140: 1.648159
t=141: 1.648159
t=142: 1.648159
t=143: 1.648159
t=144: 1.648159
t=145: 1.648159
t=146: 1.648159
t=147: 1.648159
t=148: 1.648159
t=149: 1.648159
t=150: 1.648159
t=151: 1.648159
t=152: 1.648159
t=153: 1.648159
t=154: 1.648159
t=155: 1.648159
t=156: 1.648159
t=157: 1.648159
t=158: 1.648159
t=159: 1.648159
t=160: 1.648159
t=161: 1.648159
t=162: 1.648159
t=163: 1.648159
t=164: 1.648159
t=165: 1.648159
t=166: 1.648159
t=167: 1.648159
t=168: 1.648159
t=169: 1.648159
t=170: 1.648159
t=171: 1.648159
t=172: 1.648159
t=173: 1.648159
t=174: 1.648159
t=175: 1.648159
t=176: 1.648159
t=177: 1.648159
t=178: 1.648159
t=179: 1.648159
t=180: 1.648159
t=181: 1.648159
t=182: 1.648159
t=183: 1.648159
t=184: 1.648159
t=185: 1.648159
t=186: 1.648159
t=187: 1.648159
t=188: 1.648159
t=189: 1.648159
t=190: 1.648159
t=191: 1.648159
t=192: 1.648159
t=193: 1.648159
t=194: 1.648159
t=195: 1.648159
t=196: 1.648159
t=197: 1.648159
t=198: 1.648159
t=199: 1.648159
t=200: 1.648159
total: 1.642237
2023-08-02 10:11:59 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check took 318799 ms
2023-08-02 10:11:59 FINE openllet.tcq.engine.TCQEngine execABoxQuery Full semantics DFA check returned 100.000000 % (3404 satisfiable and 18 unsatisfiable bindings out of 3422 bindings)
2023-08-02 10:11:59 FINE openllet.tcq.engine.TCQEngine execABoxQuery CQ semantics check returned a definite answer on 100.000000 % of the entailed bindings
Query Results (18 answers): 
FunVar(x)                                 | FunVar(v)                               
====================================================================================
http://purl.org/auto/l4_de#passenger_car3 | http://purl.org/auto/l4_core#pedestrian2
http://purl.org/auto/l4_de#passenger_car6 | http://purl.org/auto/l4_de#bicyclist3   
http://purl.org/auto/l4_de#bicycle4       | http://purl.org/auto/l4_core#pedestrian3
http://purl.org/auto/l4_de#bicycle2       | http://purl.org/auto/l4_de#bicyclist2   
http://purl.org/auto/l4_de#passenger_car6 | http://purl.org/auto/l4_core#pedestrian3
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_de#bicyclist2   
http://purl.org/auto/l4_de#passenger_car6 | 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#bicycle3       | http://purl.org/auto/l4_de#bicyclist1   
http://purl.org/auto/l4_de#bicycle1       | http://purl.org/auto/l4_core#pedestrian2
http://purl.org/auto/l4_de#bicycle1       | http://purl.org/auto/l4_de#bicyclist2   
http://purl.org/auto/l4_de#bicycle3       | http://purl.org/auto/l4_core#pedestrian1
http://purl.org/auto/l4_de#passenger_car1 | http://purl.org/auto/l4_de#bicyclist1   
http://purl.org/auto/l4_de#passenger_car3 | http://purl.org/auto/l4_core#pedestrian1
http://purl.org/auto/l4_de#passenger_car1 | http://purl.org/auto/l4_core#pedestrian2
http://purl.org/auto/l4_de#bicycle1       | http://purl.org/auto/l4_core#pedestrian1
http://purl.org/auto/l4_de#passenger_car3 | http://purl.org/auto/l4_core#pedestrian3


Timer summary:
Name                                                      | Total (ms)
======================================================================
main                                                      |     389689
loading ontologies                                        |      34206
initial consistency check                                 |        363
parsing query file                                        |         11
query execution (w/o loading & initial consistency check) |     354967
