Follow
Mantas Šimkus
Mantas Šimkus
Associate Professor, Umeċ University, Sweden
Verified email at cs.umu.se - Homepage
Title
Cited by
Cited by
Year
Query rewriting for Horn-SHIQ plus rules
T Eiter, M Ortiz, M Simkus, TK Tran, G Xiao
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
1762012
Query answering in the Horn fragments of the description logics SHOIQ and SROIQ
M Ortiz, S Rudolph, M Simkus
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
1122011
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
M Ortiz, S Rudolph, M Simkus
KR, 2010
962010
Reasoning about explanations for negative query answers in DL-Lite
D Calvanese, M Ortiz, M Simkus, G Stefanoni
Journal of Artificial Intelligence Research 48, 635-669, 2013
822013
Query Answering in the Description Logic Horn-
T Eiter, G Gottlob, M Ortiz, M Šimkus
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
792008
Query Answering in Description Logics with Transitive Roles.
T Eiter, C Lutz, M Ortiz, M Simkus
IJCAI 9, 759-764, 2009
692009
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012
572012
Tractable Queries for Lightweight Description Logics.
M Bienvenu, M Ortiz, M Simkus, G Xiao
IJCAI 13, 768-774, 2013
552013
Expressiveness of guarded existential rule languages
G Gottlob, S Rudolph, M Simkus
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014
512014
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
482014
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
M Šimkus, T Eiter
Logic for Programming, Artificial Intelligence, and Reasoning, 514-530, 2007
482007
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
T Eiter, M Šimkus
ACM Transactions on Computational Logic (TOCL) 11 (2), 1-50, 2010
472010
Closed predicates in description logics: Results on combined complexity
N Ngo, M Ortiz, M Simkus
Fifteenth International Conference on the Principles of Knowledge …, 2016
462016
Answer set programming
P Bonatti, F Calimeri, N Leone, F Ricca
A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010
462010
Capturing relational schemas and functional dependencies in RDFS
D Calvanese, W Fischl, R Pichler, E Sallinger, M Simkus
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
442014
Managing change in graph-structured data using description logics
S Ahmetaj, D Calvanese, M Ortiz, M Šimkus
ACM Transactions on Computational Logic (TOCL) 18 (4), 1-35, 2017
432017
Conjunctive query answering in the description logic SH using knots
T Eiter, M Ortiz, M Šimkus
Journal of Computer and System Sciences 78 (1), 47-85, 2012
392012
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
S Ahmetaj, M Ortiz, M Simkus
IJCAI, 878-885, 2016
372016
Regular path queries in lightweight description logics: Complexity and algorithms
M Bienvenu, M Ortiz, M Simkus
Journal of Artificial Intelligence Research 53, 315-374, 2015
312015
Towards Reconciling SPARQL and Certain Answers
S Ahmetaj, W Fischl, R Pichler, M Simkus, S Skritek
The 24th International World Wide Web Conference (WWW 2015), 2015
312015
The system can't perform the operation now. Try again later.
Articles 1–20