Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings4062
Abstract Ontology-based data access consists in usi
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.
h respect to usual decidability paradigms.  +
Author Michaël Thomazo +
BibTex
@inproceedings{T2012,
  author    = {Micha{\"{e}}l Thomazo},
  title     = {From {EL} to Tractable Existential Rules with Complex Role
               Inclusions},
  booktitle = {Description Logics},
  year      = {2012}
}
Bibtype Inproceedings  +
Booktitle Description Logics  +
Download Dl-12-t.pdf  +
ErsterAutorNachname Thomazo  +
ErsterAutorVorname Michaël  +
Forschungsgebiet Existenzielle Regeln +
Forschungsgruppe Computational Logic +
Publication text Michaël Thomazo<br/> '''[[Inproceedi
Michaël Thomazo<br/> '''[[Inproceedings4062|<b>From EL to Tractable Existential Rules with Complex Role Inclusions</b>]]''' <br/>__NOTOC__<i>Description Logics</i>, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4062|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Dl-12-t.pdf|Download]]
t;/span> [[Media:Dl-12-t.pdf|Download]]  +
Publication text en Michaël Thomazo<br/> '''[[Inproceedi
Michaël Thomazo<br/> '''[[Inproceedings4062/en|<b>From EL to Tractable Existential Rules with Complex Role Inclusions</b>]]''' <br/>__NOTOC__<i>Description Logics</i>, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4062|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Dl-12-t.pdf|Download]]
t;/span> [[Media:Dl-12-t.pdf|Download]]  +
Referiert 1  +
Title From EL to Tractable Existential Rules with Complex Role Inclusions  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings4062 + , Inproceedings4062 + , Inproceedings4062 + , Inproceedings4062 + , Inproceedings4062 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
28 Oktober 2014 09:42:26  +
verstecke Attribute die hierhin verlinken 
Inproceedings4062/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.