OWL Class Expressions Learning in Python
Python bindings for upgraded FaCT++ description logic reasoner
A Common Lisp Framework for the Semantic Web
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
Reasoner for the description logic EL+.
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
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.
🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)
DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners
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
Random syntax generator with reasoner and LSTM
A neuro-symbolic reasoner for the EL++ description logic.
LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics
web-based visualization tool for explaining reasoning with OWL ontologies and supporting debugging
EvoLearner: Learning Description Logics with Evolutionary Algorithms
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
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."