E-mail
 | About A collection of reasoning engines and classifiers for inferencing against semantic information models. |
- HermiT OWL Reasoner
- a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more. HermiT is the first publicly-available OWL reasoner based on a novel "hypertableau" calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle. HermiT uses direct semantics and passes all OWL 2 conformance tests for direct semantics reasoners. - FaCT++ - FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimized tableaux algorithms.
- Pellet - Pellet is an open source, OWL DL reasoner in Java, originally developed at the University of Maryland's Mindswap Lab.
- RacerPro - RacerPro is an OWL reasoner and inference server for the Semantic Web. It is compatible with the Protégé Ontology Editor and Knowledge Acquisition System. It is a professional product that must be licensed for a fee. RACER stands for Renamed ABox and Concept Expression Reasoner. RacerPro is the commercial name of the software.
Labels: