The Axiom

A journal of serious ideas in intelligent engineering. Perspectives from Modelware, its partners, and the people shaping how we reason about systems.

Towards an Ontological Implementation of UAF, Part 6: What It Adds Up To
23 July 2026 · Maged Elaasar
Towards an Ontological Implementation of UAF, Part 6: What It Adds Up To

Across this series we read the OMG’s Unified Architecture Framework (UAF) in light of its own objectives, rendering it as an ontology...

Read More
Towards an Ontological Implementation of UAF, Part 5: Keeping the Profile and the Metamodel Aligned
20 July 2026 · Maged Elaasar
Towards an Ontological Implementation of UAF, Part 5: Keeping the Profile and the Metamodel Aligned

This series reads the OMG’s Unified Architecture Framework (UAF) in light of its own objectives, using an ontology, built with AI and...

Read More
Towards an Ontological Implementation of UAF, Part 4: Keeping a Large Specification Consistent
16 July 2026 · Maged Elaasar
Towards an Ontological Implementation of UAF, Part 4: Keeping a Large Specification Consistent

This series reads the OMG’s Unified Architecture Framework (UAF) in light of its own objectives, using an ontology, built with AI and...

Read More
Towards an Ontological Implementation of UAF, Part 3: Views Without Queries
13 July 2026 · Maged Elaasar
Towards an Ontological Implementation of UAF, Part 3: Views Without Queries

This series reads the OMG’s Unified Architecture Framework (UAF) in light of its own stated goals, using an ontology, built with AI...

Read More
Towards an Ontological Implementation of UAF, Part 2: How Far Platform Independence Reaches
08 July 2026 · Maged Elaasar
Towards an Ontological Implementation of UAF, Part 2: How Far Platform Independence Reaches

This series reads the OMG’s Unified Architecture Framework (UAF) in light of the objectives it sets for itself, using an ontology, built...

Read More
Towards an Ontological Implementation of UAF, Part 1: UAF Was Built for This
05 July 2026 · Maged Elaasar
Towards an Ontological Implementation of UAF, Part 1: UAF Was Built for This

There is a technique the systems-engineering world still underuses: rendering a specification as an ontology, not merely to implement it, but to...

Read More
What the Reasoner Knows That You Did Not Write Down
21 June 2026 · Maged Elaasar
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 down, but...

Read More
From Hand-Crafted Timelines to Provable Goals: Verifying ConOps with Knowledge Graphs and Formal Methods
17 June 2026 · Yuta Nakajima
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 while it...

Read More
Upper Ontologies: Inherit or Instantiate?
16 June 2026 · Maged Elaasar
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
16 June 2026 · Yuta Nakajima
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
16 June 2026 · Yuta Nakajima
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?
13 June 2026 · Maged Elaasar
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?
13 June 2026 · Maged Elaasar
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