Evènement pour le groupe Séminaire Méthodes Formelles

Date 2018-07-03  11:00-12:00
TitreOntology-mediated query answering for expressive description logics, or yet another family of (potentially) decidable fragments of first-order logic 
RésuméEvaluating queries in the presence of background knowledge has been extensively studied in several communities. In database theory, it is known as query answering under integrity constraints: given a finite database instance and a set of constraints, determine answers to a query that are certain to hold over any extension of the given instance that satisfies the constraints. In the knowledge representation community, the database instance and the set of constraints are treated as a single object, called an ontology, but otherwise the problem remains the same, except that different kinds of constraints are interesting. While in database theory constraints are usually very simple, like functionality of relations, or inclusions between relations, in knowledge representation more expressive logics are used. I will focus on so called description logics, which are a family of extensions of modal logic. I will cover some basic techniques, a highly non-trivial result by Rudolph and Glimm (2010), as well as some recent results obtained with Tomek Gogacz (U Warsaw) and Yazmin Ibanez-Garcia (TU Wien). 
OrateurFilip Murlak 
UrlUniversity of Warsaw 

Aucun document lié à cet événement.

Retour à l'index