SIMKUS, Mantas

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Privatdoz. Dr.techn.
 
Full name Familienname, Vorname
SIMKUS, Mantas
 
Postfix title Titel (nachgestellt)
MSc
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 96 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Konferenzbeitrag Inproceedings 2010
2Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas ; Fox, Dieter ; Gomes, Carla P. Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without InversesKonferenzbeitrag Inproceedings 2008
3Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Martens, Wim ; Zeume, Thomas Verification of Evolving Graph-structured Data under Expressive Path ConstraintsKonferenzbeitrag Inproceedings 2016
4Eiter, Thomas ; Schneider, Patrik ; Simkus, Mantas ; Xiao, Guohui Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57Konferenzbeitrag Inproceedings 2014
5Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Rossi, Francesca Tractable Queries for Lightweight Description LogicsKonferenzbeitrag Inproceedings 2013
6Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui ; Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus Tractability Guarantees for DL-Lite Query AnsweringKonferenzbeitrag Inproceedings 2013
7Ahmetaj, Shqiponja ; Fischl, Wolfgang ; Pichler, Reinhard ; Simkus, Mantas ; Skritek, Sebastian ; Cali, Andrea ; Vidal, Maria-Esther Towards Reconciling SPARQL and Certain Answers (Extended Abstract)Konferenzbeitrag Inproceedings 2015
8Ahmetaj, Shqiponja ; Fischl, Wolfgang ; Pichler, Reinhard ; Šimkus, Mantas ; Skritek, Sebastian ; Gangemi, Aldo ; Stefano, Leonardi ; Panconesi, Alessandro Towards Reconciling SPARQL and Certain AnswersKonferenzbeitrag Inproceedings 2015
9Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Tran, Trung-Kien ; Xiao, Guohui ; Kazakov, Yevgeny ; Lembo, Domenico ; Wolter, Frank Towards Practical Query Answering for Horn SHIQ.Konferenzbeitrag Inproceedings 2012
10Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014
11Rudolph, Sebastian ; Simkus, Mantas The Triguarded Fragment of First-Order LogicKonferenzbeitrag Inproceedings 2018
12Gottlob, Georg ; Pieris, Andreas ; Šimkus, Mantas ; Ortiz de la Fuente, M.Magdalena ; Schlobach, Stefan The Impact of Active Domain Predicates on Guarded Existential RulesKonferenzbeitrag Inproceedings 2016
13Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila The Complexity of Explaining Negative Query Answers in DL-LiteKonferenzbeitrag Inproceedings 2012
14Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Stefanoni, Giorgio ; Rosati, Riccardo ; Rudolph, Sebastian ; Zakharyaschev, Michael The Complexity of Conjunctive Query Abduction in DL-LiteKonferenzbeitrag Inproceedings 2011
15Ngo, Nhung ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Calvanese, Diego ; Konev, Boris The Combined Complexity of Reasoning with Closed Predicates in Description LogicsKonferenzbeitrag Inproceedings 2015
16Ahmetaj, Shqiponja ; Fischl, Wolfgang ; Kröll, Markus ; Pichler, Reinhard ; Šimkus, Mantas ; Skritek, Sebastian ; Gyssens, Marc ; Simari, Guillermo R. The Challenge of Optional Matching in SPARQLKonferenzbeitrag Inproceedings2016
17Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Taming Complex Role Inclusions for DL-LiteKonferenzbeitrag Inproceedings 2018
18Andresel, Medina ; Corman, Julien ; Ortiz, Magdalena ; Reutter, Juan L. ; Savkovic, Ognjen ; Simkus, Mantas Stable Model Semantics for Recursive SHACLKonferenzbeitrag Inproceedings 2020
19Schneider, Thomas ; Šimkus, Mantas Special Issue on Ontologies and Data Management: Part IIArtikel Article2020
20Schneider, Thomas ; Šimkus, Mantas Special Issue on Ontologies and Data Management: Part IArtikel Article2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-13 of 13 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
2Ahmeti, Albin ; Calvanese, Diego ; Polleres, Axel ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS EntailmentKonferenzbeitrag Inproceedings 2014
3Simkus, Mantas ; Weddell, Grant Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019Konferenzband Proceedings 2019
4Soylu, Ahmet ; Moschoyiannis, Sotiris ; Governatori, Guido ; Simkus, Mantas ; Stefaneas, Petros ; Steen, Alexander ; Giurca, Adrian Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, ItalyKonferenzband Proceedings 2019
5Ahmetaj, Shqiponja ; Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Planning Problems for Graph Structured Data in Description LogicsKonferenzbeitrag Inproceedings 2014
6Lukumbuzya, Sanja ; Soylu, Ahmet ; Moschoyiannis, Sotiris ; Governatori, Guido ; Simkus, Mantas ; Stefaneas, Petros ; Steen, Alexander ; Giurca, Adrian Ontology-Enriched Data Management with Partially Complete DataKonferenzbeitrag Inproceedings 2019
7Loehnert Bianca - 2022 - Magic Shapes for SHACL Validation.pdf.jpgLöhnert, Bianca Magic Shapes Algorithm for SHACL ValidationThesis Hochschulschrift 2022
8Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Informal Proceedings of the 27th International Workshop on Description LogicsKonferenzband Proceedings 2014
9Zupa Alem - 2022 - Highly Customizable Assemblies using Object-based Automated...pdf.jpgŽupa, Alem Highly Customizable Assemblies using Object-based Automated PlanningThesis Hochschulschrift 2022
10Foidl Raffael - 2022 - Flexible and Efficient Querying of Sensor Data.pdf.jpgFoidl, Raffael Flexible and Efficient Querying of Sensor DataThesis Hochschulschrift 2022
11Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Contextualized Knowledge Repositories with Justifiable ExceptionsKonferenzbeitrag Inproceedings 2014
12Andresel Medina - 2016 - A compilation technique for interactive...pdf.jpgAndreşel, Medina A compilation technique for interactive ontology-mediated data explorationThesis Hochschulschrift 2016
13Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja ; Simkus, Mantas ; Weddell, Grant Answer Set Programs Challenged by OntologiesKonferenzbeitrag Inproceedings 2019