DLite - a lightweight data-centric framework for semantic interoperability
-
Updated
Jan 15, 2026 - C
#
semantic-interoperability
Here are 19 public repositories matching this topic...
Documentation and resources on semantic interoperability efforts at Health-RI.
-
Updated
Jan 14, 2026 - HTML
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
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
Dec 27, 2025 - Lean
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
Dec 31, 2025 - Lean
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
Dec 31, 2025 - Lean
TransportOntology: An Ontology for the Transportation System
-
Updated
Jun 11, 2020 - HTML
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
Jan 6, 2026 - Lean
eWoT enables semantic interoperable IoT ecosystems
-
Updated
Oct 15, 2020 - Java
A vocabulary for flash cards
-
Updated
Oct 23, 2019 - HTML
An extensible means of communicating media between web apps
-
Updated
Sep 26, 2022 - JavaScript
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 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.
jinja2 ontology rdflib knowledge-graph graphdb energy-data iec61850 rml semantic-interoperability few-shot-learning llm omega-x gemma3-4b sdm-rdfizer
-
Updated
Nov 14, 2025 - 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
Classful Ontology for Life-Events Information Extraction
python nlp markdown natural-language-processing ontology information-extraction genealogy graph-database cypher relation-extraction entity-extraction life-events cidoc-crm unstructured-data semantic-interoperability pydantic labeled-property-graph
-
Updated
Sep 15, 2025 - Python
🗂️ Explore the Lean 4 formalization of Accountable Entities, detailing six entity types and their identity regime mappings for clear understanding and application.
persistence theorem-proving formal-verification accountability semantic-interoperability github-config formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jan 18, 2026 - Lean
🌐 Formalize structural constraints for ontological substrates, ensuring stability across diverse interpretations and frameworks in support of accountability.
logic theorem-proving ontology formal-verification accountability foundations semantic-interoperability formal-ontology ontological-neutrality neutral-substrate structural-explainability neutrality-theorem pre-causal pre-normative
-
Updated
Jan 18, 2026 - Lean
🛠️ Formalize identity and persistence regimes for accountability in structural explainability within legal and analytic frameworks.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jan 18, 2026 - Lean
📜 Formalize exchange protocol schemas with Lean 4, ensuring structural integrity and composability of core data representations for clear data exchange.
javascript vue javascript-framework provenance typescript-library civic-tech accountability typescript-framework semantic-interoperability javascript-project typescript-react rechainapi formal-ontology identity-regimes structural-explainability
-
Updated
Jan 18, 2026 - Lean
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."