Version: April 24, 2002
Harold Boley, Robert Jürgens, Detlev Stahl
Abstract: This document describes the representations/implementations of OntoTherm, the ELOTHERM Ontology for Heating Design. OntoTherm's extended RuleML XML source form is given, translated to RDF Schema via XSLT, and visualized graphically via FRODO RDFSViz. A translator to normal RuleML XML is illustrated and handles for the Clockwork Server Tool and the Hierarchix package are provided.
DFKI and ELOTHERM have been cooperating within the Clockwork project sind mid 2000. Among other things we have modeled ELOTHERM heating devices in order to capture the design histories and know-how as well as to improve future designs by archiving/analyzing existing ones. The models have the form of ontologies, usually consisting of a hierarchical taxonomy and sometimes combined with rule-like axioms (e.g., integrity constraints). They are built with ontology tools such as RuleML and FRODO from DFKI, OCML and Clockwork Server Tool from KMi, Protege from SMI, and Hierarchix from Goetzfried AG.
The OntoTherm taxonomy was developed by stepwise refinement: Textual 'indentation-taxonomy' versions were specified by ELOTHERM, these were formalized in a taxonomic RuleML extension (an XML application) by DFKI, the generated gif forms were shown to ELOTHERM for improvement, etc., until we finally obtained the version at http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.ruleml ("View | Page Source" or http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.ruleml.txt).
Reusing techniques from the Mathint Ontology, in particular the adapted XSLT stylesheet http://www.dfki.uni-kl.de/~boley/heating-design/ruleml2rdfs.xsl ("View | Page Source" or http://www.dfki.uni-kl.de/~boley/heating-design/ruleml2rdfs.xsl.txt), OntoTherm was translated to RDF Schema, a light-weight Web-Ontology language, obtaining http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.rdfs.
This now permits interoperation, e.g. with Protege and the final Clockwork Server Tool, as well as FRODO RDFSViz visualization via http://www.dfki.uni-kl.de/frodo/RDFSViz/, here yielding the RDFSViz-generated gif (or ps) file http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.gif (or http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.ps). This taxonomy overarches five subtaxonomies, corresponding to the five 'worlds' of the Clockwork Server Tool. The taxonomy can thus be used as an integratation schema for the various heating-design databases at ELOTHERM, which can be presented in the Clockwork Server Tool.
Moreover, as discussed in the taxonomic RuleML extension, the extended RuleML version http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.ruleml ("View | Page Source" or http://www.dfki.uni-kl.de/~boley/heating-design/heating-taxonomy.ruleml.txt) can also be translated into the normal RuleML version heating-taxonomy-imp.ruleml ("View | Page Source" or heating-taxonomy-imp.ruleml.txt). Once in this rule form, the taxonomy can be enriched by normal RuleML rules.
Finally, an import/export interface between taxonomies in RuleML's sub or RDF Schema's subClassOf representation on the one hand and the Hierarchix alternate table representation on the other hand would permit to make these taxonomies available within databases.