|
|
Norsk
versjon
In order to register data in Cristin, you must be an academic or administrative employee.
|
|
|
|
|
|
|
|
|
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
|
|