What the Reasoner Knows That You Did Not Write Down
Every model says more than it states. The interesting question in model-based systems engineering (MBSE) is not what you wrote...
From Hand-Crafted Timelines to Provable Goals: Verifying ConOps with Knowledge Graphs and Formal Methods
At INCOSE IS 2026 in Yokohama, JAXA presented a methodology for verifying the concept of operations of a space mission...
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...
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...
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...
Why OML and Not Just OWL?
It helps to separate two concerns that often get conflated: semantic interoperability and ontological modeling.
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...
