KAON OWL Support
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:
- Raphael Volz (DLP, FZI W3C WebOnt Representative)
- Boris Motik (Disjunctive DLP, Software Architect)
Last modified 10-06-2003 02:50 PM