Charla "Description Logics and Controlled English Fragments for Data Access"


Compartir

Charlista: Camilo Thorne (KRDB Centre, Free University of Bozen-Bolzano)

 

Fecha: 5 de octubre de 2010

Hora: 15:00 horas

Lugar: Auditorio DCC, 3er piso, Av. Blanco Encalada 2120, Santiago

ABSTRACT:
In this tutorial we will provide an overview of ontology-based data access systems grounded in description logics and of controlled language interfaces to such systems. Controlled languages are fragments of natural languages that have been proposed as a basis for "lightweight" natural language interfaces for ontology (e.g., OWL ontologies) authoring systems and for ontology-based data storage systems. We will focus on the computational complexity issues thereby raised.

More specifically, the tutorial will be divided in two relatively self-contained parts:

i. Description logics and ontology-based data access

- Syntax and semantics of description logics
- Accessing data stored in description logic ontologies  with conjunctive queries and its computational complexity
- The DL-Lite family of description logics as an optimal (tractable) case

ii. Controlled language interfaces to ontology-based data access systems

- Definition of a controlled language
- The notion of semantic complexity of controlled and natural languages
- Tractable and intractable controlled languages

SHORT BIO:
Camilo Thorne recently graduated as PhD student at the the KRDB Centre, Free University of Bozen-Bolzano, where he worked under the supervision of D. Calvanese and R. Bernardi. He studied the data complexity of controlled languages for ontology-based data access, as well as the relationship of such languages with description logics. He is currently visiting the University of Chile and the Catholic University of Chile as part of the FP7 NET^2 acedemic exchange project.

Camilo Thorne

Faculty of Computer Science
Free University of Bozen-Bolzano
3, Piazza Domenicani
39100 (Bozen - Bolzano)
Italy
http://www.inf.unibz.it/~cathorne

---
Secretaría de Investigación