A tool for analyzing JavaScript in web forms. [presentation][poster]
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
Pay-as-you-go OWL 2 Query Answering [presentation][poster][paper]
A tool for querying web-based datasources [presentation][poster]
A highly scalable in-memory RDF triple store [presentation][poster1][poster2][paper1][paper2]
A system for aggregate semantic annotation of text and web content [presentation][poster][paper]
Prototypical implementation of a query rewriting algorithm for OWL 2 QL and beyond
Semantic facet search system [presentation][poster][paper]