TUWIEN KAOS

From ONTORULE Show Case

Contents 1 Motivation 2 Description 2.1 Usage 2.2 Example

Motivation

KAOS is the first reasoner supporting Conjunctive Queries (CQs) over the expressive Horn-SHIQ ontologies; to this purpose, it uses a rewriting based method, and has been developed in cooperation with the Austrian funded FWF Project "Reasoning in Hybrid Knowledge Bases" P20840. Horn-SHIQ is an expressive Datalog-rewritable subset of the DL SHIQ which allows for existentials on the right-hand side of the axioms, as well as for inverse properties, while retaining polynomial data complexity. The underlying thoretical work as well as benchmark results are reported in Ontorule Deliverable D3.4.

The Architecture of KAOS

Description

Usage

Inputs:
Ontology: OWL file, which has to be in the Horn-SHIQ Fragment
CQ: SPARQL file, which has to be a CQ

Outputs:

Query Results

Usage: java -jar kaos.jar -ontology <ontology_file> \ -sparql <sparql_file> -dlv <dlv_path> \ [-verbose <verbose_level>] <ontology_file> the ontology file to be read <sparql_file> the sparql file to be query <dlv_path> the path of dlv <verbose_level> Specify verbose category (default: 0)

Example: java -jar kaos.jar -ontology university.owl\ -sparql q1.sparql -dlv /usr/bin/dlv

Example

In this example, we have two inputs, one is a university ontology "university.owl", another is a conjunctive query q1.sparql.

We can run it using the following command line:

java -jar kaos.jar -ontology university.owl\
-sparql q1.sparql -dlv /usr/bin/dlv