Technical Reports and Project Deliverables
2007
F. Baader, R. Bernardi, D. Calvanese, A. Calì, B. Cuenca Grau, M. Garcia,
G. De Giacomo, A. Kaplunova, O. Kutz, D. Lembo, M. Lenzerini, L. Lubyte,
C. Lutz, M. Milicic, R. Möller, B. Parsia, R. Rosati, U. Sattler,
B. Sertkaya, S. Tessaris, C. Thorne, and A.-Y. Turhan.
D13: Techniques for Ontology Design and Maintenance.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
The purpose of the current deliverable is to summarize the techniques that realize
the reasoning services identified as fundamental for ontology design and maintenance,
and to report on their computational properties. In particular, we concentrate on novel
techniques and results that have been developed within the TONES project.
D. Calvanese, P. Dongilli, G. De Giacomo, A. Kaplunova, D. Lembo, M. Lenzerini,
R. Möller, R. Rosati, S. Tessaris, M. Wessel, and I. Zorzi.
D21: Software Tools for Ontology Access, Processing, and Usage.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
D. Calvanese, G. De Giacomo, B. Glimm, B. C. Grau, V. Haarslev, I. Horrocks,
A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, M. Milicic, R. Möller,
R. Rosati, U. Sattler, and M. Wessel.
D18: Techniques for Ontology Access, Processing, and Usage.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
This report summarizes the reasoning techniques and algorithms developed in the TONES project that realize the reasoning services identified as fundamental for ontology-based access, processing, and usage. In addition to a detailed presentation of the algorithms, we report on their computational properties and investigate solutions for the expressivity and data scalability problems.
D. Calvanese, G. De Giacomo, B. C. Grau, A. Kaplunova, D. Lembo, M. Lenzerini,
R. Möller, R. Rosati, U. Sattler, B. Sertkaya, B. Suntisrivaraporn,
S. Tessaris, A.-Y. Turhan, and S. Wandelt.
D14: Ontology-Based Services: Usage Scenarios and Test Ontologies.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
In this deliverable we define a number of usage scenarios for tasks that have to be solved during the whole life-cycle of ontologies. The detailed description of these tasks relevant for, e.g., ontology design, maintenance, access, usage, interoperation were already provided in previous deliverables. Now, we investigate the combination of various elementary tasks for the above-mentioned processes, and we analyze the interplay of corresponding reasoning services. We integrate and apply task-specific reasoning techniques to a set of test ontologies. The selection of test ontologies and their specific purposes is presented in this report.
D. Calvanese, B. Cuenca Grau, E. Franconi, I. Horrocks, A. Kaplunova, C. Lutz,
R. Möller, B. Sertkaya, S. Tessaris, and A.-Y. Turhan.
D15: Software Tools for Ontology Design and Maintenance.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Abstract
This document accompanies the software deliverable D15 (Software Tools for Ontology
Design and Maintenance) of the TONES project, providing an overview of the delivered
software packages along with some basic information on how to install and run them. The delivered software tools are implementations of the techniques described in deliverable D13, usually enriched with optimization techniques in order to make them more
efficient. In this document, we focus on describing the relevance of the delivered tools for ontology design and maintenance. The contributions of the delivered tools to other workpackages will be the subject of later documents.
S. Espinosa, V. Haarslev, A. Kaplunova, A. Kaya, S. Melzer, R. Moeller, and
M. Wessel.
Deliverable D4.2: Reasoning Engine Version 1 and State of the Art in
Reasoning Techniques, January 2007.
Bibtex entry Paper (PDF)
Abstract
This report describes the results of practical and theoretical investigations for developing representation systems which support the construction of declarative models, which can be checked for consistency and which can be used as the basis for problem solving processes in different application contexts. The report is structured into four parts, each with its own set of references in order to provide an overview on the state of the art for each of the areas covered. First, in Part 1, we describe research results about expressive description logics, then, in Part 2, optimization techniques for instance retrieval are discussed in the context of grounded conjunctive queries. Afterwards, in Part 3, the expressivity of the query language is enhanced in order to provide a combination of spatial and ontological reasoning. In the last part, we focus on a middleware architecture to provide efficient and scalable reasoning systems for large-scale applications.
S. Espinosa, V. Haarslev, A. Kaplunova, A. Kaya, S. Melzer, R. Möller, and
M. Wessel.
Reasoning Engine Version 1 and State of the Art in Reasoning
Techniques.
Technical report, Hamburg University Of Technology, 2007.
BOEMIE Project Deliverable D4.2.
Bibtex entry Paper (PDF)
S. Espinosa, A. Kaya, S. Melzer, R. Möller, T. Näth, and M. Wessel.
Reasoning Engine Version 2.
Technical report, Hamburg University Of Technology, 2007.
BOEMIE Project Deliverable D4.5.
Bibtex entry Paper (PDF)
Miguel Garcia, Alissa Kaplunova, and Ralf Möller.
Model Generation in Description Logics: What Can We Learn From Software
Engineering?.
Technical report, Institute for Software Systems (STS), Hamburg University of
Technology, Germany, 2007.
See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry Paper (PDF)
Abstract
Model checking as well as model generation (aka model finding) are well-established methodologies for formally verifying properties of possibly time-evolving systems. In order to support the ontology development process in an incremental way, our thesis is that well-known model-generation tools can be adopted accordingly and provide major benefits for human ontology designers. In this work we evaluate pros and cons of applying an existing model checking and generation tool in this context.
G. De Giacomo, E. Franconi, B. Cuenca Grau, V. Haarslev, A. Kaplunova, A. Kaya,
D. Lembo, C. Lutz, M. Milicic, R. Möller, U. Sattler, B. Sertkaya,
B. Suntisrivaraporn, A.-Y. Turhan, S. Wandelt, and M. Wessel.
D23: Analysis of Test-Results on Individual Test Ontologies.
Project deliverable, TONES, 2007.
http://www.tonesproject.org.
Bibtex entry Paper (PDF)
Alissa Kaplunova and Ralf Möller.
Probabilistic LCS in a P-Classic Implementation.
Technical report, Institute for Software Systems (STS), Hamburg University of
Technology, Germany, 2007.
See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry Paper
(PDF)
Abstract
In this report, we describe investigations made in the context of user-adaptive in-
formation systems. We verify the idea of combining two formalisms: description logics
(DLs) and Bayesian networks in order to increase the effectiveness of information re-
trieval. For this, we implemented the basic functionality of P-Classic which extends
the DL Classic with probabilistic inferences. In P-Classic, the degree of concept
subsumptions can be quantitatively expressed as a statistical value. We use this feature
for the definition of the PLCS operator, a probabilistic "Least Common Subsumer"
operator which allows for quantitative measure of concept overlap, and we show how
this operator can improve the quality of information retrieval.
The software package including the prototypical implementation of P-Classic in
Common Lisp can be obtained from http://www.sts.tu- harburg.de/~r.f.moeller/band/
pclassic.zip.
Thomas Tikwinski, Carsten Rosche, George Paliouras, Alfio Ferrara, Atila Kaya,
and Vasileios Papastathis.
Specification of the Architecture.
Technical report, BOEMIE Project Deliverable 5.4, April 2007.
Bibtex entry Paper (PDF)
Abstract
For the various tools and frameworks developed in the BOEMIE project
to be integrated into a prototype, a state-of-the-art open
architecture is required. It must be able to support the
bootstrapping process and related prototype use cases as well as
allow for straightforward integration with existing systems of
professional users. Based on web services, this document
specifies an
appropriate architecture for the development of the two prototypes.
