Reasoner for the description logic EL+.
-
Updated
Jun 7, 2024 - Java
Reasoner for the description logic EL+.
OWL Comparison Tool
A Protégé plugin for visualising SWRL rules using our proposed AOWLN notation.
A lightweight Description Logic reasoner for large-scale biomedical ontologies
Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning
Tool for finding unifiers in the description logic EL
OntoSeer is a tool to help users build better quality ontologies
A Protégé plugin for debugging SWRL rules using our proposed SRE algorithm.
An ontology evaluation protégé plugin built with apache maven & java.
Generalization algorithms for the description logics EL and extensions.
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.
Protégé plugin that adds support for axiom weakening
Protégé 3.6 OWL plugin from the University of Bergen Library
Protege slot-widget plugin for generating universal unique identifier (UUID) for a new instance.
Protege plugin for Shape Expressions
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
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."