Mantas Šimkus
Mantas Šimkus
Vienna University of Technology
Verifierad e-postadress på dbai.tuwien.ac.at - Startsida
Titel
Citeras av
Citeras av
År
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
1452012
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
962011
Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2
M Ortiz, S Rudolph, M Simkus
Twelfth International Conference on the Principles of Knowledge …, 2010
762010
Query Answering in the Description Logic Horn-
T Eiter, G Gottlob, M Ortiz, M Šimkus
European Workshop on Logics in Artificial Intelligence, 166-179, 2008
692008
Query answering in description logics with transitive roles
T Eiter, C Lutz, M Ortiz, M Simkus
Twenty-First International Joint Conference on Artificial Intelligence, 2009
612009
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
522013
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web International Summer School, 1-53, 2012
422012
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
T Eiter, M Šimkus
ACM Transactions on Computational Logic (TOCL) 11 (2), 1-50, 2010
422010
: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
M Šimkus, T Eiter
International Conference on Logic for Programming Artificial Intelligence …, 2007
422007
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
M Šimkus, T Eiter
Logic for Programming, Artificial Intelligence, and Reasoning, 514-530, 2007
42*2007
Tractable queries for lightweight description logics
M Bienvenu, M Ortiz, M Simkus, G Xiao
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
382013
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
372014
Answer set programming
P Bonatti, F Calimeri, N Leone, F Ricca
A 25-year perspective on logic programming, 159-182, 2010
362010
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
312017
Closed predicates in description logics: Results on combined complexity
N Ngo, M Ortiz, M Simkus
Fifteenth International Conference on the Principles of Knowledge …, 2016
302016
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
302014
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
302012
Capturing relational schemas and functional dependencies in RDFS
D Calvanese, W Fischl, R Pichler, E Sallinger, M Simkus
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
292014
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
S Ahmetaj, M Ortiz, M Simkus
IJCAI, 878-885, 2016
282016
Conjunctive Regular Path Queries in Lightweight Description Logics
M Bienvenu, M Ortiz, M Šimkus
IJCAI 2013, 2013
262013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20