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

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

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