2023-08-08 17: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.268
Query file: -naive/benchmarks/queries/02_passing_parking_vehicles.tcq
Start parsing query file
2023-08-08 17:56:58 FINE openllet.tcq.parser.TemporalConjunctiveQueryParser parse Propositional abstraction is {a=query(?x, ?y) :- Type(?x, Vehicle) , Type(?r, 2_Lane_Road) , PropertyValue(?r, sfIntersects, ?x) , Type(?y, Parking_Vehicle), b=query(?y, ?x) :- PropertyValue(?y, is_in_front_of, ?x), c=query(?x, ?y) :- PropertyValue(?x, is_in_proximity, ?y) , PropertyValue(?y, is_to_the_side_of, ?x), d=query(?y, ?x) :- PropertyValue(?y, is_behind, ?x)}
Finished parsing query file in 00:00:00.012
Query: 
-----------------------------------------------------
# Passing of parking vehicles on two-lane roads

PREFIX l1c: <http://purl.org/auto/l1_core#>
PREFIX l1d: <http://purl.org/auto/l1_de#>
PREFIX l4d: <http://purl.org/auto/l4_de#>
PREFIX l4c: <http://purl.org/auto/l4_core#>
PREFIX phy: <http://purl.org/auto/physics#>
PREFIX geo: <http://www.opengis.net/ont/geosparql#>

G (l4c:Vehicle(?x) ^ l1d:2_Lane_Road(r) ^ geo:sfIntersects(r,?x) ^ l4d:Parking_Vehicle(?y))
	&
F
(
	(phy:is_in_front_of(?y,?x))
		&
	X[!]
	(
		(phy:is_in_proximity(?x,?y) ^ phy:is_to_the_side_of(?y,?x))
			U
		(phy:is_behind(?y,?x))
	)
)
-----------------------------------------------------
2023-08-08 17:56:58 FINE openllet.tcq.engine.TCQEngine execABoxQuery Starting entailment check for TCQ query(x, y) :- G (http://purl.org/auto/l4_core#Vehicle(?x) ^ http://purl.org/auto/l1_de#2_Lane_Road(r) ^ http://www.opengis.net/ont/geosparql#sfIntersects(r,?x) ^ http://purl.org/auto/l4_de#Parking_Vehicle(?y))&F((http://purl.org/auto/physics#is_in_front_of(?y,?x))&X[!]((http://purl.org/auto/physics#is_in_proximity(?x,?y) ^ http://purl.org/auto/physics#is_to_the_side_of(?y,?x))U(http://purl.org/auto/physics#is_behind(?y,?x))))
2023-08-08 17:56:58 FINE openllet.tcq.engine.automaton.MLTL2DFA convert Lydia DFA is located at /tmp/mltl2dfa-3966544686878461734.dot
2023-08-08 17:56:58 FINE openllet.tcq.engine.TCQEngine execABoxQuery Trying full blown semantics check on DFA
2023-08-08 17:58:29 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_1.owl
2023-08-08 18:03:40 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_2.owl
2023-08-08 18:17:59 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_3.owl
2023-08-08 18:33:37 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_4.owl
2023-08-08 18:49:21 FINE openllet.tcq.model.kb.loader.KnowledgeBaseLoader load Loaded t_s0_n3_i_5.owl
execute_benchmark.sh: Openllet exceeded time limit of 1h
