Inproceedings4062: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Long Cheng (Diskussion | Beiträge) K (1 Version: Automatically imported publication data from DBLP) |
Michael Thomazo (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname=Michaël | |||
|ErsterAutorNachname=Thomazo | |ErsterAutorNachname=Thomazo | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
|Referiert=1 | |Referiert=1 | ||
|Title=From EL to Tractable Existential Rules with Complex Role Inclusions | |Title=From EL to Tractable Existential Rules with Complex Role Inclusions | ||
|To appear=0 | |||
|Year=2012 | |Year=2012 | ||
|Booktitle=Description Logics | |Booktitle=Description Logics | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract= | |Abstract=Ontology-based data access consists in using ontologies while querying | ||
| | data. Due to the high complexity of this problem, considering lightweight | ||
| | description logics like EL is especially relevant. Another strand of research is | ||
based on existential rules. In this paper, we use this latter formalism in order to | |||
cover EL with the same complexity of reasoning while allowing any predicate | |||
arity and some cycles on variables. We then add complex role inclusions to enhance | |||
expressivity, while staying polynomial in data complexity and generalizing | |||
existing results. In particular, we consider transitivity and right/left identity rules, | |||
which do not behave well with respect to usual decidability paradigms. | |||
|Download=Dl-12-t.pdf | |||
|Forschungsgruppe=Computational Logic | |||
|DOI=http://ceur-ws.org/Vol-846/paper_24.pdf | |DOI=http://ceur-ws.org/Vol-846/paper_24.pdf | ||
}} | |||
| | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet=Existenzielle Regeln | |||
}} | }} | ||
Version vom 28. Oktober 2014, 11:41 Uhr
From EL to Tractable Existential Rules with Complex Role Inclusions
Michaël ThomazoMichaël Thomazo
Michaël Thomazo
From EL to Tractable Existential Rules with Complex Role Inclusions
Description Logics, 2012
From EL to Tractable Existential Rules with Complex Role Inclusions
Description Logics, 2012
- KurzfassungAbstract
Ontology-based data access consists in using ontologies while queryingdata. Due to the high complexity of this problem, considering lightweight description logics like EL is especially relevant. Another strand of research is based on existential rules. In this paper, we use this latter formalism in order to cover EL with the same complexity of reasoning while allowing any predicate arity and some cycles on variables. We then add complex role inclusions to enhance expressivity, while staying polynomial in data complexity and generalizing existing results. In particular, we consider transitivity and right/left identity rules,
which do not behave well with respect to usual decidability paradigms. - Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{T2012,
author = {Micha{\"{e}}l Thomazo},
title = {From {EL} to Tractable Existential Rules with Complex Role
Inclusions},
booktitle = {Description Logics},
year = {2012}
}
