OWL Class Expressions Learning in Python

🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)

A neuro-symbolic reasoner for the EL++ description logic.

LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics (EKAW 2024)

Random syntax generator with reasoner and LSTM

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.

A Python-based EL Reasoner and ALC Ontology authored in Protege. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam

A tractable Graphic EL MaxSAT solver

As often done in node classification on knowledge graphs we use the positive and negative examples to learn concepts in description logics using refinement operators. This way the classifications should not only be accurate but also explainable by looking at the concept, at least for domain experts depending on the ontology.

Combining Query Rewriting (PerfectRef) and Knowledge Graph Embeddings with Complex Query Answering

A tractable Probabilistic Graphic EL SAT solver