Folgen
Mantas Šimkus
Mantas Šimkus
Institute of Logic and Computation, TU Wien, Austria
Bestätigte E-Mail-Adresse bei dbai.tuwien.ac.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Query rewriting for Horn-SHIQ plus rules
T Eiter, M Ortiz, M Simkus, TK Tran, G Xiao
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 726-733, 2012
1962012
The biggest business process management problems to solve before we die
I Beerepoot, C Di Ciccio, HA Reijers, S Rinderle-Ma, W Bandara, ...
Computers in Industry 146, 103837, 2023
1452023
Query answering in the Horn fragments of the description logics SHOIQ and SROIQ
M Ortiz, S Rudolph, M Simkus
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
1172011
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
1042010
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
882013
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
842008
Reasoning and query answering in description logics
M Ortiz, M Šimkus
Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012
722012
Query Answering in Description Logics with Transitive Roles.
T Eiter, C Lutz, M Ortiz, M Simkus
IJCAI 9, 759-764, 2009
712009
Closed predicates in description logics: Results on combined complexity
N Ngo, M Ortiz, M Simkus
Fifteenth International Conference on the Principles of Knowledge …, 2016
602016
Tractable Queries for Lightweight Description Logics.
M Bienvenu, M Ortiz, M Simkus, G Xiao
IJCAI 13, 768-774, 2013
572013
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
542014
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
532014
Answer set programming
P Bonatti, F Calimeri, N Leone, F Ricca
A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010
532010
Ontologies and data management: a brief survey
T Schneider, M Šimkus
KI-Künstliche Intelligenz 34 (3), 329-353, 2020
522020
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
T Eiter, M Šimkus
ACM Transactions on Computational Logic (TOCL) 11 (2), 1-50, 2010
502010
: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
M Šimkus, T Eiter
International Conference on Logic for Programming Artificial Intelligence …, 2007
492007
Stable model semantics for recursive SHACL
M Andresel, J Corman, M Ortiz, JL Reutter, O Savkovic, M Simkus
Proceedings of The Web Conference 2020, 1570-1580, 2020
442020
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
442017
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
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
422012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20