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

Generalization algorithms for the description logics EL and extensions.

Protégé 3.6 OWL plugin from the University of Bergen Library

A Protégé plugin for debugging SWRL rules using our proposed SRE algorithm.

Protégé plugin that adds support for axiom weakening

Protege resources like notes, codes, materials etc.

Protege slot-widget plugin for generating universal unique identifier (UUID) for a new instance.

An ontology evaluation protégé plugin built with apache maven & java.