description-logics
There are 58 repositories under description-logics topic.
dice-group/Ontolearn
OWL Class Expressions Learning in Python
tilde-lab/pyfactxx
Python bindings for upgraded FaCT++ description logic reasoner
lambdamikel/OntoLisp
A Common Lisp Framework for the Semantic Web
lambdamikel/GenEd
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
julianmendez/jcel
Reasoner for the description logic EL+.
kodymoodley/defeasibleinferenceplatform
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
maxadamski/reasonable-embeddings
A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks
rzese/trill
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
Freakwill/gimbiseo
🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)
lambdamikel/DLMAPS
DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
lambdamikel/RacerPorter
An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners
imldresden/evonne
web-based visualization tool for explaining reasoning with OWL ontologies and supporting debugging
kracr/el-embeddings
A neuro-symbolic reasoner for the EL++ description logic.
aaronEberhart/ERCompletionReasoningLSTM
Random syntax generator with reasoner and LSTM
damianoduranti/LLMknowextra
LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics (EKAW 2024)
francescapoli98/semantic-web
Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.
lambdamikel/MiDeLoRa
Michael's Description Logic Reasoner Framework
MindfulMichaelJames/PRO
A Preferential Reasoner for Ontologies
dice-group/EvoLearner
EvoLearner: Learning Description Logics with Evolutionary Algorithms
francesco-kriegel/conexp-fx
Concept Explorer FX (conexp-fx)
AlessandraMonaco/Building-and-Querying-a-Knowledge-Base-for-E-Commerce
A simple OWL Knowledge Base for a fictional E-Commerce website selling technological products, with some interesting SPARQL/DL/SQWRL queries.
amannm/description-logic-reasoner
high-performance description logic reasoner
asolimando/logmap-conservativity
LogMap extension for conservativity principle
ds-jrg/EDGE
EDGE, "Evaluation of Diverse Knowledge Graph Explanations", is a framework to benchmark diverse explanations (e.g., subgraph vs logical) for node classification in knowledge graphs.
pseifer/shar
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
angelo-casciani/MythOntology
An OWL ontology on Greek mythology.
dice-group/LearnALCLengths
Concept length prediction for the ALC description logic.
Epistematica/sumerian-ontology
An OWL Ontology of a Sumerian Grammar
filippodebortoli/emcl-topicsDL
Files from the "Further Topics in Description Logics" seminar held at TU Dresden in WS 2017/18.
hatellezp/rustoner
The rustoner project aims to create a description logic reasoner in rust. Benefit ting of the fast nature of the language, we aim to combine logic with newly developed numeric ideas to enhance query answering
michel-ludwig/cex3
CEX3 is a prototype tool for computing three types of logical differences between two ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions.
NaveenVarmaK/Youtube_Ontology
A knowledge model to describe information related to social networking platforms (Youtube).
hannafiegen/ArtifactGFO
Basic categories and axioms for artifact description in GFO
mklblm/KR-EL-Reasoner
A Python-based EL Reasoner and ALC Ontology authored in Protege. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam
pseifer/shardik
A REPL for creating and interacting with description logics knowledge bases
anjola-adeuyi/Youtube_Ontology
A knowledge model to describe information related to social networking platforms (Youtube).