Kiabora: An analyzer of existential rule bases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7994 LNCS, Issue , 2013, Pages 241-246

  Leclère, Michel ^a   Mugnier, Marie Laure ^a   Rocher, Swan ^a  

^a UNIV MONTPELLIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATALOG; RULE BASIS; RULE DEPENDENCIES; SET OF RULES; SYNTACTIC PROPERTIES; TEXTUAL FORMAT; WEB FORMS;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE;

COMPUTABILITY AND DECIDABILITY;

EID: 84881154156     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-39666-3_22     Document Type: Conference Paper

References (9)

1. Baget, J.-F.: Improving the forward chaining algorithm for conceptual graphs rules. In: KR 2004, pp. 407-414. AAAI Press (2004)
2. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: On rules with existential variables: Walking the decidability line. Artificial Intelligence 175(9-10), 1620-1654 (2011)
3. Baget, J.-F., Mugnier, M.-L., Rudolph, S., Thomazo, M.: Walking the complexity lines for generalized guarded existential rules. In: IJCAI 2011, pp. 712-717 (2011)
4. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: PODS 2009, pp. 77-86 (2009)
5. Calì, A., Gottlob, G., Pieris, A.: Towards more expressive ontology languages: The query answering problem. Artif. Intell. 193, 87-128 (2012)
6. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89-124 (2005)
7. Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in dl-lite. In: KR (2010)
8. Lamare, B.: Optimisation de la notion de dépendance. Internship report, ENS Cachan and LIRMM/INRIA (September 2012)
9. Mugnier, M.-L.: Ontological Query Answering with Existential Rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 2-23. Springer, Heidelberg (2011)