Sergio Tessaris
Free University of Bozen-Bolzano, Computer Science, Faculty Member
In this document we provide a structured overview of formalism for the representation of ontologies developed in Logic and Artificial Intelligence, and survey the state of the art in methods and techniques for automated reasoning studied... more
In this document we provide a structured overview of formalism for the representation 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 concentrate on a wide family of logics, called Description Logics (DLs). DLs have been developed over the ...
Research Interests:
Research Interests:
Research Interests:
... Query Formulation Ivan Zorzi, Sergio Tessaris, and Paolo Dongilli Free University of Bozen-Bolzano, Italy <lastname@inf.unibz.it> Abstract. ... In the Compose Tab (see Figure 3) the user can formulate the query by means of... more
... Query Formulation Ivan Zorzi, Sergio Tessaris, and Paolo Dongilli Free University of Bozen-Bolzano, Italy <lastname@inf.unibz.it> Abstract. ... In the Compose Tab (see Figure 3) the user can formulate the query by means of pop-up menus presenting the possible operations. ...
Research Interests:
Research Interests:
Research Interests:
Abstract: this paper we showhow the query answering technique presented in [7] for ALC can be extendedfor a DL featuring role restrictions like transitivity and role hierarchy
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Implementing and Testing Expressive Description Logics: a Preliminary Report Paolo Bresciani, Enrico Franconi and Sergio Tessaris Knowledge Representation and Reasoning group IRST, I-38050 Povo TN, Italy fbrescianijfranconijtessarisg@... more
Implementing and Testing Expressive Description Logics: a Preliminary Report Paolo Bresciani, Enrico Franconi and Sergio Tessaris Knowledge Representation and Reasoning group IRST, I-38050 Povo TN, Italy fbrescianijfranconijtessarisg@ irst. itc. it Abstract The aim of ...
Research Interests:
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In spite of the importance of the task this is mostly carried... more
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In spite of the importance of the task this is mostly carried out manually and, to the best of our knowledge, not much research has been devoted to its automatisation. In this paper we introduce
Research Interests:
Ontology mapping as a semantic data integration approach has evolved from traditional data integration solutions. The core problems and open issues related to early data integration approaches are also applicable to ontology mapping on... more
Ontology mapping as a semantic data integration approach has evolved from traditional data integration solutions. The core problems and open issues related to early data integration approaches are also applicable to ontology mapping on the Semantic Web community. Therefore, in this review the authors present the related literature, starting from the traditional data integration approaches, in order to highlight the evolution of data integration from the early approaches. Once the roots of semantic data integration have been presented, the authors proceed to introduce the state-of-the-art of the ontology mappings systems including the early approaches and the systems that can be compared through the Ontology Alignment Initiative (OAEI).
Research Interests:
... Lina Lubyte and Sergio Tessaris ... In order to illustrate the different roles of the two kinds of ontologies let us consider a scenario in which several independent databases containing data on a given domain (eg showbiz) should be... more
... Lina Lubyte and Sergio Tessaris ... In order to illustrate the different roles of the two kinds of ontologies let us consider a scenario in which several independent databases containing data on a given domain (eg showbiz) should be accessed through a single web portal driven by ...
Research Interests:
Research Interests:
This report presents the status of the research the author is conducting on the development of a complete Description Logics knowledge representation system. Description Logics knowledge representation systems are based of a family of... more
This report presents the status of the research the author is conducting on the development of a complete Description Logics knowledge representation system. Description Logics knowledge representation systems are based of a family of formal languages for describing complex structured classes. These languages comprise boolean operators and quantification over class attributes, as well as the declaration of elements of the classes and their properties. DL knowledge bases are partitioned in an intensional part which describes the general organisation of the classes, and an extensional part for describing class elements. Reasoning with DL knowledge bases involves both the terminological reasoning, which considers the intensional part only, and hybrid reasoning which consider the whole knowledge base. Although for terminological reasoning different promising techniques have been successfully applied, on the hybrid reasoning side there is still a lack of results. The aim of this research...
This paper extends the above work by presenting an algorithm for reasoning within a knowledge representation which also includes ABox assertions (Proofs are presented in outline only; an extended version with the complete proofs is in... more
This paper extends the above work by presenting an algorithm for reasoning within a knowledge representation which also includes ABox assertions (Proofs are presented in outline only; an extended version with the complete proofs is in [10]). The approach used is based on an extension of the so-called precompletion technique [6, 4] for reducing the KB satisfiability problem to concept
Research Interests:
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the normative W3C definitions of RDF/RDFS and OWL-DL/Lite.... more
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the normative W3C definitions of RDF/RDFS and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results
Research Interests:
Research Interests:
The Resource Description Framework (RDF [Hayes, 2004]) is a W3C standard language for representing information about resources in the World Wide Web; RDF provides a common framework for expressing this information so it can be exchanged... more
The Resource Description Framework (RDF [Hayes, 2004]) is a W3C standard language for representing information about resources in the World Wide Web; RDF provides a common framework for expressing this information so it can be exchanged between applications without loss of meaning. In this tutorial, RDF will be presented as a data model in the database sense. Its motivations will
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Abstract: this paper we showhow the query answering technique presented in [7] for ALC can be extendedfor a DL featuring role restrictions like transitivity and role hierarchy
Research Interests:
... Query Formulation Ivan Zorzi, Sergio Tessaris, and Paolo Dongilli Free University of Bozen-Bolzano, Italy <lastname@inf.unibz.it> Abstract. ... In the Compose Tab (see Figure 3) the user can formulate the query by means of... more
... Query Formulation Ivan Zorzi, Sergio Tessaris, and Paolo Dongilli Free University of Bozen-Bolzano, Italy <lastname@inf.unibz.it> Abstract. ... In the Compose Tab (see Figure 3) the user can formulate the query by means of pop-up menus presenting the possible operations. ...
Research Interests:
Research Interests:
This paper extends the above work by presenting an algorithm for reasoning within a knowledge representation which also includes ABox assertions (Proofs are presented in outline only; an extended version with the complete proofs is in... more
This paper extends the above work by presenting an algorithm for reasoning within a knowledge representation which also includes ABox assertions (Proofs are presented in outline only; an extended version with the complete proofs is in [10]). The approach used is based on an extension of the so-called precompletion technique [6, 4] for reducing the KB satisfiability problem to concept
Research Interests:
Research Interests:
Description logics are knowledge representation systems evolved from early semantic networks and frame systems. They have been developed as a logical reconstruction of the KL-ONElike knowledge representation systems (see Woods and... more
Description logics are knowledge representation systems evolved from early semantic networks and frame systems. They have been developed as a logical reconstruction of the KL-ONElike knowledge representation systems (see Woods and Schmolze [1992]). They ...
Research Interests:
Research Interests:
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... more
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 [ton07], usually enriched with optimization techniques in order to make them more efficient. Roughly, the tools can be divided into four groups:
Research Interests:
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that can be used to provide an expressive query language for... more
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that can be used to provide an expressive query language for such systems. A typical description logic (DL) knowledge base (KB) is made up of two parts, a terminological part (the Tbox) and an assertional part (the Abox), each part consisting of a set of axioms. The Tbox asserts facts about concepts (sets of objects) and roles (binary relations), usually in the form of ...