Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

Python bindings for upgraded FaCT++ description logic reasoner

An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners

An ABox Evaluation and Comparison Tool for Ontologies.

Refactoring and fully merging multiple OWL ontologies using pairwise RDF ontology alignments

Refactoring and simply merging multiple OWL ontologies using pairwise RDF ontology alignments

Apache Jena OWL2 Model

For a given ontology, this tool recommends the ODPs that can be used in the ontology

OWL Comparison Tool

Utility to convert OWL ontologies to different formats, including OWL syntaxes and RDF/XML.

Simply merging multiple OWL ontologies using pairwise RDF alignments (This OIAR version is written in OWL API 5.1)

A partitioning algorithm for OWL

Simply merging multiple OWL ontologies using pairwise RDF alignments (This OIAR version is written in OWL API 4.5)

Fully merging multiple OWL ontologies using pairwise RDF alignments (This AROM version is written in OWL API 5.1)

Fully merging multiple OWL ontologies using pairwise RDF alignments (This AROM version is written in OWL API 4.5)

A SPARQL-DL^NOT engine

A Java CLI tool to manipulate OWL ontologies

A suite of utility functions and applications for engineering OWL ontologies.

This project is part of my bachelor thesis "Conception and prototypical realisation of a semantic model for data processing in distributed data structures of public transport systems"

Protégé plugin that adds support for axiom weakening