Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-17 of 17

2023
1 Karlsen, Leif Harald.
Lore: Educational Deductive Database System. Lecture Notes in Computer Science (LNCS) 2023
UiO Untitled
 
2022
2 Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang; Karlsen, Leif Harald; Nguyen, Chi Mai; Stahl, Oliver; Latif, Adnan.
Subsurface Evaluation Through Multi-scenario Reasoning. I: Interactive Data Processing and 3D Visualization of the Solid Earth. Springer Nature 2022 ISBN 978-3-030-90715-0. p. 325-355
UiO Untitled
 
2021
3 Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G; Karlsen, Leif Harald.
Formal Relations over Ontology Patterns in Templating Frameworks. I: Advances in Pattern-Based Ontology Engineering. IOS Press 2021 ISBN 978-1-64368-174-0. p. 120-133
UiO Untitled
 
4 Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald; Kluwer, Johan Wilhelm.
OTTR: Formal Templates for Pattern-Based Ontology Engineering. I: Advances in Pattern-Based Ontology Engineering. IOS Press 2021 ISBN 978-1-64368-174-0. p. 349-377
UiO Untitled
 
2020
5 Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald.
Pattern-based knowledge base construction. International Semantic Web Conference 2020; 2020-11-02 - 2020-11-06
UiO Untitled
 
2019
6 Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh; Østerlie, Thomas.
Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning 2019 p. -
UiO NTNU Untitled
 
7 Karlsen, Leif Harald; Giese, Martin.
Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Geoinformatica 2019 ;Volume 23.(4) p. 689-731
UiO Untitled
 
8 Skjæveland, Martin G; Karlsen, Leif Harald; Lupp, Daniel P..
IOF Workshops 2019 Tutorial: Ontology patterns in practice. International Industrial Ontologies Foundry Workshop; 2019-02-04
UiO Untitled
 
9 Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald; Hodkiewicz, M. R..
Scalable Construction of Sustainable Knowledge Bases - Full day tutorial.. International Semantic Web Conference 2019; 2019-10-26
UiO Untitled
 
2018
10 Karlsen, Leif Harald.
A simple, General and Efficient Representation of Qualitative Spatial Information; An Approach Based on Bintrees. : Series of dissertations submitted ti the Faculty of Mathematics and Natural Sciences, University of Oslo 2018 146 p. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo.(2042)
UiO Untitled
 
11 Lupp, Daniel Paul; Karlsen, Leif Harald; Skjæveland, Martin G.
Making a Case for Formal Relations over Ontology Patterns. CEUR Workshop Proceedings 2018 ;Volume 2195. p. 87-91
UiO Untitled
 
12 Skjæveland, Martin G; Karlsen, Leif Harald; Lupp, Daniel P..
Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. CEUR Workshop Proceedings 2018 ;Volume 2180.
UiO Untitled
 
13 Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald; Forssell, Jon Henrik.
Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11136. p. 477-494
UiO Untitled
 
2017
14 Karlsen, Leif Harald; Giese, Martin.
An Efficient Representation of General Qualitative Spatial Information using Bintrees. Leibniz International Proceedings in Informatics 2017 ;Volume 86. p. 1-15
UiO Untitled
 
15 Karlsen, Leif Harald; Giese, Martin.
An Efficient Representation of Qualitative Spatial Information using Bintrees. : Department of Informatics, University of Oslo 2017 (ISBN 978-82-7368-425-7) 14 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(460)
UiO Untitled
 
16 Karlsen, Leif Harald; Giese, Martin.
Qualitatively Correct Bintrees With Roles. : Department of Informatics, University of Oslo 2017 (ISBN 978-82-7368-432-5) 14 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(467)
UiO Untitled
 
2015
17 Karlsen, Leif Harald; Giese, Martin.
A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. I: Proceedings of the LQMR 2015 Workshop. : Polskie Towarzystwo Informatyczne 2015 ISBN 978-83-60810-78-1. p. 21-33
UiO Untitled