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
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
web-based visualization tool for explaining reasoning with OWL ontologies and supporting debugging
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.
LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics (EKAW 2024)
Michael's Description Logic Reasoner Framework
A Preferential Reasoner for Ontologies
Random syntax generator with reasoner and LSTM
Concept Explorer FX (conexp-fx)
EvoLearner: Learning Description Logics with Evolutionary Algorithms
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."