Technical Reports and Project Deliverables
2006
F. Baader, D. Calvanese, G. De Giacomo, P. Fillottrani, E. Franconi, B. Cuenca
Grau, I. Horrocks, A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, R. Moeller,
B. Parsia, P. Patel-Schneider, R. Rosati, B. Suntisrivaraporn, and
S. Tessaris.
Formalisms for Representing Ontologies: State of the Art Survey, May
2005.
Bibtex entry Paper (PDF)
Abstract
In this document we provide a structured overview of formalism for the rep-
resentation of ontologies developed in Logic and Artificial Intelligence, and survey
the state of the art in methods and techniques for automated reasoning studied in
Computational Logic. Since a more general overview of such formalisms has already
been reported as part of the deliverable D01 State of the art survey, here we con-
centrate on a wide family of logics, called Description Logics (DLs). DLs have been
developed over the years in Artificial Intelligence and Computational Logic to rep-
resent formally knowledge about a domain of interest in terms of objects grouped
into classes and relationships between classes. Such formalisms have been often
advocated as the formal foundation of ontologies. Indeed current ontology language
standards such as RDF/RDFS and especially OWL are based on such formalisms.
In this document, we review DLs from several points of view, laying the foundation
of the research that will be developed within the TONES Project.
D. Calvanese, B. Cuenca Grau, G. De Giacomo, I. Horrocks E. Franconi1,
A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, D. Martinenghi, R. Moeller,
R. Rosati, S. Tessaris, and A.-Y. Turhan.
Common Framework for Representing Ontologies, July 2006.
Bibtex entry Paper (PDF)
Abstract
In this document, we present the general framework for the representation of on-
tologies that has been designed within tones as a semantic infrastructure capturing
the diŽerent formalizations of ontologies as well as their services and the diŽerent
contexts in which ontologies are used. Then, we illustrate several meaningful in-
stantiations of the framework through ontology based formalisms that have been
proposed recently in the literature. Some of these instantiations constitute them-
selves signi¯cant contributions in terms of logic-based ontology formalisms that have
been developed within the tones consortium, and that have been presented recently
at high quality scienti¯c venues.
Diego Calvanese, Enrico Franconi, Birte Glimm, Bernardo Cuenca Grau, Ian
Horrocks, Alissa Kaplunova, Domenico Lembo, Maurizio Lenzerini, Carsten Lutz,
Ralf Moeller, Riccardo Rosati, Ulrike Sattler, Sergio Tessaris, and
Anni-Yasmin Turhan.
Tasks for Ontology Access, Processing, and Usage, August 2006.
Bibtex entry Paper (PDF)
Abstract
Research about ontology access, processing, and usage paves the way for realizing
important tasks in future applications requiring well-understood formal representation
formalisms as well as efficient and industrial-strength implementations. In this
report, we summarize the state of the art for most important application tasks of
this kind that use ontologies as their backbone. In addition to a formalization of the
tasks for some of the most important application scenarios, we also report on recent
theoretical and practical advances for their realization that have been achieved as
part of our work in the TONES project.
Diego Calvanese, Enrico Franconi, Birte Glimm, Bernardo Cuenca Grau, Ian
Horrocks, Alissa Kaplunova, Domenico Lembo, Maurizio Lenzerini, Carsten Lutz,
Ralf Moeller, Riccardo Rosati, Ulrike Sattler, Sergio Tessaris, and
Anni-Yasmin Turhan.
State of the Art Survey Deliverable D01, December 2005.
Bibtex entry Paper (PDF)
Abstract
Ontologies are formalism whose purpose is to support humans or machines to
share some common knowledge in a structured way. They allow the concepts and
terms relevant to a given domain to be identified and defined in an unambiguous
way. As such, ontologies are seen as the key technology used to describe the semantics
of information at various sites, overcoming the problem of implicit and
hidden knowledge and thus enabling exchange of semantic contents. In this report
we survey the work on ontologies that has been carried out in recent years. In
particular, we first overview the languages that have been proposed for representing
ontologies, and present the work on reasoning over ontologies. We then overview the
work on ontologies from four different points of view: (i) We survey methodologies
for designing and maintaining ontologies, presenting automated tools suitable for
such tasks. (ii) We present languages and architectures for accessing, processing
and in general making use of ontologies. (iii) We presents several approaches for
integrating and merging ontologies by detecting correspondences among them. (iv)
Finally, we present different approaches for making heterogeneous and autonomous
ontologies interoperate, in the sense that the various ontologies are not modified as
an effect of interoperating with the others.
S. Castano, K. Dalakleidi, S. Dasiopoulou, S. Espinosa, A. Ferrara, G. N. Hess,
V. Karkaletsis, A. Kaya, S. Melzer, R. Moeller, S. Montanelli, and
G. Petasis.
Deliverable D4.1 Methodology and Architecture for Multimedia Ontology
Evolution, December 2006.
Bibtex entry Paper (PDF)
Abstract
Ontology evolution is a complex activity that is required in order to ensure the consistency of an ontology when any modifications are applied. Ontology evolution becomes even more complex in the context of BOEMIE, due to the management of multimedia resources and ontologies and to the multi-modal semantic information extraction to be enabled. To this end, starting from the state of the art in the field of ontology evolution methodologies and techniques, we define an evolution methodology that takes into account the new requirements posed by multimedia information extraction and management. The BOEMIE methodology for multimedia ontology evolution determines the manner in which the interlinked ontologies of the BOEMIE semantic model will be updated, preserving their semantic consistency. At the same time,the methodology complies with the bootstrapping process, using the information extracted from the multimedia content and
>providing the necessary semantic information back to the information extraction modules. The ontology is enriched with new knowledge as a consequence of the extraction process and the new evolved ontology is used to further improve the extraction process, thus triggering a new boost-rapping cycle.
S. Castano, K. Dalakleidi, S. Dasiopoulou, S. Espinosa, A. Ferrara, G. N. Hess,
V. Karkaletsis, A. Kaya, S. Melzer, R. Möller, S. Montanelli, and
G. Petasis.
Methodology and Architecture for Multimedia Ontology Evolution.
Technical report, BOEMIE Project Deliverable D4.1, 2006.
Bibtex entry Paper (PDF)
Enrico Franconi (editor), Sergio Tessaris, Bernardo Cuenca Grau, Boontawee
Suntisrivaraporn, Carsten Lutz, Ralf Moeller, and Domenico Lembo.
Revised Ontology Task Handbook, 2006.
Bibtex entry Paper (PDF)
Abstract
Based on the review of the state of the art (Deliverable D1), suitable reasoning
and meta-reasoning mechanisms associated to the processing of ontologies have to
be identified. These mechanisms have to be classified according to their applicability
in the various user activities in which ontologies are dealt with.
This version of the ontology task handbook contains the revised proposal for
ontology-based use cases and the associated reasoning and meta-reasoning services,
to be used in the project.
The set of ontology-based tasks underlying the identified use cases lays the basis
for the whole project. The central role of these tasks makes it necessary to assess and
validate their suitability in an early stage. For this purpose the selected tasks have
been tested on small examples that are chosen so that the results of their application
can easily be matched with the expected outcome. Based also on the inputs of the
first industrial advisory team workshop (WP8), the set of ontology-based tasks have
been finalised.
Alissa Kaplunova, Atila Kaya, and Ralf Möller.
Experiences with Load Balancing and Caching for Semantic Web
Applications.
In Proc. of the 2006 International Workshop on Description Logics
DL'06, 2006.
Bibtex entry
Alissa Kaplunova, Atila Kaya, and Ralf Möller.
First Experiences with Load Balancing and Caching for Semantic Web
Applications.
Technical report, Institute for Software Systems (STS), Hamburg University of
Technology, Germany, 2006.
See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry Paper (PDF)
Abstract
In our case study we investigate a server for answering OWLQL
queries with distinguished variables only (henceforth called OWLQL-).
This server acts as a proxy that delegates queries to back-end
DL reasoners that manage the KB mentioned in the query. This report
describes load balancing and caching strategies in order to exploit previous
query results (possibly produced by different users of the local
site) in the presence of incrementally answered OWL-QL queries. In
addition, the effects of concurrent query executions on multiple (external)
inference servers and corresponding transmissions of multiple
result sets for queries are discussed.
S. Petridis, N. Tsapatsoulis, D. Kosmopoulos, Y. Pratikakis, V. Gatos,
S. Perantonis, G. Petasis, P. Fragou, V. Karkaletsis, K. Biatov, C. Seibert,
S. Espinosa, S. Melzer, A. Kaya, and R. Moeller.
Deliverable D2.1 Methodology for Semantics Extraction from Multimedia
Content, December 2006.
Bibtex entry Paper (PDF)
Abstract
Complex structured multimedia documents possess a rich variety of information appearing in different forms and combined under diverse schemata. Their analysis is a demanding operation calling for specific per-medium processing techniques to be developed, assembled and fused. This will enable multimedia document interpretation and adaptation in the context of an evolving domain application.
In BOEMIE, the objective of a Methodology for Semantics Extraction from Multimedia Content as forseen in the DoW, p.44 is to specify how information from the multimedia semantic model can be used to achieve semantic extraction from various modalities (text, image, video and audio) and to come up with an open architecture, which will communicate with the ontology evolution modules in WP4, accessing existing knowledge and providing back newly extracted information. This document describes the architectural and methodological choices that we believe will lead us to the fulfilment of the above ob jective.
S. Petridis, N. Tsapatsoulis, D. Kosmopoulos, Y. Pratikakis, V. Gatos,
S. Perantonis, G. Petasis, P. Fragou, V. Karkaletsis, K. Biatov, C. Seibert,
S. Espinosa, S. Melzer, A. Kaya, and R. Möller.
Methodology for Semantics Extraction from Multimedia Content.
Technical report, BOEMIE Project Deliverable D2.1, 2006.
Bibtex entry Paper (PDF)
