"False"
Skip to content
umu.se
For students
Library
For staff
Login
Students
All students must change their password since 7 May.
Edit
Edit content at umu.se
Svensk webbplats
Search
Menu
X close menu
Menu
Search
Search within:
Search within:
All
Education
Research
Staff
Student web
News
Other search services
Find courses and programmes
Library search tool
Search the legal framework
Main menu hidden.
Login
Students
All students must change their password since 7 May.
Edit
Edit content at umu.se
Svenska
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, MIT.A.407
Umeå universitet, 901 87 Umeå
Publications
Publications
2024
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
2024
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
Artificial Intelligence
, Elsevier 2024, Vol. 330
Lukumbuzya, Sanja; Ortiz, Magdalena; Šimkus, Mantas
2024
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
2023
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.
2023
Reconciling SHACL and ontologies: semantics and validation via rewriting
ECAI 2023
, IOS Press 2023 : 27-35
Ahmetaj, Shqiponja; Ortiz, Magdalena; Oudshoorn, Anouk; et al.
2023
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.
2023
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.
2023
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
2023
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
2023
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
2023
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
2022
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.
2022
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.
2022
Well-founded Semantics for Recursive SHACL
CEUR Workshop Proceedings
: 2-13
Chmurovic, Adrian; Šimkus, Mantas
2022
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
+ Show more
- Show less