Highly-efficient consequence-based reasoner for the Horn fragment of OWL 2.
Parallelised consequence-based reasoner for OWL 2 EL.
Highly optimised hypertableau based reasoner that fully support OWL 2.
Prototypical implementation of a query rewriting algorithm for OWL 2 QL and beyond.
Extraction and logic-based assessment of ontology mappings.
Locality-based extraction of ontology modules
A CVS-based Concurrent ONTology ENgineering Tool.
A logiC-based ONtology inTEgration Tool using MAPpings.