description-logic

There are 0 repository under description-logic topic.

• universome / dl-reasoner

  Tableau-based reasoner for ALCQ description logic

  aclqalcdescription-logicreasoningtableau-algorithm
  Language:Rust 9

• TycheLibrary / Tyche

  A library for probabilistic reasoning and belief modelling in Python.

  knowledge-baseontologyprobabilitybeliefdescription-logic
  Language:Python 7

• IliesChibane / TP-representation-des-connaissances-et-le-raisonnement

  TPS ET RAPPORTS MODULE RCR 1 et 2

  baysian-networkcdefault-logicdempster-shafer-theorydescription-logicfuzzy-logicjavamodal-logicoctavepythonsat-solversemantic-networksinference-logicpossibilistic-logic
  Language:MATLAB 3

• lambdamikel / MiDeLoRa

  Michael's Description Logic Reasoner Framework

  dl-reasonerdescription-logicdescription-logicsreasoner
  Language:Common Lisp 3

• Dorsa-Arezooji / AutoDoc

  A medical ontology using patient information to make inferences

  ontologyswrlowldescription-logicmedical-informaticspelletprotege
  2

• ZakariaYousfi / TPRCR-Knowledge-Presentation-Full

  implementation of different kinds of knowledge presentation languages programmatically

  default-logicdescription-logicmodal-logicpredicate-logicsemantic-networksfirst-order-logic
  2

• jklemke / js-sig-reg

  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.

  owlrdfskosdescription-logicmodel-theoryjeststandardjsfirst-order-logic
  Language:JavaScript 0

• paya54 / Reason-OWL

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

  description-logicknowledge-graphowlpython
  Language:Python 0

• vtramo / concurrent-el-reasoner

  Concurrent Classification of EL++ Ontologies

  classificationconcurrent-programmingdescription-logicowl-apiowl-ontologysemantic-webtbox
  Language:Java 0

• rolandbernard / paper-axiom-weakening

  This repository contains the source for a paper?

  description-logicknowledge-refinementprotege
  Language:Jupyter Notebook

• rolandbernard / thesis-axiom-weakening

  This repository contains the text for my bachelor thesis

  description-logicknowledge-refinementowl2protegethesis
  Language:TeX