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
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
Reasoner for the description logic EL+.
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks
🤖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
web-based visualization tool for explaining reasoning with OWL ontologies and supporting debugging
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
EvoLearner: Learning Description Logics with Evolutionary Algorithms
Concept Explorer FX (conexp-fx)
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."