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

OWL Comparison Tool

A Protégé plugin for visualising SWRL rules using our proposed AOWLN notation.

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.

Protege resources like notes, codes, materials etc.

Protégé plugin that adds support for axiom weakening

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.