Leif Harald Karlsen

Senior Lecturer - Programming
Image of Leif Harald Karlsen
Norwegian version of this page
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 0316 Oslo

Publications

  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Kluwer, Johan Wilhelm (2021). OTTR: Formal Templates for Pattern-Based Ontology Engineering. In Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke; Mutharaju, Raghava; Poveda-Villalon, Maria; Shimizu, Cogan; Skjæveland, Martin G; Solanki, Monika; Svátek, Vojtěch & Zhou, Lu (Ed.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. p. 349–377. doi: %2010.3233/SSW210025.
  • Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G & Karlsen, Leif Harald (2021). Formal Relations over Ontology Patterns in Templating Frameworks. In Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke; Mutharaju, Raghava; Poveda-Villalon, Maria; Shimizu, Cogan; Skjæveland, Martin G; Solanki, Monika; Svátek, Vojtěch & Zhou, Lu (Ed.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. p. 120–133. doi: %2010.3233/SSW210010.
  • Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas (2019). Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. Full text in Research Archive
  • Karlsen, Leif Harald & Giese, Martin (2019). Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Geoinformatica. ISSN 1384-6175. 23(4), p. 689–731. doi: 10.1007/s10707-019-00348-z.
  • Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P. (2018). Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. CEUR Workshop Proceedings. ISSN 1613-0073. 2180.
  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Forssell, Jon Henrik (2018). Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11136, p. 477–494. doi: 10.1007/978-3-030-00671-6_28. Full text in Research Archive
  • Lupp, Daniel Paul; Karlsen, Leif Harald & Skjæveland, Martin G (2018). Making a Case for Formal Relations over Ontology Patterns. CEUR Workshop Proceedings. ISSN 1613-0073. 2195, p. 87–91.
  • Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of General Qualitative Spatial Information using Bintrees. Leibniz International Proceedings in Informatics. ISSN 1868-8969. 86, p. 1–15. doi: 10.4230/LIPIcs.COSIT.2017.4. Full text in Research Archive
  • Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. In Lechowski, Tomasz; Wałęga, Przemysław & Zawidzki, Michał (Ed.), Proceedings of the LQMR 2015 Workshop. Polskie Towarzystwo Informatyczne. ISSN 978-83-60810-78-1. p. 21–33. doi: 10.15439/978-83-60810-78-1.

View all works in Cristin

  • Skjæveland, Martin G; Lupp, Daniel P. & Karlsen, Leif Harald (2020). Pattern-based knowledge base construction.
  • Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P. (2019). IOF Workshops 2019 Tutorial: Ontology patterns in practice.
  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Hodkiewicz, M. R. (2019). Scalable Construction of Sustainable Knowledge Bases - Full day tutorial.
  • Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Department of Informatics, University of Oslo. ISSN 978-82-7368-432-5. Full text in Research Archive
  • Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Department of Informatics, University of Oslo. ISSN 978-82-7368-425-7. Full text in Research Archive

View all works in Cristin

Published Apr. 22, 2014 4:01 PM - Last modified Apr. 25, 2022 3:18 PM