Sledovat
Leif Harald Karlsen
Leif Harald Karlsen
Senior Lecturer in Computer Science, University of Oslo
E-mailová adresa ověřena na: ifi.uio.no - Domovská stránka
Název
Citace
Citace
Rok
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
692018
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
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), 4 …, 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
The Reasonable Ontology Templates Framework
MG Skjæveland, LH Karlsen
Transactions on Graph Data and Knowledge 2 (2), 5: 1-5: 54, 2024
2024
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
LIPIcs, Volume 86, COSIT'17, Complete Volume}}
E Clementini, M Donnelly, M Yuan, C Kray, P Fogliaroni, A Ballatore, ...
13th International Conference on Spatial Information Theory (COSIT 2017) 86, 0, 2017
2017
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20