DLite - a lightweight data-centric framework for semantic interoperability

Documentation and resources on semantic interoperability efforts at Health-RI.

This is a repository for the two use cases described in the Association for Information Science and Technology (ASIS&T) 2017 annual conference paper: Agreeing to disagree: reconciling conflicting taxonomic views using a logic-based approach.

Heritage Information Extraction to Markdown, JSON-LD, and Property Graphs (OpenCypher)

Lean 4 formalization of the exchange protocol schemas.

Superseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.

TransportOntology: An Ontology for the Transportation System

Superseded: Lean 4 formalization of the Ontological Neutrality Theorem

Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.

GDPR-inspired IoT Ontology enabling Semantic Interoperability, Federation of Deployments and Privacy Preserving Applications

A vocabulary for flash cards

A pipeline for creating Knowledge Graphs from CSV files tagged with IEC 61850 standard, featuring automated evaluation and performance monitoring. This pipeline follows the Omega-X ontology pattern for energy data modeling and semantic interoperability.

An extensible means of communicating media between web apps

eWoT enables semantic interoperable IoT ecosystems

Semantic & Governance Layer for agent communication — a semantic + governance overlay on top of A2A/MCP that normalizes meaning, infers resource types, and enforces calibrated trust, approval, and audit. Emergency Bridge MVP (CAP to EDXL-RM).

The Dynamic Knowledge System (DKS) develops adaptive knowledge representation models that evolve in real-time, learning, updating, and reasoning under uncertainty.

🌐 Formalize structural constraints for ontological substrates, ensuring stability across diverse interpretations and frameworks in support of accountability.

📜 Formalize exchange protocol schemas with Lean 4, ensuring structural integrity and composability of core data representations for clear data exchange.

TNM-inspired AI governance grammar and reproducibility package for inspectable records across LLMs, agents, harnesses, and ontologies.

🗂️ Explore the Lean 4 formalization of Accountable Entities, detailing six entity types and their identity regime mappings for clear understanding and application.