Bearbeite Veranstaltung: From Classical to Consistent Query Answering under Existential Rules

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Event

Title DE:

German title

Title EN:

English title; when creating new events, this will be used to define the page name (which will not change even if you change it later)

Description DE:

Abstract or other additional information in German

Description EN:
Querying inconsistent ontologies is an intriguing new problem that gave rise to a flourishing research activity in the description logic (DL) community. The computational complexity of consistent query answering under the main DLs is rather well understood; however, little is known about existential rules. The goal of this talk is to perform an in-depth analysis of the complexity of consistent query answering under the main decidable classes of existential rules enriched with negative constraints. Our investigation focuses on the standard inconsistency-tolerant semantics, namely, the AR semantics. We establish generic complexity results, which demonstrate the tight connection between classical and consistent query answering. These results allow us to obtain in a uniform way a relatively complete picture of the complexity of our problem. This is join work with Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Abstract or other additional information in English

Type of event:

Explanation of possible values

Start:
::

Start of event (date and time); required field

End:
::

End of event (date and time)

Location:

Room where the event is happening

Speaker:

Person who is presenting or chairing; usually the full name without titles

Invited by:

For presentations by a guest speaker, the person who invited her/him

PDF:
Datei hochladen

Optional file download

URL:

Optional URL for the event

Research group:

Related research group (use Ctrl+click for marking/unmarking multiple entries)

Event series:

Related event series (use Ctrl+click for marking/unmarking multiple entries); leave empty if not related to any series

Show on main page:

Events only appear on the main page if this is set to 1

Zusammenfassung:

Abbrechen