description-logics topic

A Common Lisp Framework for the Semantic Web

lambdamikel

Ontolearn is an open-source software library for explainable structured machine learning in Python. It learns OWL class expressions from positive and negative examples.

dice-group

Python bindings for upgraded FaCT++ description logic reasoner

tilde-lab

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

lambdamikel