default search action
Mantas Simkus
Person information
- affiliation: Umea University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j14]Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artif. Intell. 330: 104099 (2024) - [c93]Federica Di Stefano, Mantas Simkus:
Stable Model Semantics for Description Logic Terminologies. AAAI 2024: 10484-10492 - [c92]Federica Di Stefano, Mantas Simkus:
Translating Equilibrium Description Logics into Circumscription. Description Logics 2024 - [c91]Federica Di Stefano, Mantas Simkus:
Stable Model Semantics for Description Logic Terminologies (Extended Abstract). Description Logics 2024 - [c90]Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus:
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. Description Logics 2024 - [e5]Sabrina Kirrane, Mantas Simkus, Ahmet Soylu, Dumitru Roman:
Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings. Lecture Notes in Computer Science 15183, Springer 2024, ISBN 978-3-031-72406-0 [contents] - 2023
- [j13]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:
The biggest business process management problems to solve before we die. Comput. Ind. 146: 103837 (2023) - [c89]Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus:
On the Way to Temporal OBDA Systems (short paper). AMW 2023 - [c88]Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics 2023 - [c87]Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Circumscription in DL-Lite: Progress Report. Description Logics 2023 - [c86]Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics 2023 - [c85]Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI 2023: 27-35 - [c84]Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Description Logics with Pointwise Circumscription. IJCAI 2023: 3167-3175 - [c83]Arka Ghosh, Mantas Simkus, Diego Calvanese:
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. RuleML+RR (Companion) 2023 - [c82]Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese:
Towards Techniques for Updating Virtual Knowledge Graphs. RuleML+RR (Companion) 2023 - [c81]Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ISWC (Posters/Demos/Industry) 2023 - 2022
- [j12]Shqiponja Ahmetaj, Bianca Löhnert, Magdalena Ortiz, Mantas Simkus:
Magic Shapes for SHACL Validation. Proc. VLDB Endow. 15(10): 2284-2296 (2022) - [c80]Adrian Chmurovic, Mantas Simkus:
Well-founded Semantics for Recursive SHACL. Datalog 2022: 2-13 - [c79]Federica Di Stefano, Magdalena Ortiz, Mantas Simkus:
Pointwise Circumscription in Description Logics. Description Logics 2022 - [c78]Shqiponja Ahmetaj, Robert David, Axel Polleres, Mantas Simkus:
Repairing SHACL Constraint Violations Using Answer Set Programming. ISWC 2022: 375-391 - [e4]Mantas Simkus, Ivan Varzinczak:
Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures. Lecture Notes in Computer Science 13100, Springer 2022, ISBN 978-3-030-95480-2 [contents] - 2021
- [c77]Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus:
Process Mining with Common Sense. Problems@BPM 2021: 45-50 - [c76]Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). Description Logics 2021 - [c75]Sanja Lukumbuzya, Mantas Simkus:
Bounded Predicates in Description Logics with Counting. IJCAI 2021: 1966-1972 - [c74]Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Reasoning about Explanations for Non-validation in SHACL. KR 2021: 12-21 - [c73]Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus:
Explanations for Non-validation in SHACL. ISWC (Posters/Demos/Industry) 2021 - [c72]Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus:
Magic Shapes for Validation in SHACL. ISWC (Posters/Demos/Industry) 2021 - 2020
- [j11]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artif. Intell. 280: 103220 (2020) - [j10]Thomas Schneider, Mantas Simkus:
Special Issue on Ontologies and Data Management: Part I. Künstliche Intell. 34(3): 287-289 (2020) - [j9]Thomas Schneider, Mantas Simkus:
Ontologies and Data Management: A Brief Survey. Künstliche Intell. 34(3): 329-353 (2020) - [j8]Thomas Schneider, Mantas Simkus:
Special Issue on Ontologies and Data Management: Part II. Künstliche Intell. 34(4): 439-441 (2020) - [j7]Diego Calvanese, Mantas Simkus:
Interview with Diego Calvanese. Künstliche Intell. 34(4): 551-555 (2020) - [c71]Medina Andresel, Magdalena Ortiz, Mantas Simkus:
Query Rewriting for Ontology-Mediated Conditional Answers. AAAI 2020: 2734-2741 - [c70]Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. AAAI 2020: 2917-2924 - [c69]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus:
Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI 2020: 745-752 - [c68]Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR 2020: 434-444 - [c67]Nadia Labai, Magdalena Ortiz, Mantas Simkus:
An ExpTime Upper Bound for ALC with Integers. KR 2020: 614-623 - [c66]Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus:
Stable Model Semantics for Recursive SHACL. WWW 2020: 1570-1580 - [i10]Nadia Labai, Magdalena Ortiz, Mantas Simkus:
An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR abs/2006.02078 (2020)
2010 – 2019
- 2019
- [c65]Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Relaxing and Restraining Queries for OBDA. AAAI 2019: 2654-2661 - [c64]Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus:
Answer Set Programs Challenged by Ontologies. Description Logics 2019 - [e3]Mantas Simkus, Grant E. Weddell:
Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR Workshop Proceedings 2373, CEUR-WS.org 2019 [contents] - [e2]Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca:
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. CEUR Workshop Proceedings 2438, CEUR-WS.org 2019 [contents] - [i9]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus:
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR abs/1904.00195 (2019) - [i8]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. CoRR abs/1912.07475 (2019) - 2018
- [j6]Georg Gottlob, Andreas Pieris, Mantas Simkus:
The Impact of Active Domain Predicates on Guarded Existential Rules. Fundam. Informaticae 159(1-2): 123-146 (2018) - [c63]Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus:
Combining Rules and Ontologies into Clopen Knowledge Bases. AAAI 2018: 1728-1735 - [c62]Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Taming Complex Role Inclusions for DL-Lite. Description Logics 2018 - [c61]Sebastian Rudolph, Mantas Simkus:
Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics 2018 - [c60]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Rewriting Guarded Existential Rules into Small Datalog Programs. ICDT 2018: 4:1-4:24 - [c59]Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus:
Compiling Model Representations for Querying Large ABoxes in Expressive DLs. IJCAI 2018: 1691-1698 - [c58]Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Relaxing and Restraining Queries for OBDA - Extended Abstract. KR 2018: 617-618 - [c57]Sebastian Rudolph, Mantas Simkus:
The Triguarded Fragment of First-Order Logic. LPAR 2018: 604-619 - [i7]Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus:
Relaxing and Restraining Queries for OBDA. CoRR abs/1808.02850 (2018) - 2017
- [j5]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. 18(4): 27:1-27:35 (2017) - [c56]Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus:
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics 2017 - 2016
- [c55]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. AMW 2016 - [c54]Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
Closed Predicates in Description Logics: Results on Combined Complexity. AMW 2016 - [c53]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics 2016 - [c52]Medina Andresel, Magdalena Ortiz, Mantas Simkus:
A Compilation Technique for Interactive Ontology-mediated Data Exploration. Description Logics 2016 - [c51]Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek:
The Challenge of Optional Matching in SPARQL. FoIKS 2016: 169-190 - [c50]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT 2016: 15:1-15:19 - [c49]Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. IJCAI 2016: 878-885 - [c48]Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
Closed Predicates in Description Logics: Results on Combined Complexity. KR 2016: 237-246 - [c47]Georg Gottlob, Andreas Pieris, Mantas Simkus:
The Impact of Active Domain Predicates on Guarded Existential Rules. RR 2016: 94-110 - 2015
- [j4]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. J. Artif. Intell. Res. 53: 315-374 (2015) - [c46]Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek:
Towards Reconciling SPARQL and Certain Answers (Extended Abstract). AMW 2015 - [c45]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. AMW 2015 - [c44]Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek:
DL-Lite and Conjunctive Queries Extended by Optional Matching. Description Logics 2015 - [c43]Nhung Ngo, Magdalena Ortiz, Mantas Simkus:
The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Description Logics 2015 - [c42]Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Extending ALCQIO with Trees. LICS 2015: 511-522 - [c41]Thomas Eiter, Mantas Simkus:
Linking Open-World Knowledge Bases Using Nonmonotonic Rules. LPNMR 2015: 294-308 - [c40]Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao:
A Rule-based Framework for Creating Instance Data from OpenStreetMap. RR 2015: 93-104 - [c39]Mantas Simkus:
Binary Frontier-Guarded ASP with Function Symbols. RuleML 2015: 311-327 - [c38]Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek:
Towards Reconciling SPARQL and Certain Answers. WWW 2015: 23-33 - 2014
- [c37]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-Structured Data Using Description Logics. AAAI 2014: 966-973 - [c36]Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
Capturing Relational Schemas and Functional Dependencies in RDFS. AAAI 2014: 1003-1011 - [c35]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning and Change in Graph Structured Data under Description Logics Constraints. AMW 2014 - [c34]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics (Extended Abstract). AMW 2014 - [c33]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning Problems for Graph Structured Data in Description Logics. Description Logics 2014: 4-7 - [c32]Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics 2014: 124-127 - [c31]Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Description Logics 2014: 416-420 - [c30]Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. Description Logics 2014: 591-594 - [c29]Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM 2014: 3-17 - [c28]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics. KR 2014 - [c27]Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao:
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. ORE 2014: 51-57 - [c26]Georg Gottlob, Sebastian Rudolph, Mantas Simkus:
Expressiveness of guarded existential rule languages. PODS 2014: 27-38 - [c25]Magdalena Ortiz, Mantas Simkus:
Revisiting the Hardness of Query Answering in Expressive Description Logics. RR 2014: 216-223 - [e1]Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus:
Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. CEUR Workshop Proceedings 1193, CEUR-WS.org 2014 [contents] - [i6]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR abs/1402.0575 (2014) - [i5]Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Extending ALCQIO with reachability. CoRR abs/1402.6804 (2014) - [i4]Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics. CoRR abs/1402.7122 (2014) - [i3]Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR abs/1404.4274 (2014) - 2013
- [j3]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. 48: 635-669 (2013) - [c24]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao:
Tractability Guarantees for DL-Lite Query Answering. Description Logics 2013: 41-52 - [c23]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Evolving Graph Databases under Description Logic Constraints. Description Logics 2013: 120-131 - [c22]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Conjunctive Regular Path Queries in Lightweight Description Logics. IJCAI 2013: 761-767 - [c21]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao:
Tractable Queries for Lightweight Description Logics. IJCAI 2013: 768-774 - [i2]Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR abs/1312.6624 (2013) - 2012
- [j2]Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Conjunctive query answering in the description logic SH using knots. J. Comput. Syst. Sci. 78(1): 47-85 (2012) - [c20]Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Query Rewriting for Horn-SHIQ Plus Rules. AAAI 2012: 726-733 - [c19]Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus:
Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics 2012 - [c18]Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao:
Towards Practical Query Answering for Horn-SHIQ. Description Logics 2012 - [c17]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Explaining Negative Query Answers in DL-Lite. KR 2012 - [c16]Magdalena Ortiz, Mantas Simkus:
Reasoning and Query Answering in Description Logics. Reasoning Web 2012: 1-53 - [c15]Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus:
Datalog and Its Extensions for Semantic Web Databases. Reasoning Web 2012: 54-77 - 2011
- [c14]Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics 2011 - [c13]Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Containment of Regular Path Queries under Description Logic Constraints. IJCAI 2011: 805-812 - [c12]Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. IJCAI 2011: 1039-1044 - 2010
- [j1]Thomas Eiter, Mantas Simkus:
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Trans. Comput. Log. 11(2): 14:1-14:50 (2010) - [c11]Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic S. Description Logics 2010 - [c10]Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. KR 2010
2000 – 2009
- 2009
- [c9]Mantas Simkus:
Fusion of Logic Programming and Description Logics. ICLP 2009: 551-552 - [c8]Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764 - [c7]Thomas Eiter, Mantas Simkus:
Bidirectional Answer Set Programs with Function Symbols. IJCAI 2009: 765-771 - [c6]Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36 - 2008
- [c5]Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI 2008: 504-510 - [c4]Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Conjunctive Query Answering in SH using Knots. Description Logics 2008 - [c3]Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus:
Query Answering in the Description Logic Horn-. JELIA 2008: 166-179 - [c2]Thomas Eiter, Magdalena Ortiz, Mantas Simkus:
Reasoning Using Knots. LPAR 2008: 377-390 - 2007
- [c1]Mantas Simkus, Thomas Eiter:
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. LPAR 2007: 514-530 - 2006
- [i1]Mantas Simkus, Evaldas Taroza, Lina Lubyte, Daniel Trivellato, Zivile Norkunaite:
Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report. CoRR abs/cs/0601114 (2006)