"False"
Hoppa direkt till innehållet
umu.se
För studenter
Bibliotek
För medarbetare
Logga in
Student
Se ditt schema och dina kurser
Redigera
Redigera innehåll på umu.se
English site
Sök
Meny
X stäng menyn
Meny
Sök
Sök inom:
Sök inom:
Allt
Utbildning
Forskning
Personal
Studentwebb
Nyheter
Medarbetarwebb
Andra söktjänster
Hitta kurser och program
Sök kursplan
Sök välkomstbrev
Bibliotekets söktjänst
Huvudmenyn dold.
Logga in
Student
Se ditt schema och dina kurser
Redigera
Redigera innehåll på umu.se
English
Mantas Simkus
Personal page: www.simkus.info
Kontakt
E-post
mantas.simkus@umu.se
Telefon
Verksam vid
Anknytning
Universitetslektor vid
Institutionen för datavetenskap
Plats
MIT-huset, Umeå universitet, MIT.A.407
Umeå universitet, 901 87 Umeå
Publikationer
Publikationer
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
Visa publikationer i DiVA
+ Visa mer
- Visa mindre