Follow
Leif Harald Karlsen
Leif Harald Karlsen
Senior Lecturer in Computer Science, University of Oslo
Verified email at ifi.uio.no - Homepage
Title
Cited by
Cited by
Year
Practical ontology pattern instantiation, discovery, and maintenance with reasonable ontology templates
MG Skjæveland, DP Lupp, LH Karlsen, H Forssell
The Semantic Web–ISWC 2018: 17th International Semantic Web Conference …, 2018
662018
CEI-et sosialt taktisk rapporteringssystem: Teknisk beskrivelse av Android klient for smarttelefon og nettbrettstøttet til CEI-systemet
LH Karlsen, BK Reitan
Forsvarets forskningsinstitutt (FFI), FFI-notat 526, 2014, 2014
112014
OTTR: Formal templates for pattern-based ontology engineering
MG Skjæveland, DP Lupp, LH Karlsen, JW Klüwer
Advances in Pattern-Based Ontology Engineering, 349-377, 2021
102021
Geological multi-scenario reasoning
CC Din, LH Karlsen, I Pene, O Stahl, IC Yu, T Østerlie
NIK: Norsk Informatikkonferanse, 2019
102019
Subsurface evaluation through multi-scenario reasoning
IC Yu, I Pene, CC Din, LH Karlsen, CM Nguyen, O Stahl, A Latif
Interactive Data Processing and 3D Visualization of the Solid Earth, 325-355, 2022
52022
Qualitatively correct bintrees: an efficient representation of qualitative spatial information
LH Karlsen, M Giese
GeoInformatica 23 (4), 689-731, 2019
52019
Terse syntax for reasonable ontology templates (stOTTR)
MG Skjæveland, LH Karlsen
URL: https://dev. spec. ottr. xyz/stOTTR/.[Online, 2022
42022
A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees.
LH Karlsen, M Giese
LQMR@ FedCSIS, 21-33, 2015
42015
An Efficient Representation of Qualitative Spatial Information using Bintrees
LH Karlsen, M Giese
Department of Informatics, University of Oslo, 2017
32017
Description logic 1: Syntax and semantics
LH Karlsen
22015
pOTTR: Reasonable Ontology Templates Fundamentals.[Online; accessed 9. May 2022]. Apr. 2020
DLMGS Leif, H Karlsen
URL: https://primer. ottr. xyz/01-basics. html, 0
2
mOTTR: Concepts and Abstract Model for Reasonable Ontology Templates.[Online; accessed 25. Apr. 2022]. Mar. 2019
MGSLH Karlsen
URL: https://spec. ottr. xyz/mOTTR/0.1, 0
2
Reusable Ontology Modelling Patterns for Biodiversity Data with Reasonable Ontology Templates (OTTR)
L Slaughter, LH Karlsen, E Kallioniemi, M Skjæveland
Biodiversity Information Science and Standards 6, e93939, 2022
12022
Making a Case for Formal Relations over Ontology Patterns.
DP Lupp, LH Karlsen, MG Skjæveland
WOP@ ISWC, 87-91, 2018
12018
An Efficient Representation of General Qualitative Spatial Information Using Bintrees
LH Karlsen, M Giese
13th International Conference on Spatial Information Theory (COSIT 2017), 2017
12017
Qualitatively correct bintrees with roles
LH Karlsen, M Giese
Research report http://urn. nb. no/URN: NBN: no-35645, 2017
12017
A Study In Monads
LH Karlsen
12013
Foundations of Ontology Template Language OTTR
E Snilsberg, LH Karlsen, EV Kostylev, MG Skjæveland
Description Logics, 2024
2024
Lore: Educational Deductive Database System
LH Karlsen
International Joint Conference on Rules and Reasoning, 141-156, 2023
2023
Formal Relations over Ontology Patterns in Templating Frameworks
C Kindermann, DP Lupp, MG Skjæveland, LH Karlsen
Advances in Pattern-Based Ontology Engineering, 120-133, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20