Skip to main content

Table 6 Formal rules (inferred)

From: Ontology generation for flight safety messages in air traffic management

Axiom name Domestic flight
Description Every domestic flight that departed from a Iranian location must arrival at another Iranian location
Expression For all (?x,?y,?z) ([domestic flight] (?x) and [departure place] (?x, ?y) and [arrival place] (?x,?z) and [Iranian location] (?y)  [Iranian location] (?z))
Concept Domestic flights
Iranian location
Refer attribute  
 Ad hoc binary relation Departure airport
Arrival airport
 Variables ?x ?y ?z