Croitoru, Cornelius; Croitoru, Madalina Representing multi-scale Datalog\(+/-\) using hierarchical graphs. (English) Zbl 1398.68512 Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 59-71 (2016). MSC: 68T30 68T35 PDFBibTeX XMLCite \textit{C. Croitoru} and \textit{M. Croitoru}, Lect. Notes Comput. Sci. 9717, 59--71 (2016; Zbl 1398.68512) Full Text: DOI Link
Kaminski, Mark; Nenov, Yavor; Cuenca Grau, Bernardo Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies. (English) Zbl 1357.68228 Artif. Intell. 236, 90-118 (2016). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{M. Kaminski} et al., Artif. Intell. 236, 90--118 (2016; Zbl 1357.68228) Full Text: DOI
Bienvenu, Meghyn; Ortiz, Magdalena Ontology-mediated query answering with data-tractable description logics. (English) Zbl 1358.68086 Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 218-307 (2015). MSC: 68P15 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{M. Bienvenu} and \textit{M. Ortiz}, Lect. Notes Comput. Sci. 9203, 218--307 (2015; Zbl 1358.68086) Full Text: DOI
Gottlob, Georg; Morak, Michael; Pieris, Andreas Recent advances in Datalog\(^\pm \). (English) Zbl 1358.68054 Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 193-217 (2015). MSC: 68N17 68P15 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{G. Gottlob} et al., Lect. Notes Comput. Sci. 9203, 193--217 (2015; Zbl 1358.68054) Full Text: DOI
Kogalovsky, M. R.; Kalinichenko, L. A. Conceptual and ontological modeling in information systems. (English. Russian original) Zbl 1187.68675 Program. Comput. Softw. 35, No. 5, 241-256 (2009); translation from Programmirovanie 35, No. 5 (2009). MSC: 68U35 68T05 PDFBibTeX XMLCite \textit{M. R. Kogalovsky} and \textit{L. A. Kalinichenko}, Program. Comput. Softw. 35, No. 5, 241--256 (2009; Zbl 1187.68675); translation from Programmirovanie 35, No. 5 (2009) Full Text: DOI
Achs, Ágnes Fuzzy knowledge-base with fuzzy Datalog. (Hungarian) Zbl 1120.68098 Alkalmazott Mat. Lapok 24, No. 1, 79-98 (2007). MSC: 68T35 PDFBibTeX XMLCite \textit{Á. Achs}, Alkalmazott Mat. Lapok 24, No. 1, 79--98 (2007; Zbl 1120.68098)
Achs, Á.; Kiss, A. Fixpoint query in fuzzy Datalog programs. (English) Zbl 0886.68048 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 15, 223-231 (1995). Reviewer: Vladik Ya.Kreinovich (El Paso) MSC: 68P15 68T35 03B52 68Q55 PDFBibTeX XMLCite \textit{Á. Achs} and \textit{A. Kiss}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 15, 223--231 (1995; Zbl 0886.68048)
Achs, Ágnes; Kiss, Attila Fuzzy extension of Datalog. (Hungarian) Zbl 0922.68116 Alkalmazott Mat. Lapok 18, 111-138 (1994). MSC: 68T35 03B52 PDFBibTeX XMLCite \textit{Á. Achs} and \textit{A. Kiss}, Alkalmazott Mat. Lapok 18, 111--138 (1994; Zbl 0922.68116)
Alagar, V. S.; Goyal, P.; Nair, P. S.; Sadri, F. Permutation dependency in datalog programs. (English) Zbl 0765.68028 Inf. Sci. 68, No. 3, 207-223 (1993). MSC: 68P15 68N17 68T35 PDFBibTeX XMLCite \textit{V. S. Alagar} et al., Inf. Sci. 68, No. 3, 207--223 (1993; Zbl 0765.68028) Full Text: DOI
Dong, Guozhu; Ginsburg, Seymour On the decomposition of datalog program mappings. (English) Zbl 0702.68045 Theor. Comput. Sci. 76, No. 1, 143-177 (1990). MSC: 68P15 68T35 68N17 PDFBibTeX XMLCite \textit{G. Dong} and \textit{S. Ginsburg}, Theor. Comput. Sci. 76, No. 1, 143--177 (1990; Zbl 0702.68045) Full Text: DOI
Bonner, Anthony J. Hypothetical datalog: Complexity and expressibility. (English) Zbl 0702.68044 Theor. Comput. Sci. 76, No. 1, 3-51 (1990). MSC: 68P15 68N17 68Q15 68T35 68T27 PDFBibTeX XMLCite \textit{A. J. Bonner}, Theor. Comput. Sci. 76, No. 1, 3--51 (1990; Zbl 0702.68044) Full Text: DOI
Gallaire, Herve (ed.); Minker, Jack (ed.) [Nicolas, J. M.; Reiter, R.; Kowalski, R.; Kellog, C.; Klahr, P.; Travis, L.; Colombetti, M.; Paolini, P.; Pelagatti, G.; Tärnlund, S. Ä.; Clark, K. L.; Yazdanian, K.; Futo, I.; Darvas, F.; Szeredi, P.; Dilger, W.; Zifonum, G.; Pirrotte, A.; Chang, C. L.] Logic and data bases. Proceedings of the symposium on logic and data bases held at the Centre d’Etudes et de Recherches de L’Ecole Nationale Superieure de L’Aeronautique et de L’Espace de Toulouse (C.E.R.T.), Toulouse, France, November 16-18, 1977. (English) Zbl 0412.68089 New York, London: Plenum Press. VIII, 458 p. $ 29.50 (1978). MSC: 68T99 68T15 03B35 68-06 68Q65 68P05 68-02 68P20 PDFBibTeX XML