Leif Harald Karlsen

According to our database, Leif Harald Karlsen authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Lore: Educational Deductive Database System.

Leif Harald Karlsen

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

2021

OTTR: Formal Templates for Pattern-Based Ontology Engineering.

Martin G. Skjæveland, Daniel P. Lupp, Leif Harald Karlsen, Johan W. Klüwer

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

Formal Relations over Ontology Patterns in Templating Frameworks.

Christian Kindermann, Daniel P. Lupp, Martin G. Skjæveland, Leif Harald Karlsen

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

2019

Qualitatively correct bintrees: an efficient representation of qualitative spatial information.

Leif Harald Karlsen, Martin Giese

GeoInformatica, 2019

Geological Multi-scenario Reasoning.

Crystal Chang Din, Leif Harald Karlsen, Irina Pene, Oliver Stahl, Ingrid Chieh Yu, Thomas Østerlie

Proceedings of the 32nd Norsk Informatikkonferanse, 2019

2018

Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates.

Martin G. Skjæveland, Daniel P. Lupp, Leif Harald Karlsen, Henrik Forssell

Proceedings of the Semantic Web - ISWC 2018, 2018

Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper.

Martin G. Skjæveland, Leif Harald Karlsen, Daniel P. Lupp

Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

Making a Case for Formal Relations over Ontology Patterns.

Daniel P. Lupp, Leif Harald Karlsen, Martin G. Skjæveland

Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) co-located with 17th International Semantic Web Conference (ISWC 2018), 2018

2017

An Efficient Representation of General Qualitative Spatial Information Using Bintrees.

Leif Harald Karlsen, Martin Giese

Proceedings of the 13th International Conference on Spatial Information Theory, 2017

2015

A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees.

Leif Harald Karlsen, Martin Giese

Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), 2015