A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. - Leif Harald Karlsen; Martin Giese (LQMR@FedCSIS, 2015)

An Efficient Representation of General Qualitative Spatial Information Using Bintrees. - Leif Harald Karlsen; Martin Giese (COSIT, 2017)

Making a Case for Formal Relations over Ontology Patterns. - Daniel P. Lupp; Leif Harald Karlsen; Martin G. Skjæveland (WOP@ISWC, 2018)

Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. - Martin G. Skjæveland; Leif Harald Karlsen; Daniel P. Lupp (ISWC (P&D/Industry/BlueSky), 2018)

Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. - Martin G. Skjæveland; Daniel P. Lupp; Leif Harald Karlsen; Henrik Forssell (ISWC (1), 2018)

Geological Multi-scenario Reasoning. - Crystal Chang Din; Leif Harald Karlsen; Irina Pene; Oliver Stahl; Ingrid Chieh Yu; Thomas Østerlie (NIK, 2019)

Qualitatively correct bintrees: an efficient representation of qualitative spatial information. - Leif Harald Karlsen; Martin Giese (GeoInformatica, 2019)

Formal Relations over Ontology Patterns in Templating Frameworks. - Christian Kindermann; Daniel P. Lupp; Martin G. Skjæveland; Leif Harald Karlsen (WOP (Book), 2021)

OTTR: Formal Templates for Pattern-Based Ontology Engineering. - Martin G. Skjæveland; Daniel P. Lupp; Leif Harald Karlsen; Johan W. Klüwer (WOP (Book), 2021)

Lore: Educational Deductive Database System. - Leif Harald Karlsen (RuleML+RR, 2023)

Foundations of Ontology Template Language OTTR (Extended Abstract). - Erik Snilsberg; Leif Harald Karlsen; Egor V. Kostylev; Martin G. Skjæveland (Description Logics, 2024)

The Reasonable Ontology Templates Framework. - Martin Georg Skjæveland; Leif Harald Karlsen (TGDK, 2024)