From Hand-Crafted Timelines to Provable Goals: Verifying ConOps with Knowledge Graphs and Formal Methods
In the earliest phase of a space mission, the concept of operations (ConOps) is where the whole design comes together: when the...
Read More
Upper Ontologies: Inherit or Instantiate?
Every serious modeling effort eventually adopts an upper ontology: a small, foundational vocabulary of top-level classes that domain ontologies build on so...
Read More
From Weeks to Hours: Automating Power Balance Analysis in Early Mission Design
Early space mission design is a race against the clock. A mission study brings multidisciplinary engineers together to explore concepts and converge...
Read More
The Power of a Reasoner: Validating SysML Models Automatically
A SysML modeling tool will dutifully tell you when your model is malformed. What it will not tell you is when your...
Read More
Why OML and Not Just OWL?
It helps to separate two concerns that often get conflated: semantic interoperability and ontological modeling.
Read More
What Is Intelligence-Centric Engineering?
Engineering has moved through distinct eras, and each one changed what a “model” is and what you can do with it. Understanding...
Read More