Information Systems Group

― Knowledge Representation and Reasoning

Information Systems Group Tools

Web Tools/Demos

Online demos of the KRR systems

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

RODI

A Benchmark to Evaluate Relational-to-Ontology Mapping Generation

Requiem OWL 2 QL Reasoner

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

SemFacet

Semantic facet search system.

SOMM

Siemens-Oxford Model Manager.

UOBM Generator

Data generator for University Ontology Benchmark