Skip to content

KAON - The KArlsruhe ONtology and Semantic Web tool suite

Sections
Personal tools
You are here: Home » OWL (Web Ontology Language)

KAON OWL Support

Document Actions
KAON Supports OWL in many ways. Firstly, the RDF API can be used to parse all valid OWL files. Secondly, we actively participate in the development of an OWL API. Thirdly, we develop an (currently incomplete) OWL reasoner based on the DLP paradigm.

RDF API

The RDF API module can be used to parse and syntactically manipulate any valid OWL/RDF file. This syntactic manipulation may be sufficient for many applications such as renders or other simple applications.

OWL API

Together with the Information Management Group of the University of Manchester we develop an OWL API It offers high-level data structures for accessing and manipulation of OWL/DL ontologies. This API defines a set of core interfaces which can have multiple implementations and a flexible Change structure, which allows to implement Undo/Redo Operations and transactional behavior.

DLP

Description Logic Programs is the translation of a very expressive fragment of OWL/DL into (disjunctive) datalog. The papers section of this website contains multiple papers that describe this reasoner. The underlying principle is to compile (translate) a given OWL/DL ontology into a corresponding logic program which can then be interpreted by the KAON (disjunctive) datalog engine. While the translation is incomplete, e.g. support for cardinality is currently missing, it is nevertheless well-defined (see papers).

An alpha (but stable) version is available, ic can also output RuleML v0.8.

Using this engine might be very promising, since the performance appears to be superior compared with other publicly available DL reasoners (Fact, Racer). Also the integration with legacy data can be implemented very easily using the predicate binding facilities offered by the Datalog engine. Additionally the Java source code is freely available under the LGPL licence.

Contact:

Created by jodo
Last modified 10-06-2003 02:50 PM