Qiana: A First-Order Formalism to Quantify over Contexts and Formulas

OCPQ - Object-Centric Process Querying

Create knowledge graphs with Markdown

This repo aims to help Logseq users to sync their data with Git and GitHub.

Wizard for documenting ontologies. WIDOCO is a step by step generator of HTML templates with the documentation of your ontology. It uses the LODE environment to create part of the template.

Verification tool for executing test cases on one or more ontologies

Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.

The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. The library offers a broad range of basis analysis and utilit…

Logic Programming in Python

An extensible, lightweight relational/logic programming DSL written in pure Python

PM2ONTO Application

Java language extension for semantic data, based on ExtendJ/JastAdd.