"False"
Umeå University
printicon
Main menu hidden.

Mantas Simkus

Contact

E-mail
mantas.simkus@umu.se
Phone

Works at

Affiliation
Affiliated as other position at Department of Computing Science
Location
MIT-huset, Umeå universitet Umeå universitet, 901 87 Umeå
Stable model semantics for description logic terminologies
Proceedings of the 38th AAAI conference on artificial intelligence, Association for the Advancement of Artificial Intelligence 2024 : 10484-10492
Di Stefano, Federica; Šimkus, Mantas
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
Artificial Intelligence, Elsevier 2024, Vol. 330
Lukumbuzya, Sanja; Ortiz, Magdalena; Šimkus, Mantas
SHACL Validation under the Well-founded Semantics
KR '24: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, Association for the Advancement of Artificial Intelligence 2024 : 553-562
Okulmus, Cem; Šimkus, Mantas
Stable model semantics for description logic terminologies (extended abstract)
Description Logics 2024: Proceedings of the 37th International Workshop on Description Logics (DL 2024)
Stefano, Federica Di; Šimkus, Mantas
Reconciling SHACL and ontologies: semantics and validation via rewriting
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Ahmetaj, Shqiponja; Ortiz, Magdalena; Oudshoorn, Anouk M.; et al.
Reconciling SHACL and ontologies: semantics and validation via rewriting
ECAI 2023, IOS Press 2023 : 27-35
Ahmetaj, Shqiponja; Ortiz, Magdalena; Oudshoorn, Anouk; et al.
Circumscription in DL-Lite: progress report
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Bonatti, Piero; Di Stefano, Federica; Ortiz, Magdalena; et al.
On the way to temporal OBDA systems
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023)
Calvanese, Diego; Okulmus, Cem; Ortiz, Magdalena; et al.
Description logics with pointwise circumscription
Proceedings of the thirty-second international joint conference on artificial intelligence, International Joint Conferences on Artificial Intelligence 2023 : 3167-3175
Di Stefano, Federica; Ortiz, Magdalena; Šimkus, Mantas
Semantic querying of integrated raster and relational data: a virtual knowledge graph approach
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 (RuleML+RR-Companion 2023), Oslo, Norway, 18 - 20 September, 2023
Ghosh, Arka; Šimkus, Mantas; Calvanese, Diego
On the expressive power of ontology-mediated queries: capturing coNP
Proceedings of the 36th international workshop on Description Logics (DL 2023)
Lukumbuzya, Sanja; Ortiz, Magdalena; Šimkus, Mantas
Towards techniques for updating virtual knowledge graphs
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 (RuleML+RR-Companion 2023), Oslo, Norway, 18 - 20 September, 2023
Wandji, Romuald Esdras; Šimkus, Mantas; Calvanese, Diego
Repairing SHACL constraint violations using answer set programming
The Semantic Web –ISWC 2022: 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022 : Proceedings, Springer 2022 : 375-391
Ahmetaj, Shqiponja; David, Robert; Polleres, Axel; et al.
Magic Shapes for SHACL Validation
Proceedings of the VLDB Endowment, Association for Computing Machinery (ACM) 2022, Vol. 15, (10) : 2284-2296
Ahmetaj, Shqiponja; Löhnert, Bianca; Ortiz, Magdalena; et al.
Well-founded Semantics for Recursive SHACL
CEUR Workshop Proceedings : 2-13
Chmurovic, Adrian; Šimkus, Mantas
Pointwise circumscription in description logics
Proceedings of the 35th International Workshop on Description Logics (DL 2022)
Di Stefano, Federica; Ortiz, Magdalena; Šimkus, Mantas
View publications in DiVA