DLite - a lightweight data-centric framework for semantic interoperability
-
Updated
Jul 31, 2026 - C
#
semantic-interoperability
Here are 22 public repositories matching this topic...
Documentation and resources on semantic interoperability efforts at Health-RI.
-
Updated
Jul 20, 2026 - HTML
Shared canonical names for agent-governance primitives. Maps what each system calls its signals to one reference vocabulary, with per-system crosswalks, so verifiers and tooling compose across ecosystems.
registry identity taxonomy vocabulary standards interoperability trust crosswalk governance ai-agents semantic-interoperability agent-governance
-
Updated
Jul 26, 2026 - JavaScript
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.
-
Updated
Jun 8, 2022 - HTML
Heritage Information Extraction to Markdown, JSON-LD, and Property Graphs (OpenCypher)
python nlp markdown natural-language-processing ontology information-extraction genealogy graph-database cypher relation-extraction entity-extraction life-events opencypher cidoc-crm unstructured-data semantic-interoperability pydantic labeled-property-graph langstruct
-
Updated
Apr 20, 2026 - Python
Lean 4 formalization of the exchange protocol schemas.
theorem-proving provenance civic-tech dependency-graphs formal-verification accountability semantic-interoperability data-provenance lean4 formal-ontology identity-regimes structural-explainability exchange-protocol
-
Updated
Jul 1, 2026 - Lean
Superseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability lean4 formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jul 1, 2026 - Lean
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
persistence theorem-proving formal-verification accountability semantic-interoperability lean4 formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jul 1, 2026 - Lean
Superseded: Lean 4 formalization of the Ontological Neutrality Theorem
logic theorem-proving ontology formal-verification accountability foundations semantic-interoperability lean4 formal-ontology ontological-neutrality neutral-substrate structural-explainability neutrality-theorem pre-causal pre-normative
-
Updated
Aug 1, 2026 - Lean
Vercy: an open standard for federated semantics. Dimensions, Namespaces, Objects, Projections and Events for composing meta-models across organizations, products and states.
ontology knowledge-graph meta-model ai-agents semantic-interoperability open-standard meta-universe vercy federated-semantics
-
Updated
Aug 3, 2026 - PowerShell
OpenOntologyLite is a lightweight, vendor-neutral semantic layer for portable organizational knowledge across AI systems, databases, RAG, policy engines, and vendors.
open-source yaml metadata schema json-schema ontology knowledge-graph data-modeling deterministic semantic-interoperability knowledge-modeling data-portability vendor-neutral semantic-layer domain-modeling ai-infrastructure operational-ontology ontology-management ontology-diff linux-of-ai
-
Updated
Aug 5, 2026 - Python
TransportOntology: An Ontology for the Transportation System
-
Updated
Jun 11, 2020 - HTML
UOHF (Unified Ontology of Human Function) is a governed semantic and computational ontology for human function and the Human Function World Model.
ontology knowledge-representation rehabilitation physiome semantic-interoperability healthspan preventive-medicine world-model health-ai semantic-ai auditable-ai human-function human-function-ontology unified-functional-ontology human-function-world-model medicine-3 longitudinal-health whole-person-modeling uohf
-
Updated
Jul 31, 2026
GDPR-inspired IoT Ontology enabling Semantic Interoperability, Federation of Deployments and Privacy Preserving Applications
iot privacy semantics best-practices experimentation ontologies data-privacy smart-cities buildings testbeds semantic-interoperability
-
Updated
Jan 13, 2026 - HTML
A vocabulary for flash cards
-
Updated
Oct 23, 2019 - HTML
An extensible means of communicating media between web apps
-
Updated
Sep 26, 2022 - JavaScript
eWoT enables semantic interoperable IoT ecosystems
-
Updated
Oct 15, 2020 - Java
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).
python middleware mcp cap governance ai-safety disaster-response emergency-management semantic-interoperability edxl semantic-layer a2a agent-communication confidence-calibration automation-bias
-
Updated
May 31, 2026 - Python
The Dynamic Knowledge System (DKS) develops adaptive knowledge representation models that evolve in real-time, learning, updating, and reasoning under uncertainty.
ontology reasoning dynamic-systems knowledge-engineering semantic-interoperability semantic-graph probabilistic-logic
-
Updated
Jun 28, 2025
Composition checker for space debris environment metrics. Refuses, with a reason, when two indicators cannot validly be combined. Built on QUDT, SOSA/SSN and PROV-O.
ontology prov-o semantic-interoperability orbital-debris space-debris sosa qudt space-sustainability
-
Updated
Jul 28, 2026 - Python
Improve this page
Add a description, image, and links to the semantic-interoperability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the semantic-interoperability topic, visit your repo's landing page and select "manage topics."