rzese / trill Star 13 Code Issues Pull requests TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases. prolog description-logics probabilistic-knowledge-bases tableau-reasoner axiom-pinpointing probabilistic-description-logics trill Updated Sep 19, 2024 Prolog
dice-group / EvoLearner Star 3 Code Issues Pull requests EvoLearner: Learning Description Logics with Evolutionary Algorithms owl web-ontology-language description-logics concept-learning Updated Jul 7, 2023 Prolog
b0gz1b / projet-LRC-tableau-ALC Star 0 Code Issues Pull requests 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. logic prolog logic-programming alc description-logics tableau-algorithm Updated Dec 14, 2022 Prolog