OWL for space mission systems development at JPL with semantic architecture styles
This paper presents a perspective on the challenges involved in using OWL for representing the diverse heterogeneous viewpoints involved in the engineering and operation of space missions.
algebraic specification↗