Task: Description Logic Reasoning (ontology: Business_Finance/BPMN)

Given the following Description Logic expression, determine whether it is satisfiable with respect to the local ontology module. Answer only true or false.

Expression:
∃has_connecting_object_target_ref.(∀has_process_properties.(BPMNOntology.property)) ⊓ ∀has_connecting_object_target_ref.(∃has_process_properties.(¬(BPMNOntology.property)))

True. true
False. false

Answer: false