rzese/trill

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.

Language: Prolog - Size: 20.9 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 13 - Forks: 5

dice-group/Ontolearn

OWL Class Expressions Learning in Python

Language: Python - Size: 11.3 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 46 - Forks: 9

julianmendez/jcel

Reasoner for the description logic EL+.

Language: Java - Size: 36.2 MB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 6

imldresden/evonne

web-based visualization tool for explaining reasoning with OWL ontologies and supporting debugging

Language: JavaScript - Size: 6.23 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 1

kodymoodley/defeasibleinferenceplatform

Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor

Language: Java - Size: 8.74 MB - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 0

tilde-lab/pyfactxx

Python bindings for upgraded FaCT++ description logic reasoner

Language: Java - Size: 6.6 MB - Last synced at: 12 days ago - Pushed at: 8 months ago - Stars: 24 - Forks: 3

dice-group/LearnALCLengths

Concept length prediction for the ALC description logic.

Language: Python - Size: 18.3 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

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

Language: Python - Size: 350 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

James-Oswald/Fuzzy-DL

Failed attempt at formalizing the description logic ALC in Lean4

Language: Lean - Size: 8.79 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Comenius-Abduction-Team/CATS-Abduction-Solver

Language: Java - Size: 36.2 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

lambdamikel/OntoLisp

A Common Lisp Framework for the Semantic Web

Language: Common Lisp - Size: 563 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 21 - Forks: 3

damianoduranti/LLMknowextra

LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics

Language: Python - Size: 635 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

kracr/el-embeddings

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

Language: Python - Size: 69.3 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 4 - Forks: 2

angelo-casciani/MythOntology

An OWL ontology on Greek mythology.

Size: 395 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

anjola-adeuyi/Youtube_Ontology Fork of NaveenVarmaK/Youtube_Ontology

A knowledge model to describe information related to social networking platforms (Youtube).

Language: HTML - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

NaveenVarmaK/Youtube_Ontology

A knowledge model to describe information related to social networking platforms (Youtube).

Language: HTML - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

hannafiegen/ArtifactGFO

Basic categories and axioms for artifact description in GFO

Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

pseifer/shar

SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.

Language: Scala - Size: 159 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

Freakwill/gimbiseo

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

Language: Python - Size: 6.3 MB - Last synced at: 3 days ago - Pushed at: about 5 years ago - Stars: 12 - Forks: 11

TareqChy1/Ecommerce-site-ontology

The ontology provided is designed for an Electronics and Gadgets E-commerce site. An ontology is a formal representation of concepts and their relationships within a particular domain. In this case, the ontology aims to define and organize the various electronic devices and gadgets that can be sold on the e-commerce site.

Size: 547 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

amannm/description-logic-reasoner

high-performance description logic reasoner

Language: C++ - Size: 156 KB - Last synced at: about 1 year ago - Pushed at: almost 12 years ago - Stars: 2 - Forks: 0

b0gz1b/projet-LRC-tableau-ALC

Ecriture en Prolog d’un démonstrateur basé sur l’algorithme des tableaux pour la logique de description ALC dans le cadre de l'UE de LRC.

Language: Prolog - Size: 251 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

filippodebortoli/emcl-topicsDL 📦

Files from the "Further Topics in Description Logics" seminar held at TU Dresden in WS 2017/18.

Language: TeX - Size: 98.6 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

elblasco/Logica

Logica computazionale A.A. 2022/23

Language: TeX - Size: 94.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

maxadamski/reasonable-embeddings

A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks

Language: Jupyter Notebook - Size: 29 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 2

rolandbernard/ontologyutils

A suite of utility functions and applications for engineering OWL ontologies.

Language: Java - Size: 1.96 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

AImenes/query-answering-and-embeddings

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

Language: Python - Size: 202 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

lambdamikel/DLMAPS

DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps

Language: Common Lisp - Size: 38.4 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 0

francesco-kriegel/conexp-fx

Concept Explorer FX (conexp-fx)

Language: Java - Size: 443 MB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

francescapoli98/semantic-web

Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.

Size: 597 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

dice-group/EvoLearner

EvoLearner: Learning Description Logics with Evolutionary Algorithms

Language: Prolog - Size: 45.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

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

Language: Rust - Size: 70.8 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

vargo96/fkg-mini-project-refinement

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.

Language: Python - Size: 5.1 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

lambdamikel/RacerPorter

An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners

Language: Common Lisp - Size: 211 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 2

M-Illich/Computing-CREs

Java project for computing concept referring expressions in order to answer general instance retrieval queries on Horn ALC ontologies

Language: Java - Size: 587 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

aaronEberhart/ERCompletionReasoningLSTM

Random syntax generator with reasoner and LSTM

Language: Python - Size: 163 MB - Last synced at: 6 months ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 3

lambdamikel/GenEd

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

Language: Common Lisp - Size: 3.41 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 2

lambdamikel/MiDeLoRa

Michael's Description Logic Reasoner Framework

Language: Common Lisp - Size: 30.9 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

MaximilianMoeller/description-logic

lecture notes for the "description logic" lecture @ TU Dresden

Language: TeX - Size: 243 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

MindfulMichaelJames/PRO

A Preferential Reasoner for Ontologies

Language: Java - Size: 57.4 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

delpix/sumerian-ontology

An OWL Ontology of a Sumerian Grammar

Size: 1.6 MB - Last synced at: 12 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

delpix/esperanto-ontology

Ontology of Esperanto

Size: 1.52 MB - Last synced at: 12 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

CarloGalatolo/SDLL-SimpleDescriptionLogicLanguage

[IT] Progetto universitario. Linguaggio di programmazione della Logica Descrittiva realizzato con Flex, Bison e C++. [EN] University project. Description logic programming language made with Flex, Bison and C++.

Language: C++ - Size: 23.9 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

AndrewIjano/pgel-sat

A tractable Probabilistic Graphic EL SAT solver

Language: Python - Size: 2.74 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

asolimando/logmap-conservativity

LogMap extension for conservativity principle

Language: Java - Size: 129 MB - Last synced at: 27 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

AndrewIjano/gel-max-sat

A tractable Graphic EL MaxSAT solver

Language: Python - Size: 627 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

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.

Language: OCaml - Size: 180 KB - Last synced at: 12 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

aaronEberhart/Reason.er

ALC reasoner experiment with syntax generator

Language: Java - Size: 1.45 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

liveontologies/pinpointing-experiments

Experiments for extracting justifications from proofs.

Language: Java - Size: 4.64 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0