Karlsruhe OWL Tools

Dear all,

we are working in Karlsruhe (AIFB [1], FZI [2] and Ontoprise [3]) on a
number of OWL related tools which you  might find helpful.

In this mail we want to highlight a set of tools for handling of OWL
ontologies (KAON2 OWL Tools), a  framework for ontology alignment and
mapping of OWL ontologies (FOAM) and the underlying KAON2 OWL
infrastructure.
Your feedback is strongly welcome!

Stay tuned for more ...
The Semantic Karlsruhe people

--------------------------------
* KAON2 OWL Tools ("Goodies")

The 'KAON2 OWL tools' are a set of tools for working on OWL files, exposing
the abilities of the KAON2 ontology  infrastructure to the command line.

The KAON2 OWL tools are available for download at:
http://www.aifb.uni-karlsruhe.de/WBS/dvr/owltools/

They include the following goodies:

dump: prints the axioms (or entities) of the ontology
filter: remove all the axioms of a special kind
count: counts the number of  axioms (or entities) in the ontology
diff: returns all axioms in one ontology missing from the other 
merge: returns an ontology containing all axioms from two input ontologies 
owlrdf2owlxml / owlxml2owlrdf: transforms between the OWL/RDF serialisation
and OWL/XML presentation syntax
deo: weakens the ontology by replacing nominals with simple classes
ded: removes all concrete domains from the ontology
dlpconvert: converts an DL ontology to rules
satisfiable: checks the satisfiability of an ontology
version: prints the version of the AIFB OWL tools

Most are quite self-explanatory. We would like to point especially to
'dlpconvert' which converts the OWL/XML  presentation or
RDF/XML-Serialisation of a knowledgebase defined within DLP into the datalog
representation. 

You can also try dlpconvert out also as a service via a simple web form at:
http://logic.aifb.uni-karlsruhe.de/dlpconvert/

--------------------------------
* FOAM -- Framework for Ontology Alignment and Mapping (of OWL ontologies)

The ontology alignment and mapping framework FOAM is a tool to full- or
semi-automatically align two or more  OWL ontologies. It is based on
heuristics (similarity) of the individual entities (concepts, relations, and
instances).  As result pairs of aligned entities are given. Two versions are
available, a downloadable java application and a  web service.

More information can be found at:
http://www.aifb.uni-karlsruhe.de/WBS/meh/foam/

--------------------------------
* KAON2 OWL Infrastrucure

'KAON2' is an infrastructure for managing OWL-DL and SWRL ontologies. KAON2
is a successor to the KAON  project (often referred to as KAON1). The main
difference to KAON1 is the supported ontology language: KAON1  used a
proprietary extension of RDFS, whereas KAON2 is based on OWL-DL. Please note
that KAON2 is a  completely new system.

KAON2 provides the following features:
- an API for programmatic management of OWL-DL and SWRL ontologies, 
- a stand-alone server providing access to ontologies in a distributed
manner, 
- an inference engine for answering queries, 
- a module for extracting ontology instances from relational databases
(available soon).

The core system KAON2 is already downloadable, however, some elements are
still under development.

The preliminary version of KAON2 is available for download at:
http://kaon2.semanticweb.org/

--------------------------------
* Acknowledgements

Part of this research and development has been financed by the EU in the
integrated projects SEKT [4] and DIP [5]  and the thematic network Knowledge
Web [5].

--------------------------------
* Additional References

[1] http://www.aifb.uni-karlsruhe.de/WBS
[2] http://www.fzi.de/wim/eng/index.html
[3] http://www.ontoprise.de
[4] http://www.sekt-project.com
[5] http://dip.semanticweb.org/
[6] http://knowledgeweb.semanticweb.org

--
Dr. York Sure
Institute AIFB, University of Karlsruhe (TH
phone: +49 (0) 721 608 6592
web: http://www.aifb.uni-karlsruhe.de/WBS/ysu

Received on Wednesday, 13 April 2005 14:29:02 UTC