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

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

G (l4c:Vehicle(?x) ^ l4d:Vulnerable_Road_User(?v))
	&
F
(
	(phy:is_in_proximity(?x,?v)) U_[5,10] (phy:has_intersecting_path(?x,?v))
)
-----------------------------------------------------
2023-08-08 16:56:58 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-08 16:56:58 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-5004706617305944809.dot
2023-08-08 16:56:58 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-08 16:56:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_1.owl
2023-08-08 16:58:19 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_2.owl
2023-08-08 16:59:24 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_3.owl
2023-08-08 17:00:52 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_4.owl
2023-08-08 17:02:03 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_5.owl
2023-08-08 17:03:27 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_6.owl
2023-08-08 17:06:18 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_7.owl
2023-08-08 17:10:32 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_8.owl
2023-08-08 17:14:14 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_9.owl
2023-08-08 17:18:35 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_10.owl
2023-08-08 17:22:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_11.owl
2023-08-08 17:26:15 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_12.owl
2023-08-08 17:29:38 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_13.owl
2023-08-08 17:33:33 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_14.owl
2023-08-08 17:37:53 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_15.owl
2023-08-08 17:42:07 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_16.owl
2023-08-08 17:46:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_17.owl
2023-08-08 17:51:00 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_18.owl
2023-08-08 17:54:55 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_19.owl
execute_benchmark.sh: Openllet exceeded time limit of 1h
