modelling using https://en.wikipedia.org/wiki/Triplestore
RDF/OWL + SysMLv2
https://indico.esa.int/event/386/contributions/6223/attachments/4266/6464/1015%20-%20Q&A.pdf
How to reconcile?
RDF/OWL is Open World Assumption
SysMLv2 is Closed World Assumption
SysML v2 (via KerML – Kernel Modeling Language) is being aligned with RDF/OWL2 because OWL2 is the most mature, widely used implementation of first‑order logic with a known trade‑off between expressivity and decidability
✅ Experimental OWL representations of the SysML v2 abstract syntax exist
❌ No OMG‑standard, lossless SysML ↔ RDF bidirectional transform
openCAESAR / Flexo‑SysMLv2 is developing:
https://github.com/opencaesar/opencaesar.github.io
OWL and OML representations of the SysML v2 abstract syntax
Additional DL semantics added manually where MOF is silent
Explicit disjointness axioms (critical for reasoning)
https://github.com/SystemsModelingCom/SysML-V2-RDF
modelling using https://en.wikipedia.org/wiki/Triplestore
RDF/OWL + SysMLv2
https://indico.esa.int/event/386/contributions/6223/attachments/4266/6464/1015%20-%20Q&A.pdf
How to reconcile?
RDF/OWL is Open World Assumption
SysMLv2 is Closed World Assumption
SysML v2 (via KerML – Kernel Modeling Language) is being aligned with RDF/OWL2 because OWL2 is the most mature, widely used implementation of first‑order logic with a known trade‑off between expressivity and decidability
✅ Experimental OWL representations of the SysML v2 abstract syntax exist
❌ No OMG‑standard, lossless SysML ↔ RDF bidirectional transform
openCAESAR / Flexo‑SysMLv2 is developing:
https://github.com/opencaesar/opencaesar.github.io
OWL and OML representations of the SysML v2 abstract syntax
Additional DL semantics added manually where MOF is silent
Explicit disjointness axioms (critical for reasoning)
https://github.com/SystemsModelingCom/SysML-V2-RDF