Highly-efficient consequence-based reasoner for the Horn fragment of OWL 2.
A CVS-based Concurrent ONTology ENgineering Tool.
A logiC-based ONtology inTEgration Tool using MAPpings.
Parallelised consequence-based reasoner for OWL 2 EL.
Highly optimised hypertableau based reasoner that fully support OWL 2.
A combined approach to answering conjunctive queries over ELHO ontologies.
Extraction and logic-based assessment of ontology mappings.
Locality-based extraction of ontology modules
Modular Combination of OWL Reasoners for Ontology Classification
...
Prototypical implementation of a query rewriting algorithm for OWL 2 QL and beyond.
Data generator for University Ontology Benchmark.