Skip to content

Deepen OntoJIT semantic preservation and runtime authority - #97

Merged
GerhardBalz-Admin merged 1 commit into
mainfrom
agent/deepen-ontojit-runtime-authority
Aug 26, 2026
Merged

Deepen OntoJIT semantic preservation and runtime authority#97
GerhardBalz-Admin merged 1 commit into
mainfrom
agent/deepen-ontojit-runtime-authority

Conversation

@GerhardBalz-Admin

Copy link
Copy Markdown
Collaborator

Summary

Deepens the existing OntoJIT related-work note only where newer evidence adds beyond PR #96.

New evidence captured

  • decomposes semantic preservation concern by concern across OWL source → generated C# → semantic execution support → result;
  • clarifies that OntoJIT semantic execution is distributed across native CLR behavior, explicit meta-properties, reflection/LINQ/query procedures, and optional classification/materialization rather than being one opaque runtime engine;
  • distinguishes source OWL authority, derived executable carrier, runtime/query policy, and materialized inferred state;
  • assigns the published Pizza CWA divergence to the selected query procedure rather than to ontology-to-C# compilation generally;
  • records concrete prototype limitations relevant to preservation, including multiple-inheritance handling, unsupported imported OWL Full constructs, and untested OWL 2 extensions;
  • separates bounded HermiT/FaCT++ result verification from first-class provenance/lineage;
  • applies the newer AIUP/SFBE concern-by-concern falsification rule: executable semantic machinery is justified only where semantic authority or inference contributes independent value.

Scope / guardrails

  • one documentation file only: docs/ontojit-related-work.md;
  • no ESKA/SMO vocabulary change;
  • no runtime, executable example, release, or immutable artifact change;
  • no contact, relationship, or career content;
  • does not repeat the first-pass OntoJIT positioning from PR Document OntoJIT as ESKA related work #96 as new evidence.

Public comparison evidence

Review gate

Ready for explicit review. Do not merge until the review gate is cleared.

@GerhardBalz-Admin
GerhardBalz-Admin merged commit 9d330c5 into main Aug 26, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant