A lightweight Description Logic reasoner for large-scale biomedical ontologies
-
Updated
Dec 19, 2023 - Common Lisp
A lightweight Description Logic reasoner for large-scale biomedical ontologies
Reasoner for the description logic EL+.
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
OntoSeer is a tool to help users build better quality ontologies
Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning
Protege plugin for Shape Expressions
Protégé plugin for completing OWL ontologies
SPARQL-DL Not rules - A Protege 4 plugin for running SPARQL CONSTRUCT queries as SPARQL-DL Not rules.
Tool for finding unifiers in the description logic EL
A Protégé plugin for visualising SWRL rules using our proposed AOWLN notation.
OWL Comparison Tool
A Protégé plugin for debugging SWRL rules using our proposed SRE algorithm.
Protégé 3.6 OWL plugin from the University of Bergen Library
Generalization algorithms for the description logics EL and extensions.
An ontology evaluation protégé plugin built with apache maven & java.
Protégé plugin that adds support for axiom weakening
Protege slot-widget plugin for generating universal unique identifier (UUID) for a new instance.
Add a description, image, and links to the protege-plugin topic page so that developers can more easily learn about it.
To associate your repository with the protege-plugin topic, visit your repo's landing page and select "manage topics."