var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=http%3A%2F%2Fwww.kr.tuwien.ac.at%2Fresearch%2Fprojects%2Frecquer%2FprojectPubs.bib&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=http%3A%2F%2Fwww.kr.tuwien.ac.at%2Fresearch%2Fprojects%2Frecquer%2FprojectPubs.bib&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=http%3A%2F%2Fwww.kr.tuwien.ac.at%2Fresearch%2Fprojects%2Frecquer%2FprojectPubs.bib&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2016\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates.\n \n \n \n \n\n\n \n Ahmetaj, S.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Pichler, R.; and da Silva, A. S., editor(s), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016, volume 1644, of CEUR Workshop Proceedings, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"PolynomialPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/amw/AhmetajOS16,\n  author    = {Shqiponja Ahmetaj and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Reinhard Pichler and\n               Altigran Soares da Silva},\n  title     = {Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed\n               Predicates},\n  booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on\n               Foundations of Data Management, Panama City, Panama, May 8-10, 2016},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1644},\n  publisher = {CEUR-WS.org},\n  year      = {2016},\n  url       = {http://ceur-ws.org/Vol-1644/paper19.pdf},\n  timestamp = {Tue, 19 Jul 2016 17:43:27 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/amw/AhmetajOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Closed Predicates in Description Logics: Results on Combined Complexity.\n \n \n \n \n\n\n \n Ngo, N.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Pichler, R.; and da Silva, A. S., editor(s), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016, volume 1644, of CEUR Workshop Proceedings, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"ClosedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/amw/NgoOS16,\n  author    = {Nhung Ngo and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Reinhard Pichler and\n               Altigran Soares da Silva},\n  title     = {Closed Predicates in Description Logics: Results on Combined Complexity},\n  booktitle = {Proceedings of the 10th Alberto Mendelzon International Workshop on\n               Foundations of Data Management, Panama City, Panama, May 8-10, 2016},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1644},\n  publisher = {CEUR-WS.org},\n  year      = {2016},\n  url       = {http://ceur-ws.org/Vol-1644/paper8.pdf},\n  timestamp = {Tue, 19 Jul 2016 17:43:27 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/amw/NgoOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics.\n \n \n \n \n\n\n \n Ahmetaj, S.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Lenzerini, M.; and Peñaloza, R., editor(s), Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., volume 1577, of CEUR Workshop Proceedings, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"PolynomialPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/AhmetajOS16,\n  author    = {Shqiponja Ahmetaj and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Maurizio Lenzerini and\n               Rafael Pe{\\~{n}}aloza},\n  title     = {Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive\n               Description Logics},\n  booktitle = {Proceedings of the 29th International Workshop on Description Logics,\n               Cape Town, South Africa, April 22-25, 2016.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1577},\n  publisher = {CEUR-WS.org},\n  year      = {2016},\n  url       = {http://ceur-ws.org/Vol-1577/paper_26.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/AhmetajOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Compilation Technique for Interactive Ontology-mediated Data Exploration.\n \n \n \n \n\n\n \n Andresel, M.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Lenzerini, M.; and Peñaloza, R., editor(s), Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., volume 1577, of CEUR Workshop Proceedings, 2016. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/AndreselOS16,\n  author    = {Medina Andresel and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Maurizio Lenzerini and\n               Rafael Pe{\\~{n}}aloza},\n  title     = {A Compilation Technique for Interactive Ontology-mediated Data Exploration},\n  booktitle = {Proceedings of the 29th International Workshop on Description Logics,\n               Cape Town, South Africa, April 22-25, 2016.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1577},\n  publisher = {CEUR-WS.org},\n  year      = {2016},\n  url       = {http://ceur-ws.org/Vol-1577/paper_37.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/AndreselOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification of Evolving Graph-structured Data under Expressive Path Constraints.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Martens, W.; and Zeume, T., editor(s), 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016, volume 48, of LIPIcs, pages 15:1–15:19, 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik\n \n\n\n\n
\n\n\n\n \n \n \"VerificationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icdt/CalvaneseOS16,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Wim Martens and\n               Thomas Zeume},\n  title     = {Verification of Evolving Graph-structured Data under Expressive Path\n               Constraints},\n  booktitle = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,\n               France, March 15-18, 2016},\n  series    = {LIPIcs},\n  volume    = {48},\n  pages     = {15:1--15:19},\n  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},\n  year      = {2016},\n  url       = {http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.15},\n  doi       = {10.4230/LIPIcs.ICDT.2016.15},\n  timestamp = {Wed, 23 Mar 2016 10:09:18 +0100},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/icdt/CalvaneseOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.\n \n \n \n \n\n\n \n Ahmetaj, S.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 878–885, 2016. IJCAI/AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"PolynomialPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/AhmetajOS16,\n  author    = {Shqiponja Ahmetaj and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Subbarao Kambhampati},\n  title     = {Polynomial Datalog Rewritings for Expressive Description Logics with\n               Closed Predicates},\n  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on\n               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July\n               2016},\n  pages     = {878--885},\n  publisher = {{IJCAI/AAAI} Press},\n  year      = {2016},\n  url       = {http://www.ijcai.org/Abstract/16/129},\n  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ijcai/AhmetajOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Closed Predicates in Description Logics: Results on Combined Complexity.\n \n \n \n \n\n\n \n Ngo, N.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Baral, C.; Delgrande, J. P.; and Wolter, F., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pages 237–246, 2016. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"ClosedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/kr/NgoOS16,\n  author    = {Nhung Ngo and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Chitta Baral and\n               James P. Delgrande and\n               Frank Wolter},\n  title     = {Closed Predicates in Description Logics: Results on Combined Complexity},\n  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n               of the Fifteenth International Conference, {KR} 2016, Cape Town, South\n               Africa, April 25-29, 2016.},\n  pages     = {237--246},\n  publisher = {{AAAI} Press},\n  year      = {2016},\n  url       = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12906},\n  timestamp = {Thu, 21 Apr 2016 20:01:05 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/kr/NgoOS16},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings.\n \n \n \n \n\n\n \n Ortiz, M.; and Schlobach, S.,\n editors.\n \n\n\n \n\n\n\n Volume 9898, of Lecture Notes in Computer Science.Springer. 2016.\n \n\n\n\n
\n\n\n\n \n \n \"WebPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@proceedings{DBLP:conf/rr/2016,\n  editor    = {Magdalena Ortiz and\n               Stefan Schlobach},\n  title     = {Web Reasoning and Rule Systems - 10th International Conference, {RR}\n               2016, Aberdeen, UK, September 9-11, 2016, Proceedings},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {9898},\n  publisher = {Springer},\n  year      = {2016},\n  url       = {http://dx.doi.org/10.1007/978-3-319-45276-0},\n  doi       = {10.1007/978-3-319-45276-0},\n  isbn      = {978-3-319-45275-3},\n  timestamp = {Mon, 29 Aug 2016 01:00:00 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/rr/2016},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n J. Artif. Intell. Res. (JAIR), 53: 315–374. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"RegularPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/jair/BienvenuOS15,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  title     = {Regular Path Queries in Lightweight Description Logics: Complexity\n               and Algorithms},\n  journal   = {J. Artif. Intell. Res. {(JAIR)}},\n  volume    = {53},\n  pages     = {315--374},\n  year      = {2015},\n  url       = {http://dx.doi.org/10.1613/jair.4577},\n  doi       = {10.1613/jair.4577},\n  timestamp = {Thu, 06 Aug 2015 01:00:00 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/jair/BienvenuOS15},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Calì, A.; and Vidal, M., editor(s), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015., volume 1378, of CEUR Workshop Proceedings, 2015. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"NavigationalPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/amw/BienvenuOS15,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Andrea Cal{\\`{\\i}} and\n               Maria{-}Esther Vidal},\n  title     = {Navigational Queries Based on Frontier-Guarded Datalog: Preliminary\n               Results},\n  booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on\n               Foundations of Data Management, Lima, Peru, May 6 - 8, 2015.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1378},\n  publisher = {CEUR-WS.org},\n  year      = {2015},\n  url       = {http://ceur-ws.org/Vol-1378/AMW_2015_paper_33.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/amw/BienvenuOS15},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Combined Complexity of Reasoning with Closed Predicates in Description Logics.\n \n \n \n \n\n\n \n Ngo, N.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Calvanese, D.; and Konev, B., editor(s), Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., volume 1350, of CEUR Workshop Proceedings, 2015. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/NgoOS15,\n  author    = {Nhung Ngo and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Diego Calvanese and\n               Boris Konev},\n  title     = {The Combined Complexity of Reasoning with Closed Predicates in Description\n               Logics},\n  booktitle = {Proceedings of the 28th International Workshop on Description Logics,\n               Athens,Greece, June 7-10, 2015.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1350},\n  publisher = {CEUR-WS.org},\n  year      = {2015},\n  url       = {http://ceur-ws.org/Vol-1350/paper-34.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/NgoOS15},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Ontology-Mediated Query Answering with Data-Tractable Description Logics.\n \n \n \n \n\n\n \n Bienvenu, M.; and Ortiz, M.\n\n\n \n\n\n\n In Faber, W.; and Paschke, A., editor(s), Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures, volume 9203, of Lecture Notes in Computer Science, pages 218–307, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Ontology-MediatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rweb/BienvenuO15,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz},\n  editor    = {Wolfgang Faber and\n               Adrian Paschke},\n  title     = {Ontology-Mediated Query Answering with Data-Tractable Description\n               Logics},\n  booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School\n               2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {9203},\n  pages     = {218--307},\n  publisher = {Springer},\n  year      = {2015},\n  url       = {http://dx.doi.org/10.1007/978-3-319-21768-0_9},\n  doi       = {10.1007/978-3-319-21768-0_9},\n  timestamp = {Sat, 25 Jul 2015 15:57:48 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/rweb/BienvenuO15},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (11)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Answering regular path queries in expressive Description Logics via alternating tree-automata.\n \n \n \n \n\n\n \n Calvanese, D.; Eiter, T.; and Ortiz, M.\n\n\n \n\n\n\n Inf. Comput., 237: 12–55. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"AnsweringPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/iandc/CalvaneseEO14,\n  author    = {Diego Calvanese and\n               Thomas Eiter and\n               Magdalena Ortiz},\n  title     = {Answering regular path queries in expressive Description Logics via\n               alternating tree-automata},\n  journal   = {Inf. Comput.},\n  volume    = {237},\n  pages     = {12--55},\n  year      = {2014},\n  url       = {http://dx.doi.org/10.1016/j.ic.2014.04.002},\n  doi       = {10.1016/j.ic.2014.04.002},\n  timestamp = {Thu, 09 Oct 2014 01:00:00 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/iandc/CalvaneseEO14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Managing Change in Graph-Structured Data Using Description Logics.\n \n \n \n \n\n\n \n Ahmetaj, S.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Brodley, C. E.; and Stone, P., editor(s), Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pages 966–973, 2014. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"ManagingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/aaai/AhmetajCOS14,\n  author    = {Shqiponja Ahmetaj and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Carla E. Brodley and\n               Peter Stone},\n  title     = {Managing Change in Graph-Structured Data Using Description Logics},\n  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,\n               July 27 -31, 2014, Qu{\\'{e}}bec City, Qu{\\'{e}}bec, Canada.},\n  pages     = {966--973},\n  publisher = {{AAAI} Press},\n  year      = {2014},\n  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8238},\n  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/aaai/AhmetajCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning and Change in Graph Structured Data under Description Logics Constraints.\n \n \n \n \n\n\n \n Ahmetaj, S.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Gottlob, G.; and Pérez, J., editor(s), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014., volume 1189, of CEUR Workshop Proceedings, 2014. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"PlanningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/amw/AhmetajCOS14,\n  author    = {Shqiponja Ahmetaj and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Georg Gottlob and\n               Jorge P{\\'{e}}rez},\n  title     = {Planning and Change in Graph Structured Data under Description Logics\n               Constraints},\n  booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of\n               Data Management, Cartagena de Indias, Colombia, June 4-6, 2014.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1189},\n  publisher = {CEUR-WS.org},\n  year      = {2014},\n  url       = {http://ceur-ws.org/Vol-1189/paper_21.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/amw/AhmetajCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nested Regular Path Queries in Description Logics (Extended Abstract).\n \n \n \n \n\n\n \n Bienvenu, M.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Gottlob, G.; and Pérez, J., editor(s), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014., volume 1189, of CEUR Workshop Proceedings, 2014. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"NestedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/amw/BienvenuCOS14,\n  author    = {Meghyn Bienvenu and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Georg Gottlob and\n               Jorge P{\\'{e}}rez},\n  title     = {Nested Regular Path Queries in Description Logics (Extended Abstract)},\n  booktitle = {Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of\n               Data Management, Cartagena de Indias, Colombia, June 4-6, 2014.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1189},\n  publisher = {CEUR-WS.org},\n  year      = {2014},\n  url       = {http://ceur-ws.org/Vol-1189/paper_34.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/amw/BienvenuCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning Problems for Graph Structured Data in Description Logics.\n \n \n \n \n\n\n \n Ahmetaj, S.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Bienvenu, M.; Ortiz, M.; Rosati, R.; and Simkus, M., editor(s), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., volume 1193, of CEUR Workshop Proceedings, pages 4–7, 2014. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"PlanningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/AhmetajCOS14,\n  author    = {Shqiponja Ahmetaj and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Riccardo Rosati and\n               Mantas Simkus},\n  title     = {Planning Problems for Graph Structured Data in Description Logics},\n  booktitle = {Informal Proceedings of the 27th International Workshop on Description\n               Logics, Vienna, Austria, July 17-20, 2014.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1193},\n  pages     = {4--7},\n  publisher = {CEUR-WS.org},\n  year      = {2014},\n  url       = {http://ceur-ws.org/Vol-1193/paper_85.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/AhmetajCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nested Regular Path Queries in Description Logics.\n \n \n \n \n\n\n \n Bienvenu, M.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Baral, C.; Giacomo, G. D.; and Eiter, T., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"NestedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/kr/BienvenuCOS14,\n  author    = {Meghyn Bienvenu and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Chitta Baral and\n               Giuseppe De Giacomo and\n               Thomas Eiter},\n  title     = {Nested Regular Path Queries in Description Logics},\n  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,\n               July 20-24, 2014},\n  publisher = {{AAAI} Press},\n  year      = {2014},\n  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8000},\n  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/kr/BienvenuCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Revisiting the Hardness of Query Answering in Expressive Description Logics.\n \n \n \n \n\n\n \n Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Kontchakov, R.; and Mugnier, M., editor(s), Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, volume 8741, of Lecture Notes in Computer Science, pages 216–223, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n \"RevisitingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rr/OrtizS14,\n  author    = {Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Roman Kontchakov and\n               Marie{-}Laure Mugnier},\n  title     = {Revisiting the Hardness of Query Answering in Expressive Description\n               Logics},\n  booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR}\n               2014, Athens, Greece, September 15-17, 2014. Proceedings},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {8741},\n  pages     = {216--223},\n  publisher = {Springer},\n  year      = {2014},\n  url       = {http://dx.doi.org/10.1007/978-3-319-11113-1_18},\n  doi       = {10.1007/978-3-319-11113-1_18},\n  timestamp = {Mon, 15 Sep 2014 10:54:11 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/rr/OrtizS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; Rosati, R.; and Simkus, M.,\n editors.\n \n\n\n \n\n\n\n Volume 1193, of CEUR Workshop Proceedings.CEUR-WS.org. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"InformalPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@proceedings{DBLP:conf/dlog/2014,\n  editor    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Riccardo Rosati and\n               Mantas Simkus},\n  title     = {Informal Proceedings of the 27th International Workshop on Description\n               Logics, Vienna, Austria, July 17-20, 2014},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1193},\n  publisher = {CEUR-WS.org},\n  year      = {2014},\n  url       = {http://ceur-ws.org/Vol-1193},\n  urn       = {urn:nbn:de:0074-1193-9},\n  timestamp = {Mon, 30 May 2016 01:00:00 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/2014},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Managing Change in Graph-structured Data Using Description Logics (long version with appendix).\n \n \n \n \n\n\n \n Ahmetaj, S.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n CoRR, abs/1404.4274. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"ManagingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/AhmetajCOS14,\n  author    = {Shqiponja Ahmetaj and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  title     = {Managing Change in Graph-structured Data Using Description Logics\n               (long version with appendix)},\n  journal   = {CoRR},\n  volume    = {abs/1404.4274},\n  year      = {2014},\n  url       = {http://arxiv.org/abs/1404.4274},\n  timestamp = {Thu, 01 May 2014 01:00:00 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/corr/AhmetajCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nested Regular Path Queries in Description Logics.\n \n \n \n \n\n\n \n Bienvenu, M.; Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n CoRR, abs/1402.7122. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"NestedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/BienvenuCOS14,\n  author    = {Meghyn Bienvenu and\n               Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  title     = {Nested Regular Path Queries in Description Logics},\n  journal   = {CoRR},\n  volume    = {abs/1402.7122},\n  year      = {2014},\n  url       = {http://arxiv.org/abs/1402.7122},\n  timestamp = {Wed, 05 Mar 2014 00:00:00 +0100},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/corr/BienvenuCOS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about Explanations for Negative Query Answers in DL-Lite.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; Simkus, M.; and Stefanoni, G.\n\n\n \n\n\n\n CoRR, abs/1402.0575. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/CalvaneseOSS14,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Giorgio Stefanoni},\n  title     = {Reasoning about Explanations for Negative Query Answers in DL-Lite},\n  journal   = {CoRR},\n  volume    = {abs/1402.0575},\n  year      = {2014},\n  url       = {http://arxiv.org/abs/1402.0575},\n  timestamp = {Wed, 05 Mar 2014 00:00:00 +0100},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/corr/CalvaneseOSS14},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Reasoning about Explanations for Negative Query Answers in DL-Lite.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; Simkus, M.; and Stefanoni, G.\n\n\n \n\n\n\n J. Artif. Intell. Res. (JAIR), 48: 635–669. 2013.\n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/jair/CalvaneseOSS13,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Giorgio Stefanoni},\n  title     = {Reasoning about Explanations for Negative Query Answers in DL-Lite},\n  journal   = {J. Artif. Intell. Res. {(JAIR)}},\n  volume    = {48},\n  pages     = {635--669},\n  year      = {2013},\n  url       = {http://dx.doi.org/10.1613/jair.3870},\n  doi       = {10.1613/jair.3870},\n  timestamp = {Fri, 20 Dec 2013 00:00:00 +0100},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/jair/CalvaneseOSS13},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Ontology Based Query Answering: The Story So Far.\n \n \n \n \n\n\n \n Ortiz, M.\n\n\n \n\n\n\n In Bravo, L.; and Lenzerini, M., editor(s), Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013., volume 1087, of CEUR Workshop Proceedings, 2013. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"OntologyPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/amw/Ortiz13,\n  author    = {Magdalena Ortiz},\n  editor    = {Loreto Bravo and\n               Maurizio Lenzerini},\n  title     = {Ontology Based Query Answering: The Story So Far},\n  booktitle = {Proceedings of the 7th Alberto Mendelzon International Workshop on\n               Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23,\n               2013.},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1087},\n  publisher = {CEUR-WS.org},\n  year      = {2013},\n  url       = {http://ceur-ws.org/Vol-1087/keynote3.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/amw/Ortiz13},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Tractability Guarantees for DL-Lite Query Answering.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; Simkus, M.; and Xiao, G.\n\n\n \n\n\n\n In Eiter, T.; Glimm, B.; Kazakov, Y.; and Krötzsch, M., editor(s), Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, volume 1014, of CEUR Workshop Proceedings, pages 41–52, 2013. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"TractabilityPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/BienvenuOSX13,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Guohui Xiao},\n  editor    = {Thomas Eiter and\n               Birte Glimm and\n               Yevgeny Kazakov and\n               Markus Kr{\\"{o}}tzsch},\n  title     = {Tractability Guarantees for DL-Lite Query Answering},\n  booktitle = {Informal Proceedings of the 26th International Workshop on Description\n               Logics, Ulm, Germany, July 23 - 26, 2013},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1014},\n  pages     = {41--52},\n  publisher = {CEUR-WS.org},\n  year      = {2013},\n  url       = {http://ceur-ws.org/Vol-1014/paper_54.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/BienvenuOSX13},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Evolving Graph Databases under Description Logic Constraints.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Eiter, T.; Glimm, B.; Kazakov, Y.; and Krötzsch, M., editor(s), Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, volume 1014, of CEUR Workshop Proceedings, pages 120–131, 2013. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"EvolvingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/CalvaneseOS13,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Thomas Eiter and\n               Birte Glimm and\n               Yevgeny Kazakov and\n               Markus Kr{\\"{o}}tzsch},\n  title     = {Evolving Graph Databases under Description Logic Constraints},\n  booktitle = {Informal Proceedings of the 26th International Workshop on Description\n               Logics, Ulm, Germany, July 23 - 26, 2013},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {1014},\n  pages     = {120--131},\n  publisher = {CEUR-WS.org},\n  year      = {2013},\n  url       = {http://ceur-ws.org/Vol-1014/paper_82.pdf},\n  timestamp = {Mon, 30 May 2016 16:28:37 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/CalvaneseOS13},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Conjunctive Regular Path Queries in Lightweight Description Logics.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Rossi, F., editor(s), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 761–767, 2013. IJCAI/AAAI\n \n\n\n\n
\n\n\n\n \n \n \"ConjunctivePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/BienvenuOS13,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Francesca Rossi},\n  title     = {Conjunctive Regular Path Queries in Lightweight Description Logics},\n  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference\n               on Artificial Intelligence, Beijing, China, August 3-9, 2013},\n  pages     = {761--767},\n  publisher = {{IJCAI/AAAI}},\n  year      = {2013},\n  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6886},\n  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ijcai/BienvenuOS13},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Tractable Queries for Lightweight Description Logics.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; Simkus, M.; and Xiao, G.\n\n\n \n\n\n\n In Rossi, F., editor(s), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 768–774, 2013. IJCAI/AAAI\n \n\n\n\n
\n\n\n\n \n \n \"TractablePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/BienvenuOSX13,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Guohui Xiao},\n  editor    = {Francesca Rossi},\n  title     = {Tractable Queries for Lightweight Description Logics},\n  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference\n               on Artificial Intelligence, Beijing, China, August 3-9, 2013},\n  pages     = {768--774},\n  publisher = {{IJCAI/AAAI}},\n  year      = {2013},\n  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6908},\n  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ijcai/BienvenuOSX13},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Conjunctive query answering in the description logic SH using knots.\n \n \n \n \n\n\n \n Eiter, T.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n J. Comput. Syst. Sci., 78(1): 47–85. 2012.\n \n\n\n\n
\n\n\n\n \n \n \"ConjunctivePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/jcss/EiterOS12,\n  author    = {Thomas Eiter and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  title     = {Conjunctive query answering in the description logic {SH} using knots},\n  journal   = {J. Comput. Syst. Sci.},\n  volume    = {78},\n  number    = {1},\n  pages     = {47--85},\n  year      = {2012},\n  url       = {http://dx.doi.org/10.1016/j.jcss.2011.02.012},\n  doi       = {10.1016/j.jcss.2011.02.012},\n  timestamp = {Tue, 20 Dec 2011 00:00:00 +0100},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/jcss/EiterOS12},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Query Rewriting for Horn-SHIQ Plus Rules.\n \n \n \n \n\n\n \n Eiter, T.; Ortiz, M.; Simkus, M.; Tran, T.; and Xiao, G.\n\n\n \n\n\n\n In Hoffmann, J.; and Selman, B., editor(s), Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., 2012. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"QueryPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/aaai/EiterOSTX12,\n  author    = {Thomas Eiter and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Trung{-}Kien Tran and\n               Guohui Xiao},\n  editor    = {J{\\"{o}}rg Hoffmann and\n               Bart Selman},\n  title     = {Query Rewriting for Horn-SHIQ Plus Rules},\n  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,\n               July 22-26, 2012, Toronto, Ontario, Canada.},\n  publisher = {{AAAI} Press},\n  year      = {2012},\n  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4931},\n  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/aaai/EiterOSTX12},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Answering Expressive Path Queries over Lightweight DL Knowledge Bases.\n \n \n \n \n\n\n \n Bienvenu, M.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Kazakov, Y.; Lembo, D.; and Wolter, F., editor(s), Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, volume 846, of CEUR Workshop Proceedings, 2012. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"AnsweringPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/BienvenuOS12,\n  author    = {Meghyn Bienvenu and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Yevgeny Kazakov and\n               Domenico Lembo and\n               Frank Wolter},\n  title     = {Answering Expressive Path Queries over Lightweight {DL} Knowledge\n               Bases},\n  booktitle = {Proceedings of the 2012 International Workshop on Description Logics,\n               DL-2012, Rome, Italy, June 7-10, 2012},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {846},\n  publisher = {CEUR-WS.org},\n  year      = {2012},\n  url       = {http://ceur-ws.org/Vol-846/paper_28.pdf},\n  timestamp = {Mon, 30 May 2016 16:43:12 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/BienvenuOS12},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Practical Query Answering for Horn-SHIQ.\n \n \n \n \n\n\n \n Eiter, T.; Ortiz, M.; Simkus, M.; Tran, T.; and Xiao, G.\n\n\n \n\n\n\n In Kazakov, Y.; Lembo, D.; and Wolter, F., editor(s), Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, volume 846, of CEUR Workshop Proceedings, 2012. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/EiterOSTX12,\n  author    = {Thomas Eiter and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Trung{-}Kien Tran and\n               Guohui Xiao},\n  editor    = {Yevgeny Kazakov and\n               Domenico Lembo and\n               Frank Wolter},\n  title     = {Towards Practical Query Answering for Horn-SHIQ},\n  booktitle = {Proceedings of the 2012 International Workshop on Description Logics,\n               DL-2012, Rome, Italy, June 7-10, 2012},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {846},\n  publisher = {CEUR-WS.org},\n  year      = {2012},\n  url       = {http://ceur-ws.org/Vol-846/paper_20.pdf},\n  timestamp = {Mon, 30 May 2016 16:43:12 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/EiterOSTX12},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Complexity of Explaining Negative Query Answers in DL-Lite.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; Simkus, M.; and Stefanoni, G.\n\n\n \n\n\n\n In Brewka, G.; Eiter, T.; and McIlraith, S. A., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012. AAAI Press\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/kr/CalvaneseOSS12,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Giorgio Stefanoni},\n  editor    = {Gerhard Brewka and\n               Thomas Eiter and\n               Sheila A. McIlraith},\n  title     = {The Complexity of Explaining Negative Query Answers in DL-Lite},\n  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n               of the Thirteenth International Conference, {KR} 2012, Rome, Italy,\n               June 10-14, 2012},\n  publisher = {{AAAI} Press},\n  year      = {2012},\n  url       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4537},\n  timestamp = {Wed, 11 Jul 2012 10:51:15 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/kr/CalvaneseOSS12},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning and Query Answering in Description Logics.\n \n \n \n \n\n\n \n Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Eiter, T.; and Krennwallner, T., editor(s), Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings, volume 7487, of Lecture Notes in Computer Science, pages 1–53, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rweb/OrtizS12,\n  author    = {Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Thomas Eiter and\n               Thomas Krennwallner},\n  title     = {Reasoning and Query Answering in Description Logics},\n  booktitle = {Reasoning Web. Semantic Technologies for Advanced Query Answering\n               - 8th International Summer School 2012, Vienna, Austria, September\n               3-8, 2012. Proceedings},\n  series    = {Lecture Notes in Computer Science},\n  volume    = {7487},\n  pages     = {1--53},\n  publisher = {Springer},\n  year      = {2012},\n  url       = {http://dx.doi.org/10.1007/978-3-642-33158-9_1},\n  doi       = {10.1007/978-3-642-33158-9_1},\n  timestamp = {Tue, 18 Dec 2012 14:06:42 +0100},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/rweb/OrtizS12},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n The Complexity of Conjunctive Query Abduction in DL-Lite.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; Simkus, M.; and Stefanoni, G.\n\n\n \n\n\n\n In Rosati, R.; Rudolph, S.; and Zakharyaschev, M., editor(s), Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, volume 745, of CEUR Workshop Proceedings, 2011. CEUR-WS.org\n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus and\n               Giorgio Stefanoni},\n  editor    = {Riccardo Rosati and\n               Sebastian Rudolph and\n               Michael Zakharyaschev},\n  title     = {The Complexity of Conjunctive Query Abduction in DL-Lite},\n  booktitle = {Proceedings of the 24th International Workshop on Description Logics\n               {(DL} 2011), Barcelona, Spain, July 13-16, 2011},\n  series    = {{CEUR} Workshop Proceedings},\n  volume    = {745},\n  publisher = {CEUR-WS.org},\n  year      = {2011},\n  url       = {http://ceur-ws.org/Vol-745/paper_49.pdf},\n  timestamp = {Mon, 30 May 2016 16:43:12 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/dlog/CalvaneseOSS11},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.\n \n \n \n \n\n\n \n Calvanese, D.; Carbotta, D.; and Ortiz, M.\n\n\n \n\n\n\n In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 798–804, 2011. IJCAI/AAAI\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/CalvaneseCO11,\n  author    = {Diego Calvanese and\n               Domenico Carbotta and\n               Magdalena Ortiz},\n  editor    = {Toby Walsh},\n  title     = {A Practical Automata-Based Technique for Reasoning in Expressive Description\n               Logics},\n  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n               2011},\n  pages     = {798--804},\n  publisher = {{IJCAI/AAAI}},\n  year      = {2011},\n  url       = {http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-140},\n  doi       = {10.5591/978-1-57735-516-8/IJCAI11-140},\n  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ijcai/CalvaneseCO11},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Containment of Regular Path Queries under Description Logic Constraints.\n \n \n \n \n\n\n \n Calvanese, D.; Ortiz, M.; and Simkus, M.\n\n\n \n\n\n\n In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 805–812, 2011. IJCAI/AAAI\n \n\n\n\n
\n\n\n\n \n \n \"ContainmentPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/CalvaneseOS11,\n  author    = {Diego Calvanese and\n               Magdalena Ortiz and\n               Mantas Simkus},\n  editor    = {Toby Walsh},\n  title     = {Containment of Regular Path Queries under Description Logic Constraints},\n  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n               2011},\n  pages     = {805--812},\n  publisher = {{IJCAI/AAAI}},\n  year      = {2011},\n  url       = {http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-141},\n  doi       = {10.5591/978-1-57735-516-8/IJCAI11-141},\n  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ijcai/CalvaneseOS11},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.\n \n \n \n \n\n\n \n Ortiz, M.; Rudolph, S.; and Simkus, M.\n\n\n \n\n\n\n In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 1039–1044, 2011. IJCAI/AAAI\n \n\n\n\n
\n\n\n\n \n \n \"QueryPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/OrtizRS11,\n  author    = {Magdalena Ortiz and\n               Sebastian Rudolph and\n               Mantas Simkus},\n  editor    = {Toby Walsh},\n  title     = {Query Answering in the Horn Fragments of the Description Logics {SHOIQ}\n               and {SROIQ}},\n  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference\n               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,\n               2011},\n  pages     = {1039--1044},\n  publisher = {{IJCAI/AAAI}},\n  year      = {2011},\n  url       = {http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-178},\n  doi       = {10.5591/978-1-57735-516-8/IJCAI11-178},\n  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},\n  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ijcai/OrtizRS11},\n  bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);