Leif Harald Karlsen
Orcid: 0000-0001-5131-5246
According to our database1,
Leif Harald Karlsen
authored at least 12 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
1
2
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
2023
Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023
2021
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021
Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021
2019
Qualitatively correct bintrees: an efficient representation of qualitative spatial information.
GeoInformatica, 2019
Proceedings of the 32nd Norsk Informatikkonferanse, 2019
2018
Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates.
Proceedings of the Semantic Web - ISWC 2018, 2018
Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper.
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
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.
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.
Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), 2015