Ratan Bahadur Thapa

Bilde av Ratan Bahadur Thapa
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Project

Constraints implication and satisfaction within the semantic web and technology.

Affiliated with the SIRIUS Centre:

  • PeTWIN NFR initiative for next-generation Digital Twins 
  • SIRIUS-Aibel initiative for automated support to the construction quality compliance checking against regulations within the oil, gas and offshore wind industries.

Biography

  • PhD student since 2019; under the supervision of Martin Giese and Egor Kostylev (ASR, UiO).
  • MSc in CS from 2017 to 2019; supervised by Christian Johansen and Martin Steffen (Reliable System, UiO). Partially supported by ConSeRNS as part of the Reliable System's research initiative led by Prof. Olaf Owe.
  • Soft. Eng. from 2015 to 2017 in various IT projects; and Master in Universal Design of Information and Communication Technology, OsloMet, Norway.
  • 4 yrs BSc in CS and Maths from 2010 to 2014, Tribhuvan University, Nepal.

Publikasjoner

Se alle arbeider i Cristin

  • Thapa, Ratan Bahadur & Giese, Martin (2023). Optimizing SPARQL Queries with SHACL (Extended Version). Universitetet i Oslo. Institutt for informatikk Norway. ISSN 978-82-7368-604-6. 0806-3036(504). Fulltekst i vitenarkiv
  • Thapa, Ratan Bahadur & Giese, Martin (2022). Mapping Relational Database Constraints to SHACL (Extended Version). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-603-9. 0806-3036(503). Fulltekst i vitenarkiv
  • Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-463-9. Fulltekst i vitenarkiv

Se alle arbeider i Cristin

Publisert 27. nov. 2019 15:00 - Sist endret 19. des. 2022 20:58