Tableau-based reasoner for ALCQ description logic
-
Updated
May 1, 2020 - Rust
#
description-logic
Here are 12 public repositories matching this topic...
Logic plus python types
python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml
-
Updated
Jan 11, 2025 - Python
A library for probabilistic reasoning and belief modelling in Python.
-
Updated
Mar 15, 2023 - Python
Michael's Description Logic Reasoner Framework
-
Updated
Mar 14, 2021 - Common Lisp
TPS ET RAPPORTS MODULE RCR 1 et 2
python c java octave sat-solver semantic-networks fuzzy-logic modal-logic dempster-shafer-theory baysian-network description-logic default-logic possibilistic-logic inference-logic
-
Updated
Jan 26, 2023 - MATLAB
implementation of different kinds of knowledge presentation languages programmatically
-
Updated
Jul 4, 2023
A medical ontology using patient information to make inferences
-
Updated
Jul 19, 2020
A JavaScript library for experimenting with concepts from first order logic, description logic, model theory, type theory, set theory, RDF, OWL, SKOS, etc. Aspires to be "standard" open source javascript by using npm, jest, standardjs, EcmaScript modules accessible from both HTML and server-side nodejs.
-
Updated
Dec 10, 2021 - JavaScript
A case showing how to represent knowledge graph and reason about root causes for cutting tool breakage
-
Updated
Aug 23, 2020 - Python
This repository contains the source for a paper?
-
Updated
Dec 4, 2023 - Jupyter Notebook
Concurrent Classification of EL++ Ontologies
-
Updated
Mar 26, 2024 - Java
This repository contains the text for my bachelor thesis
-
Updated
Dec 4, 2023 - TeX
Improve this page
Add a description, image, and links to the description-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the description-logic topic, visit your repo's landing page and select "manage topics."