Mantas Simkus - RankMe

140 papers A* 36A 4B 8C 1Misc 1Journal 31Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SHACL validation in the presence of ontologies: Semantics and rewriting techniques. Artif. Intell. Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	A Logic Programming Approach to Repairing SHACL Constraint Violations. TGDK Shqiponja Ahmetaj, Robert David, Axel Polleres, Mantas Simkus
2025	A*	`conf`	Common Foundations for SHACL, ShEx, and PG-Schema. WWW Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025	J	`jnl`	Common Foundations for SHACL, ShEx, and PG-Schema. CoRR Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025	A*	`conf`	Expressive Description Logics with Rich Yet Affordable Numeric Constraints. KR Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Magdalena Ortiz, Matias Selin, Mantas Simkus
2025	A*	`conf`	Minimal Model Reasoning in Description Logics: Don't Try This at Home! KR Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	Minimal Model Reasoning in Description Logics: Don't Try This at Home! CoRR Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract). DL Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	SHACL Validation Under Graph Updates. ISWC (1) Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz, Paolo Pareti, Mantas Simkus
2025	J	`jnl`	SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques. CoRR Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
2025	J	`jnl`	SHACL Validation under Graph Updates (Extended Paper). CoRR Shqiponja Ahmetaj, George Konstantinidis, Magdalena Ortiz, Paolo Pareti, Mantas Simkus
2025	—	`conf`	Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract). DL Jonas Philipp Haldimann, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	Towards Practicable Defeasible Reasoning for ABoxes. JELIA (1) Jonas Haldimann, Magdalena Ortiz, Mantas Simkus
2025	—	`conf`	Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract). DL Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2024	J	`jnl`	Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artif. Intell. Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2024	A*	`conf`	Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. KR Federica Di Stefano, Mantas Simkus
2024	—	`conf`	Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. Description Logics Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
2024	B	`ed.`	Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings RuleML+RR Sabrina Kirrane, Mantas Simkus, Ahmet Soylu, Dumitru Roman
2024	A*	`conf`	SHACL Validation under the Well-founded Semantics. KR Cem Okulmus, Mantas Simkus
2024	—	`conf`	Stable Model Semantics for Description Logic Terminologies (Extended Abstract). Description Logics Federica Di Stefano, Mantas Simkus
2024	A*	`conf`	Stable Model Semantics for Description Logic Terminologies. AAAI Federica Di Stefano, Mantas Simkus
2024	—	`conf`	Towards SHACL Validation of Evolving Graphs. AMW Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2024	—	`conf`	Translating Equilibrium Description Logics into Circumscription. Description Logics Federica Di Stefano, Mantas Simkus
2023	—	`conf`	Circumscription in DL-Lite: Progress Report. Description Logics Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2023	A*	`conf`	Description Logics with Pointwise Circumscription. IJCAI Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	On the Way to Temporal OBDA Systems (short paper). AMW Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus
2023	A	`conf`	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
2023	—	`conf`	Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ISWC (Posters/Demos/Industry) Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. RuleML+RR (Companion) Arka Ghosh, Mantas Simkus, Diego Calvanese
2023	J	`jnl`	The biggest business process management problems to solve before we die. Comput. Ind. Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato
2023	—	`conf`	Towards Techniques for Updating Virtual Knowledge Graphs. RuleML+RR (Companion) Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese
2022	J	`jnl`	Magic Shapes for SHACL Validation. Proc. VLDB Endow. Shqiponja Ahmetaj, Bianca Löhnert, Magdalena Ortiz, Mantas Simkus
2022	—	`conf`	Pointwise Circumscription in Description Logics. Description Logics Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2022	—	`ed.`	Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures RW Mantas Simkus, Ivan Varzinczak
2022	Misc	`conf`	Repairing SHACL Constraint Violations Using Answer Set Programming. ISWC Shqiponja Ahmetaj, Robert David, Axel Polleres, Mantas Simkus
2022	—	`conf`	Well-founded Semantics for Recursive SHACL. Datalog Adrian Chmurovic, Mantas Simkus
2021	A*	`conf`	Bounded Predicates in Description Logics with Counting. IJCAI Sanja Lukumbuzya, Mantas Simkus
2021	—	`conf`	Explanations for Non-validation in SHACL. ISWC (Posters/Demos/Industry) Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
2021	—	`conf`	Magic Shapes for Validation in SHACL. ISWC (Posters/Demos/Industry) Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
2021	—	`conf`	Process Mining with Common Sense. Problems@BPM Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
2021	—	`conf`	Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). Description Logics Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
2021	A*	`conf`	Reasoning about Explanations for Non-validation in SHACL. KR Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
2020	J	`jnl`	An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR Nadia Labai, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	An ExpTime Upper Bound for ALC with Integers. KR Nadia Labai, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2020	J	`jnl`	Interview with Diego Calvanese. Künstliche Intell. Diego Calvanese, Mantas Simkus
2020	J	`jnl`	Ontologies and Data Management: A Brief Survey. Künstliche Intell. Thomas Schneider, Mantas Simkus
2020	A	`conf`	Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2020	J	`jnl`	Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artif. Intell. Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	Query Rewriting for Ontology-Mediated Conditional Answers. AAAI Medina Andresel, Magdalena Ortiz, Mantas Simkus
2020	A*	`conf`	Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. AAAI Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2020	J	`jnl`	Special Issue on Ontologies and Data Management: Part I. Künstliche Intell. Thomas Schneider, Mantas Simkus
2020	J	`jnl`	Special Issue on Ontologies and Data Management: Part II. Künstliche Intell. Thomas Schneider, Mantas Simkus
2020	A*	`conf`	Stable Model Semantics for Recursive SHACL. WWW Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
2019	—	`conf`	Answer Set Programs Challenged by Ontologies. Description Logics Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
2019	J	`jnl`	Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2019	J	`jnl`	Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. CoRR Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2019	—	`ed.`	Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019. RuleML+RR (Supplement) Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca
2019	—	`ed.`	Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Description Logics Mantas Simkus, Grant E. Weddell
2019	A*	`conf`	Relaxing and Restraining Queries for OBDA. AAAI Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	A*	`conf`	Combining Rules and Ontologies into Clopen Knowledge Bases. AAAI Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
2018	A*	`conf`	Compiling Model Representations for Querying Large ABoxes in Expressive DLs. IJCAI Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
2018	A*	`conf`	Relaxing and Restraining Queries for OBDA - Extended Abstract. KR Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	J	`jnl`	Relaxing and Restraining Queries for OBDA. CoRR Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	A	`conf`	Rewriting Guarded Existential Rules into Small Datalog Programs. ICDT Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2018	—	`conf`	Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics Sebastian Rudolph, Mantas Simkus
2018	—	`conf`	Taming Complex Role Inclusions for DL-Lite. Description Logics Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
2018	J	`jnl`	The Impact of Active Domain Predicates on Guarded Existential Rules. Fundam. Informaticae Georg Gottlob, Andreas Pieris, Mantas Simkus
2018	B	`conf`	The Triguarded Fragment of First-Order Logic. LPAR Sebastian Rudolph, Mantas Simkus
2017	—	`conf`	Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
2017	J	`jnl`	Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	A Compilation Technique for Interactive Ontology-mediated Data Exploration. Description Logics Medina Andresel, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Closed Predicates in Description Logics: Results on Combined Complexity. AMW Nhung Ngo, Magdalena Ortiz, Mantas Simkus
2016	A*	`conf`	Closed Predicates in Description Logics: Results on Combined Complexity. KR Nhung Ngo, Magdalena Ortiz, Mantas Simkus
2016	A*	`conf`	Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. IJCAI Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. AMW Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	The Challenge of Optional Matching in SPARQL. FoIKS Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2016	—	`conf`	The Impact of Active Domain Predicates on Guarded Existential Rules. RR Georg Gottlob, Andreas Pieris, Mantas Simkus
2016	A	`conf`	Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2015	—	`conf`	A Rule-based Framework for Creating Instance Data from OpenStreetMap. RR Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao
2015	—	`conf`	Binary Frontier-Guarded ASP with Function Symbols. RuleML Mantas Simkus
2015	—	`conf`	DL-Lite and Conjunctive Queries Extended by Optional Matching. Description Logics Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2015	A*	`conf`	Extending ALCQIO with Trees. LICS Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2015	B	`conf`	Linking Open-World Knowledge Bases Using Nonmonotonic Rules. LPNMR Thomas Eiter, Mantas Simkus
2015	—	`conf`	Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. AMW Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2015	J	`jnl`	Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. J. Artif. Intell. Res. Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2015	—	`conf`	The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Description Logics Nhung Ngo, Magdalena Ortiz, Mantas Simkus
2015	—	`conf`	Towards Reconciling SPARQL and Certain Answers (Extended Abstract). AMW Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2015	A*	`conf`	Towards Reconciling SPARQL and Certain Answers. WWW Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
2014	A*	`conf`	Capturing Relational Schemas and Functional Dependencies in RDFS. AAAI Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014	—	`conf`	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Description Logics Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014	A*	`conf`	Expressiveness of guarded existential rule languages. PODS Georg Gottlob, Sebastian Rudolph, Mantas Simkus
2014	J	`jnl`	Extending ALCQIO with reachability. CoRR Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`ed.`	Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
2014	A*	`conf`	Managing Change in Graph-Structured Data Using Description Logics. AAAI Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Nested Regular Path Queries in Description Logics (Extended Abstract). AMW Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	A*	`conf`	Nested Regular Path Queries in Description Logics. KR Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Nested Regular Path Queries in Description Logics. CoRR Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Planning Problems for Graph Structured Data in Description Logics. Description Logics Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Planning and Change in Graph Structured Data under Description Logics Constraints. AMW Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2014	—	`conf`	Revisiting the Hardness of Query Answering in Expressive Description Logics. RR Magdalena Ortiz, Mantas Simkus
2014	B	`conf`	Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. Description Logics Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. ORE Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao
2013	A*	`conf`	Conjunctive Regular Path Queries in Lightweight Description Logics. IJCAI Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2013	—	`conf`	Evolving Graph Databases under Description Logic Constraints. Description Logics Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2013	J	`jnl`	Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2013	J	`jnl`	Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2013	—	`conf`	Tractability Guarantees for DL-Lite Query Answering. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2013	A*	`conf`	Tractable Queries for Lightweight Description Logics. IJCAI Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
2012	—	`conf`	Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
2012	J	`jnl`	Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. Thomas Eiter, Magdalena Ortiz, Mantas Simkus
2012	—	`conf`	Datalog and Its Extensions for Semantic Web Databases. Reasoning Web Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus
2012	A*	`conf`	Query Rewriting for Horn-SHIQ Plus Rules. AAAI Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
2012	—	`conf`	Reasoning and Query Answering in Description Logics. Reasoning Web Magdalena Ortiz, Mantas Simkus
2012	A*	`conf`	The Complexity of Explaining Negative Query Answers in DL-Lite. KR Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2012	—	`conf`	Towards Practical Query Answering for Horn-SHIQ. Description Logics Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
2011	A*	`conf`	Containment of Regular Path Queries under Description Logic Constraints. IJCAI Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2011	A*	`conf`	Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2011	—	`conf`	The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2010	J	`jnl`	FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Trans. Comput. Log. Thomas Eiter, Mantas Simkus
2010	—	`conf`	Query Answering in the Description Logic S. Description Logics Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2010	A*	`conf`	Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
2009	A*	`conf`	Bidirectional Answer Set Programs with Function Symbols. IJCAI Thomas Eiter, Mantas Simkus
2009	B	`conf`	Fusion of Logic Programming and Description Logics. ICLP Mantas Simkus
2009	A*	`conf`	Query Answering in Description Logics with Transitive Roles. IJCAI Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2009	C	`conf`	Query Answering in Description Logics: The Knots Approach. WoLLIC Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
2008	—	`conf`	Conjunctive Query Answering in SH using Knots. Description Logics Magdalena Ortiz, Mantas Simkus, Thomas Eiter
2008	B	`conf`	Query Answering in the Description Logic Horn-. JELIA Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
2008	B	`conf`	Reasoning Using Knots. LPAR Thomas Eiter, Magdalena Ortiz, Mantas Simkus
2008	A*	`conf`	Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI Magdalena Ortiz, Mantas Simkus, Thomas Eiter
2007	B	`conf`	\mathbb LPAR Mantas Simkus, Thomas Eiter
2006	J	`jnl`	Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report CoRR Mantas Simkus, Evaldas Taroza, Lina Lubyte, Daniel Trivellato, Zivile Norkunaite