Ontolearn is an open-source software library for explainable structured machine learning in Python. It learns OWL class expressions from positive and negative examples.
-
Updated
Jun 11, 2024 - Python
Ontolearn is an open-source software library for explainable structured machine learning in Python. It learns OWL class expressions from positive and negative examples.
A Common Lisp Framework for the Semantic Web
Python bindings for upgraded FaCT++ description logic reasoner
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
Reasoner for the description logic EL+.
🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)
A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners
Random syntax generator with reasoner and LSTM
A neuro-symbolic reasoner for the EL++ description logic.
Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.
Michael's Description Logic Reasoner Framework
A Preferential Reasoner for Ontologies
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
Concept Explorer FX (conexp-fx)
EvoLearner: Learning Description Logics with Evolutionary Algorithms
high-performance description logic reasoner
Add a description, image, and links to the description-logics topic page so that developers can more easily learn about it.
To associate your repository with the description-logics topic, visit your repo's landing page and select "manage topics."