The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mantas Simkus" ( http://dblp.L3S.de/Authors/Mantas_Simkus )

  Author page on DBLP  Author page in RDF  Community of Mantas Simkus in ASPL-2

Publication years (Num. hits)
2006-2011 (16) 2012-2014 (31) 2015-2016 (19) 2017-2019 (15)
Publication types (Num. hits)
article(14) inproceedings(65) proceedings(2)
Venues (Conferences, Journals, ...)
Description Logics(21) CoRR(8) IJCAI(8) AAAI(6) AMW(6) KR(5) LPAR(3) RR(3) ACM Trans. Comput. Log.(2) ICDT(2) J. Artif. Intell. Res.(2) Reasoning Web(2) FoIKS(1) Fundam. Inform.(1) ICLP(1) IFM(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 82 publication records. Showing 81 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus Ontology Focusing: Knowledge-enriched Databases on Demand. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Medina Andresel, Yazmin Ibáñez-García, Magdalena Ortiz, Mantas Simkus Relaxing and Restraining Queries for OBDA. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mantas Simkus, Grant E. Weddell (eds.) Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus Answer Set Programs Challenged by Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Georg Gottlob, Andreas Pieris, Mantas Simkus The Impact of Active Domain Predicates on Guarded Existential Rules. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus Relaxing and Restraining Queries for OBDA. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Rudolph, Mantas Simkus The Triguarded Fragment of First-Order Logic. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus Combining Rules and Ontologies into Clopen Knowledge Bases. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus Rewriting Guarded Existential Rules into Small Datalog Programs. Search on Bibsonomy ICDT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus Relaxing and Restraining Queries for OBDA - Extended Abstract. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus Taming Complex Role Inclusions for DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Rudolph, Mantas Simkus Satisfiability in the Triguarded Fragment of First-Order Logic. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus Compiling Model Representations for Querying Large ABoxes in Expressive DLs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Managing Change in Graph-Structured Data Using Description Logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus Verification of Evolving Graph-structured Data under Expressive Path Constraints. Search on Bibsonomy ICDT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nhung Ngo, Magdalena Ortiz, Mantas Simkus Closed Predicates in Description Logics: Results on Combined Complexity. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Medina Andresel, Magdalena Ortiz, Mantas Simkus A Compilation Technique for Interactive Ontology-mediated Data Exploration. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek The Challenge of Optional Matching in SPARQL. Search on Bibsonomy FoIKS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Georg Gottlob, Andreas Pieris, Mantas Simkus The Impact of Active Domain Predicates on Guarded Existential Rules. Search on Bibsonomy RR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. Search on Bibsonomy AMW The full citation details ... 2016 DBLP  BibTeX  RDF
1Nhung Ngo, Magdalena Ortiz, Mantas Simkus Closed Predicates in Description Logics: Results on Combined Complexity. Search on Bibsonomy AMW The full citation details ... 2016 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek Towards Reconciling SPARQL and Certain Answers. Search on Bibsonomy WWW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger Extending ALCQIO with Trees. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Mantas Simkus Linking Open-World Knowledge Bases Using Nonmonotonic Rules. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mantas Simkus Binary Frontier-Guarded ASP with Function Symbols. Search on Bibsonomy RuleML The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nhung Ngo, Magdalena Ortiz, Mantas Simkus The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek DL-Lite and Conjunctive Queries Extended by Optional Matching. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao 0001 A Rule-based Framework for Creating Instance Data from OpenStreetMap. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. Search on Bibsonomy AMW The full citation details ... 2015 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek Towards Reconciling SPARQL and Certain Answers (Extended Abstract). Search on Bibsonomy AMW The full citation details ... 2015 DBLP  BibTeX  RDF
1Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger Extending ALCQIO with reachability. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Managing Change in Graph-structured Data Using Description Logics (long version with appendix). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni Reasoning about Explanations for Negative Query Answers in DL-Lite. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Nested Regular Path Queries in Description Logics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Georg Gottlob, Sebastian Rudolph, Mantas Simkus Expressiveness of guarded existential rule languages. Search on Bibsonomy PODS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Managing Change in Graph-Structured Data Using Description Logics. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus Capturing Relational Schemas and Functional Dependencies in RDFS. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao 0001 Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. Search on Bibsonomy ORE The full citation details ... 2014 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Nested Regular Path Queries in Description Logics. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus (eds.) Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Planning Problems for Graph Structured Data in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Magdalena Ortiz, Mantas Simkus Revisiting the Hardness of Query Answering in Expressive Description Logics. Search on Bibsonomy RR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Planning and Change in Graph Structured Data under Description Logics Constraints. Search on Bibsonomy AMW The full citation details ... 2014 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus Nested Regular Path Queries in Description Logics (Extended Abstract). Search on Bibsonomy AMW The full citation details ... 2014 DBLP  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni Reasoning about Explanations for Negative Query Answers in DL-Lite. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao 0001 Tractability Guarantees for DL-Lite Query Answering. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus Evolving Graph Databases under Description Logic Constraints. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao 0001 Tractable Queries for Lightweight Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus Conjunctive Regular Path Queries in Lightweight Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Magdalena Ortiz, Mantas Simkus Conjunctive query answering in the description logic SH using knots. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao 0001 Query Rewriting for Horn-SHIQ Plus Rules. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni The Complexity of Explaining Negative Query Answers in DL-Lite. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao 0001 Towards Practical Query Answering for Horn-SHIQ. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Magdalena Ortiz, Mantas Simkus Reasoning and Query Answering in Description Logics. Search on Bibsonomy Reasoning Web The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris, Mantas Simkus Datalog and Its Extensions for Semantic Web Databases. Search on Bibsonomy Reasoning Web The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni The Complexity of Conjunctive Query Abduction in DL-Lite. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Diego Calvanese, Magdalena Ortiz, Mantas Simkus Containment of Regular Path Queries under Description Logic Constraints. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Mantas Simkus FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus Query Answering in the Description Logic S. Search on Bibsonomy Description Logics The full citation details ... 2010 DBLP  BibTeX  RDF
1Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus Query Answering in Description Logics: The Knots Approach. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mantas Simkus Fusion of Logic Programming and Description Logics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus Query Answering in Description Logics with Transitive Roles. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Thomas Eiter, Mantas Simkus Bidirectional Answer Set Programs with Function Symbols. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Thomas Eiter, Magdalena Ortiz, Mantas Simkus Reasoning Using Knots. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Magdalena Ortiz, Mantas Simkus, Thomas Eiter Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus Query Answering in the Description Logic Horn-. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Magdalena Ortiz, Mantas Simkus, Thomas Eiter Conjunctive Query Answering in SH using Knots. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Mantas Simkus, Thomas Eiter \mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mantas Simkus, Evaldas Taroza, Lina Lubyte, Daniel Trivellato, Zivile Norkunaite Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #81 of 81 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license