Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: description-logic

TycheLibrary/Tyche

A library for probabilistic reasoning and belief modelling in Python.

Language: Python - Size: 754 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 1

py-typedlogic/py-typedlogic

Logic plus python types

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

vtramo/concurrent-el-reasoner

Concurrent Classification of EL++ Ontologies

Language: Java - Size: 2.35 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

rolandbernard/paper-axiom-weakening

This repository contains the source for a paper?

Language: Jupyter Notebook - Size: 28.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rolandbernard/thesis-axiom-weakening

This repository contains the text for my bachelor thesis

Language: TeX - Size: 15.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

IliesChibane/TP-representation-des-connaissances-et-le-raisonnement Fork of ferrorra/RCR1

TPS ET RAPPORTS MODULE RCR 1 et 2

Language: MATLAB - Size: 10.8 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

universome/dl-reasoner

Tableau-based reasoner for ALCQ description logic

Language: Rust - Size: 98.6 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 4

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

Dorsa-Arezooji/AutoDoc

A medical ontology using patient information to make inferences

Size: 2.04 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 2

paya54/Reason-OWL

A case showing how to represent knowledge graph and reason about root causes for cutting tool breakage

Language: Python - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Related Keywords
description-logic 10 python 3 protege 3 ontology 2 owl 2 knowledge-refinement 2 sat-solver 1 possibilistic-logic 1 octave 1 modal-logic 1 java 1 inference-logic 1 fuzzy-logic 1 dempster-shafer-theory 1 default-logic 1 c 1 belief 1 semantic-networks 1 aclq 1 alc 1 reasoning 1 tableau-algorithm 1 description-logics 1 dl-reasoner 1 reasoner 1 medical-informatics 1 pellet 1 swrl 1 knowledge-graph 1 knowledge-base 1 probability 1 answer-set-programming 1 clif 1 clingo 1 common-logic 1 datalog 1 linkml 1 logic 1 owl-dl 1 prolog 1 souffle 1 theorem-provers 1 z3 1 classification 1 concurrent-programming 1 owl-api 1 owl-ontology 1 semantic-web 1 tbox 1 owl2 1 thesis 1 baysian-network 1