Leif Harald Karlsen

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Spatial Information

Extended Abstract

Ontology Engineering

Owl Dl Ontologies

Top Venues

Description Logics

Publications

Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev, Martin G. Skjæveland
Foundations of Ontology Template Language OTTR (Extended Abstract). Description Logics (2024)
Leif Harald Karlsen
Lore: Educational Deductive Database System. RuleML+RR (2023)
Christian Kindermann, Daniel P. Lupp, Martin G. Skjæveland, Leif Harald Karlsen
Formal Relations over Ontology Patterns in Templating Frameworks. WOP (Book) (2021)
Martin G. Skjæveland, Daniel P. Lupp, Leif Harald Karlsen, Johan W. Klüwer
OTTR: Formal Templates for Pattern-Based Ontology Engineering. WOP (Book) (2021)
Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie
Geological Multi-scenario Reasoning. NIK (2019)
Leif Harald Karlsen, Martin Giese
Qualitatively correct bintrees: an efficient representation of qualitative spatial information. GeoInformatica 23 (4) (2019)
Daniel P. Lupp, Leif Harald Karlsen, Martin G. Skjæveland
Making a Case for Formal Relations over Ontology Patterns. WOP@ISWC (2018)
Martin G. Skjæveland, Daniel P. Lupp, Leif Harald Karlsen, Henrik Forssell
Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. ISWC (1) (2018)
Martin G. Skjæveland, Leif Harald Karlsen, Daniel P. Lupp
Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. ISWC (P&D/Industry/BlueSky) (2018)
Leif Harald Karlsen, Martin Giese
An Efficient Representation of General Qualitative Spatial Information Using Bintrees. COSIT (2017)
Leif Harald Karlsen, Martin Giese
A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. LQMR@FedCSIS (2015)