"False"
Skip to content
umu.se
For students
Library
For staff
Login
Students
View your schedule and courses
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
Staff web
Other search services
Find courses and programmes
Library search tool
Search the legal framework
Main menu hidden.
Login
Students
View your schedule and courses
Edit
Edit content at umu.se
Svenska
Mantas Simkus
Contact
E-mail
mantas.simkus@umu.se
Phone
Works at
Affiliation
Associate professor at
Department of Computing Science
Location
MIT-huset, Umeå universitet, MIT.A.407
Umeå universitet, 901 87 Umeå
Publications
Publications
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