description-logics
There are 1 repository under description-logics topic.
dice-group / Ontolearn
Ontolearn is an open-source software library for explainable structured machine learning in Python. It learns OWL class expressions from positive and negative examples.
Language:Python 31lambdamikel / OntoLisp
A Common Lisp Framework for the Semantic Web
Language:Common Lisp 20- Language:Java 19
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
Language:Common Lisp 18julianmendez / jcel
Reasoner for the description logic EL+.
Language:Java 13kodymoodley / defeasibleinferenceplatform
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
Language:Java 13Freakwill / gimbiseo
🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)
Language:Python 12maxadamski / reasonable-embeddings
A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks
Language:Jupyter Notebook 11rzese / trill
TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
Language:Prolog 9DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
Language:Common Lisp 7An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners
Language:Common Lisp 5aaronEberhart / ERCompletionReasoningLSTM
Random syntax generator with reasoner and LSTM
Language:Python 4kracr / el-embeddings
A neuro-symbolic reasoner for the EL++ description logic.
Language:Python 4francescapoli98 / semantic-web
Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.
Michael's Description Logic Reasoner Framework
Language:Common Lisp 3MindfulMichaelJames / PRO
A Preferential Reasoner for Ontologies
Language:Java 3amannm / description-logic-reasoner
high-performance description logic reasoner
Language:C++ 2asolimando / logmap-conservativity
LogMap extension for conservativity principle
Language:Java 2EvoLearner: Learning Description Logics with Evolutionary Algorithms
Language:Prolog 2francesco-kriegel / conexp-fx
Concept Explorer FX (conexp-fx)
Language:Java 2- Language:Scala 2
AlessandraMonaco / Building-and-Querying-a-Knowledge-Base-for-E-Commerce
A simple OWL Knowledge Base for a fictional E-Commerce website selling technological products, with some interesting SPARQL/DL/SQWRL queries.
damianoduranti / LLMknowextra
LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics
Language:Python 1Concept length prediction for the ALC description logic.
Language:Python 1Epistematica / sumerian-ontology
An OWL Ontology of a Sumerian Grammar
Language:Web Ontology Language 1filippodebortoli / emcl-topicsDL
Files from the "Further Topics in Description Logics" seminar held at TU Dresden in WS 2017/18.
Language:TeX 1hatellezp / 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 1michel-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 1NaveenVarmaK / Youtube_Ontology
A knowledge model to describe information related to social networking platforms (Youtube).
Language:HTML 1AImenes / query-answering-and-embeddings
Combining Query Rewriting (PerfectRef) and Knowledge Graph Embeddings with Complex Query Answering
Language:Python 0hannafiegen / ArtifactGFO
Basic categories and axioms for artifact description in GFO
0angelo-casciani / MythOntology
An OWL ontology on Greek mythology.
anjola-adeuyi / Youtube_Ontology
A knowledge model to describe information related to social networking platforms (Youtube).
Language:HTML- Language:Lean
rolandbernard / ontologyutils
A suite of utility functions and applications for engineering OWL ontologies.
Language:JavaTareqChy1 / 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.
