Leif Harald Karlsen

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