Leif Harald Karlsen

Førstelektor - PROG Programmering
Bilde av Leif Harald Karlsen
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 0316 Oslo

Publikasjoner

  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Kluwer, Johan Wilhelm (2021). OTTR: Formal Templates for Pattern-Based Ontology Engineering. I 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 (Red.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. s. 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. I 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 (Red.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. s. 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. Fulltekst i vitenarkiv
  • Karlsen, Leif Harald & Giese, Martin (2019). Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Geoinformatica. ISSN 1384-6175. 23(4), s. 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, s. 477–494. doi: 10.1007/978-3-030-00671-6_28. Fulltekst i vitenarkiv
  • 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, s. 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, s. 1–15. doi: 10.4230/LIPIcs.COSIT.2017.4. Fulltekst i vitenarkiv
  • Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. I Lechowski, Tomasz; Wałęga, Przemysław & Zawidzki, Michał (Red.), Proceedings of the LQMR 2015 Workshop. Polskie Towarzystwo Informatyczne. ISSN 978-83-60810-78-1. s. 21–33. doi: 10.15439/978-83-60810-78-1.

Se alle arbeider i 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. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv

Se alle arbeider i Cristin

Publisert 22. apr. 2014 16:00 - Sist endret 25. apr. 2022 15:17