Data and Knowledge Group

― Knowledge Representation and Reasoning

Information Systems Group Tools

Web Tools/Demos

Online demos of the KRR systems

ACQuA

A hybrid architecture for conjunctive query answering over OWL 2 DL

BootOX

A bootstrapper of OWL 2 ontologies and R2RML mappings from RDBs

CB OWL 2 Horn Reasoner

Highly-efficient consequence-based reasoner for the Horn fragment of OWL 2

ContentCVS

A CVS-based Concurrent ONTology ENgineering Tool

ContentMap

A logiC-based ONtology inTEgration Tool using MAPpings

ELK OWL 2 EL Reasoner

Parallelised consequence-based reasoner for OWL 2 EL

EOLO

CQ answering system for EL knowledge bases with transitive and reflexive roles

HermiT OWL 2 Reasoner

Highly optimised hypertableau based reasoner that fully support OWL 2

KARMA

A combined approach to answering conjunctive queries over ELHO ontologies

LogMap

Extraction and logic-based assessment of ontology mappings

Locality Module Extractor

Locality-based extraction of ontology modules

MORe

Modular Combination of OWL Reasoners for Ontology Classification

PAGOdA

Pay-as-you-go OWL 2 Query Answering

PrisM

Ontology module extractor parameterised by different inseparability relations

RDFox

A highly scalable in-memory RDF triple store

Requiem OWL 2 QL Reasoner

Prototypical implementation of a query rewriting algorithm for OWL 2 QL and beyond

RODI

A Benchmark to Evaluate Relational-to-Ontology Mapping Generation

RSAComb

Combined approach for Conjunctive Query answering in RSA

SemFacet

Semantic facet search system

Sequoia

Consequence-based reasoner for the SRIQ subset of OWL 2 DL

SOMM

Siemens-Oxford Model Manager

SumRDF

Query Size Estimator for RDF data

UOBM Generator

Data generator for University Ontology Benchmark