Martin Giese

My complete list of publications, and downloadable versions of most of them, can be found on my personal homepage.

• Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of General Qualitative Spatial Information using Bintrees. Leibniz International Proceedings in Informatics.  ISSN 1868-8969.  86, s 1- 15 . doi: 10.4230/LIPIcs.COSIT.2017.4
• Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy; Giese, Martin; Lie, Hallstein; Ioannidis, Yannis; Kotidis, Yannis; Koubarakis, Manolis & Waaler, Arild Torolv Søetorp (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics.  ISSN 1570-8268.  44, s 3- 36 . doi: 10.1016/j.websem.2017.05.005 Full text in Research Archive.
• Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian; Giese, Martin; Ioannidis, Yannis; Lamparter, Steffen; Möller, Ralf; Kotidis, Yannis & Waaler, Arild (2017). Semantic access to streaming and static data at Siemens. Journal of Web Semantics.  ISSN 1570-8268.  44, s 54- 74 . doi: 10.1016/j.websem.2017.02.001 Full text in Research Archive.
• Klungre, Vidar Norstein & Giese, Martin (2017). A Faceted Search Index for OptiqueVQS. CEUR Workshop Proceedings.  ISSN 1613-0073.
• Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian & Brandt, Sebastian (2017). Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments.  ISSN 1876-1364.  9(1), s 77- 95 . doi: 10.3233/AIS-160415 Full text in Research Archive.
• Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein & Horrocks, Ian (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web Journal.  ISSN 1570-0844.  s 1- 28 Full text in Research Archive.
• Vega-Gorgojo, Guillermo; Giese, Martin & Slaughter, Laura (2017). Exploring semantic datasets with RDF surveyor. CEUR Workshop Proceedings.  ISSN 1613-0073.  1963, s 1- 4
• Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, In  SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings.  Society of Petroleum Engineers.  ISBN 978-1-61399-459-7.  KAPITTEL.
• Horrocks, Ian; Giese, Martin; Kharlamov, Evgeny & Waaler, Arild (2016). Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing.  ISSN 1089-7801.  20(6), s 62- 66 . doi: 10.1109/MIC.2016.121
• Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis; Lamparter, Steffen; Mailis, Theofilis P.; Neuenstadt, Christian; Özcep, Özgür; Pinkel, Christoph; Soylu, Ahmet; Svingos, Christoforos; Zheleznyakov, Dmitriy; Horrocks, Ian; Ioannidis, Yannis; Möller, Ralf & Waaler, Arild (2016). Enabling semantic access to static and streaming distributed data with optique: demo, In Avigdor Gal; Matthias Weidlich; Vana Kalogeraki & Nalini Venkasubramanian (ed.),  Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24.  ACM Publications.  ISBN 978-1-4503-4021-2.  Chapter.  s 350 - 353
• Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian; Jimenez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Özcep, Özgür; Soylu, Ahmet; Svingos, Christoforos; Xiao, Guohui; Zheleznyakov, Dmitriy; Calvanese, Diego; Horrocks, Ian; Giese, Martin; Ioannidis, Yannis; Kotidis, Yannis; Möller, Ralf & Waaler, Arild (2016). A Semantic Approach to Polystores, In James Joshi (ed.),  Proceedings 2016 IEEE International Conference on Big Data.  IEEE.  ISBN 978-1-4673-9005-7.  KAPITTEL.  s 2565 - 2573
• Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian & Horrocks, Ian (2016). Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. CEUR Workshop Proceedings.  ISSN 1613-0073.  1818, s 34- 39
• Soylu, Ahmet; Giese, Martin; Jiménez-Ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2016). Ontology-based end-user visual query formulation: Why, what, who, how, and which?. Universal Access in the Information Society.  ISSN 1615-5289.  s 1- 33 . doi: 10.1007/s10209-016-0465-0 Full text in Research Archive.
• Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür & Brandt, Sebastian (2016). A visual query system for stream data access over ontologies. Lecture Notes in Computer Science.  ISSN 0302-9743.  9989, s 161- 166 . doi: 10.1007/978-3-319-47602-5_32
• Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur & Brandt, Sebastian (2016). Domain experts surfing on stream sensor data over ontologies. CEUR Workshop Proceedings.  ISSN 1613-0073.  1588, s 11- 20
• Vega-Gorgojo, Guillermo; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). PepeSearch: Semantic Data for the masses. PLoS ONE.  ISSN 1932-6203.  11(3) . doi: 10.1371/journal.pone.0151573 Full text in Research Archive. Show summary

  With the emergence of the Web of Data, there is a need of tools for searching and exploring the growing amount of semantic data. Unfortunately, such tools are scarce and typically require knowledge of SPARQL/RDF. We propose here PepeSearch, a portable tool for searching semantic datasets devised for mainstream users. PepeSearch offers a multi-class search form automatically constructed from a SPARQL endpoint. We have tested PepeSearch with 15 participants searching a Linked Open Data version of the Norwegian Register of Business Enterprises for non-trivial challenges. Retrieval performance was encouragingly high and usability ratings were also very positive, thus suggesting that PepeSearch is effective for searching semantic datasets by mainstream users. We also assessed its portability by configuring PepeSearch to query other SPARQL endpoints.

• Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Kluwer, Johan Wilhelm & Waaler, Arild (2016). Pepesearch: Easy to use and easy to install semantic data search. Lecture Notes in Computer Science.  ISSN 0302-9743.  9989 LNCS, s 146- 150 . doi: 10.1007/978-3-319-47602-5_29
• Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild (2016). Visual query interfaces for semantic datasets: An evaluation study. Journal of Web Semantics.  ISSN 1570-8268.  39, s 81- 96 . doi: 10.1016/j.websem.2016.01.002
• Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian & Waaler, Arild (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings.  ISSN 1613-0073.  1690
• Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin (2015). Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science.  ISSN 0302-9743.  9366, s 199- 216 . doi: 10.1007/978-3-319-25007-6_12 Full text in Research Archive. Show summary

  In this paper we tackle the problem of answering SPARQL queries over virtually integrated databases. We assume that the entity resolution problem has already been solved and explicit information is available about which records in the different databases refer to the same real world entity. Surprisingly, to the best of our knowledge, there has been no attempt to extend the standard Ontology-Based Data Access (OBDA) setting to take into account these DB links for SPARQL query-answering and consistency checking. This is partly because the OWL built-in owl:sameAs property, the most natural representation of links between data sets, is not included in OWL 2 QL, the de facto ontology language for OBDA. We formally treat several fundamental questions in this context: how links over database identifiers can be represented in terms of owl:sameAs statements, how to recover rewritability of SPARQL into SQL (lost because of owl:sameAs statements), and how to check consistency. Moreover, we investigate how our solution can be made to scale up to large enterprise datasets. We have implemented the approach, and carried out an extensive set of experiments showing its scalability.

• Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter; Jimenez-Ruiz, Ernesto; Lanti, Davide; Rezk, Martin; Xiao, Guohui; Oezcep, Oezguer & Rosati, Riccardo (2015). Optique: Zooming in on Big Data. Computer.  ISSN 0018-9162.  48(3), s 60- 67 . doi: 10.1109/MC.2015.82
• Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees, In Tomasz Lechowski; Przemysław Wałęga & Michał Zawidzki (ed.),  Proceedings of the LQMR 2015 Workshop.  Polskie Towarzystwo Informatyczne.  ISBN 978-83-60810-78-1.  Artikkel nr. 3.  s 21 - 33
• Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jiménez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Ozcep, Ozgur; Pinkel, Christoph; Soylu, Ahmet; Zheleznyakov, Dmitriy; Roshchin, Mikhail; Watson, Stuart & Horrocks, Ian (2015). Semantic access to siemens streaming data: The OPTIQUE way. CEUR Workshop Proceedings.  ISSN 1613-0073.  1486
• Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Soylu, Ahmet; Xiao, Guohui; Zheleznyakov, Dmitriy; Giese, Martin; Horrocks, Ian & Waaler, Arild (2015). OPTIQUE: Ontology-based data access platform. CEUR Workshop Proceedings.  ISSN 1613-0073.  1486
• Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt & Waaler, Arild (2015). Engineering ontology-based access to real-world data sources. Journal of Web Semantics.  ISSN 1570-8268.  33, s 112- 140 . doi: 10.1016/j.websem.2015.03.002 Full text in Research Archive.
• Soylu, Ahmet & Giese, Martin (2015). Qualifying Ontology-Based Visual Query Formulation, In Troels Andreasen; Henning Christiansen; Janusz Kacprzyk; Henrik Larsen; Gabriella Pasi; Olivier Pivert; Guy De Tré; Maria Amparo; Adnan Yazici & Sławomir Zadrożny (ed.),  Flexible Query Answering Systems 2015 Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015.  Springer.  ISBN 978-3-319-26154-6.  Chapter.  s 243 - 255 Show summary

  This paper elaborates on ontology-based end-user visual query formulation, particularly for users who otherwise cannot/do not desire to use formal textual query languages to retrieve data due to the lack of technical knowledge and skills. Then, it provides a set of quality attributes and features, primarily elicited via a series of industrial end-user workshops and user studies carried out in the course of an industrial EU project, to guide the design and development of successor visual query systems.

• Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Vega, Gorgojo Guillermo & Horrocks, Ian (2015). Experiencing OptiqueVQS: A Multi-paradigm and Ontology-based Visual Query System for End Users. Universal Access in the Information Society.  ISSN 1615-5289.  15(1), s 129- 152 . doi: 10.1007/s10209-015-0404-5 Full text in Research Archive. Show summary

  Data access in an enterprise setting is a determining factor for value creation processes, such as sense-making, decision-making, and intelligence analysis. Particularly, in an enterprise setting, intuitive data access tools that directly engage domain experts with data could substantially increase competitiveness and profitability. In this respect, the use of ontologies as a natural communication medium between end users and computers has emerged as a prominent approach. To this end, this article introduces a novel ontology-based visual query system, named OptiqueVQS, for end users. OptiqueVQS is built on a powerful and scalable data access platform and has a user-centric design supported by a widget-based flexible and extensible architecture allowing multiple coordinated representation and interaction paradigms to be employed. The results of a usability experiment performed with non-expert users suggest that OptiqueVQS provides a decent level of expressivity and high usability and hence is quite promising.

• Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2015). Ontology-Based Visual Query Formulation: An Industry Experience, In George Bebis; Richard Boyle; Bahram Parvin; Darko Koracin; Ioannis Pavlidis; Rogerio Feris; Tim McGraw; Mark Elendt; Regis Kopper; Eric Ragan; Zhao Ye & Gunther Weber (ed.),  Advances in Visual Computing 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I.  Springer.  ISBN 978-3-319-27857-5.  Chapter.  s 842 - 854 Show summary

  Querying is an essential instrument for meeting ad hoc information needs; however, current approaches for querying semantic data sources mostly target technologically versed users. Hence, there is a need for methods that make it possible for users with limited technological skills to express relatively complex ad hoc information needs in an easy and intuitive way. Visual methods for query formulation undertake the challenge of making querying independent of users’ technical skills and the knowledge of the underlying textual query language and the structure of data. In this paper, we present an ontology-based visual query system, OptiqueVQS, and report user experiments in two industrial settings.

• Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2015). OptiqueVQS: Ontology-based visual querying. CEUR Workshop Proceedings.  ISSN 1613-0073.  1456, s 91- 96
• Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin (2014). Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  3
• Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2014). Towards Exploiting Query History for Adaptive Ontology-based Visual Query Formulation. Communications in Computer and Information Science.  ISSN 1865-0929.  478, s 107- 119 . doi: 10.1007/978-3-319-13674-5_11
• Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2014). Why not simply Google?, In Thomas Olsson & Ebba Þóra Hvannberg (ed.),  NordiCHI '14 : Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, Oct 26-30 2014, Helsinki, Finland.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-2542-4.  Chapter.  s 1039 - 1042
• Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2014). OptiqueVQS: Visual Query Formulation for OBDA. CEUR Workshop Proceedings.  ISSN 1613-0073.  1193, s 725- 728
• Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Ruzzi, Marco; Savo, Domenico Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild & Zheleznyakov, Dmitriy (2013). The Optique Project: Towards OBDA Systems for Industry. CEUR Workshop Proceedings.  ISSN 1613-0073.  1080
• Cuenca grau, Bernardo; Giese, Martin; Horrocks, Ian; Hubauer, Thomas; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Schmidt, Michael; Soylu, Ahmet & Zheleznyakov, Dmitriy (2013). Towards Query Formulation and Query-Driven Ontology Extensions in OBDA Systems. CEUR Workshop Proceedings.  ISSN 1613-0073.
• Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schlatte, Rudolf; Schmidt, Michael; Soylu, Ahmet & Waaler, Arild (2013). Scalable End-user Access to Big Data, In Rajendra Akerkar (ed.),  Big Data Computing.  Taylor & Francis.  ISBN 978-1-46-657837-1.  Section II.
• Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schmidt, Michael; Schlatte, Rudolf; Soylu, Ahmet & Waaler, Arild (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science.  ISSN 0302-9743.  7955, s 125- 140 . doi: 10.1007/978-3-642-41242-4_11
• Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Kluwer, Johan Wilhelm; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Nordveit, Toralv; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Savo, Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild & Zheleznyakov, Dmitriy (2013). Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science.  ISSN 0302-9743.  7955, s 293- 295 . doi: 10.1007/978-3-642-41242-4_48
• Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian (2013). OptiqueVQS—Towards an Ontology-based Visual Query System for Big Data, In Latif Ladid; Antonio Montes; Peter A. Bruck; Fernando Ferri & Richard Chbeir (ed.),  Fifth International Conference on Management of Emergent Digital EcoSystems, MEDES '13, Luxembourg, Luxembourg, October 29-31, 2013.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-2004-7.  artikkel.  s 119 - 126
• Soylu, Ahmet; Skjæveland, Martin G; Giese, Martin; Horrocks, Ian; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny & Zheleznyakov, Dmitriy (2013). A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data, In Emmanouel Garoufallou & Jane Greenberg (ed.),  Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings.  Springer.  ISBN 978-3-319-03436-2.  Chapter.  s 201 - 212
• Giese, Martin; Ornæs, Jens I.; Overå, Lars; Svensson, Inge & Waaler, Arild (2012). Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports, In Sanjay Kanvinde (ed.),  SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands.  Society of Petroleum Engineers.  ISBN 978-1-61399-191-6.  SPE 150225.
• Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation.  ISSN 0747-7171.  47(9), s 1046- 1065 . doi: 10.1016/j.jsc.2011.12.032 Show summary

  The variable splitting method for free-variable tableau calculi provides an admissibility condition under which the same free variables can be assigned values independently on different branches. While this has a large potential for automated proof search, a direct implementation of this condition is impractical. We adapt the incremental closure framework for free variables to variable splitting tableaux by recasting the admissibility condition for closing substitutions into a constraint satisfaction problem. The resulting mechanism allows to check the existence of an admissible closing substitution incrementally during the construction of a proof. We specify a rule-based algorithm for testing satisfiability of constraints that accounts for split variables, and present experimental results based on a prototype variable splitting theorem prover implementation measuring the computational overhead of the variable splitting framework.

• Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  s 25- 36 Full text in Research Archive.
• Giese, Martin & Bratvold, Reidar B (2011). Probabilistic Modeling for Decision Support in Integrated Operations. SPE Economics & Management.  ISSN 2150-1173.  3(3), s 173- 185 . doi: 10.2118/127761-PA
• Ivanovska, Magdalena & Giese, Martin (2011). A Logic-based Approach to Decision Making, In  Norsk Informatikkonferanse NIK 2011.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  Article No 6.  s 61 - 72
• Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin & Rümmer, Philipp (2010). Practical Aspects of Automated Deduction for Program Verification. Künstliche Intelligenz.  ISSN 0933-1875.  24(1), s 43- 49 . doi: 10.1007/s13218-010-0001-y Show summary

  Software is vital for modern society. It is used in many safety- or security-critical applications, where a high degree of correctness is desirable. Over the last years, technologies for the formal specification and verification of software—using logic-based specification languages and automated deduction—have matured and can be expected to complement and partly replace traditional software engineering methods in the future. Program verification is an increasingly important application area for automated deduction. The field has outgrown the area of academic case studies, and industry is showing serious interest. This article describes the aspects of automated deduction that are important for program verification in practise, and it gives an overview of the reasoning mechanisms, the methodology, and the architecture of modern program verification systems.

• Giese, Martin & Bratvold, Reidar B (2010). Probabilistic Modeling for Decision Support in Integrated Operations, In Helen Ratcliffe (ed.),  2010 SPE Intelligent Energy Conference & Exhibition: Delivering Value - Creating Opportunities.  Society of Petroleum Engineers.  ISBN 978-1-55563-284-7.  SPE 127761. Show summary

  We report work carried out within the CODIO project on COllaborative Decision support for Integrated Operations. As one part of this project, we have designed a system to provide assistance in operational decisions based on real-time sensor readings in a typical scenario: while drilling close to the transition to a high-pressure formation, a gas influx is observed. The drilling team needs to decide whether to circulate, increase the mud weight, plug back, set a casing, etc. After a brief description of the technology we used to model decision problems (Bayesian Networks, Influence Diagrams), we describe our case study and go on to apply the method of decision analysis to it. We discuss how the resulting influence diagram was tested using a simulation, and discuss challenges in applying the technology, as well as lessons learnt underway. We also give a list of desiderata to establish better decision making practices in the petroleum industry.

• Ivanovska, Magdalena & Giese, Martin (2010). Probabilistic Logic with Conditional Independence Formulae. Frontiers in Artificial Intelligence and Applications.  ISSN 0922-6389.  215, s 983- 984 . doi: 10.3233/978-1-60750-606-5-983
• Ivanovska, Magdalena & Giese, Martin (2010). Probabilistic Logic with Conditional Independence Formulae, In Thomas Ågotnes (ed.),  STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium.  IOS Press.  ISBN 978-1-60750-675-1.  article.  s 127 - 139

View all works in Cristin

• Gao, Jerry; Giese, Martin & Zeng, Yifeng (2016). 2016 IEEE Second International Conference on Big Data Computing Service and Applications (BigDataService 2016). IEEE.  ISBN 978-1-5090-2251-9.  300 s.
• Giese, Martin & Waaler, Arild (ed.) (2009). Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. Springer.  ISBN 978-3-642-02715-4.  341 s.

View all works in Cristin

• Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 460. Full text in Research Archive.
• Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 467. Full text in Research Archive.
• Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration.
• Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Özcep, Özgür; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian & Horrocks, Ian (2016). Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. CEUR Workshop Proceedings.  ISSN 1613-0073.  1818
• Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin (2014). Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case.
• Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
• Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
• Giese, Martin & Waaler, Arild (2013). Optique - Scalable End-user Access to Big Data.
• Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet; Zheleznyakov, Dmitriy; Bagosi, Timea; Console, Marco; Haase, Peter; Horrocks, Ian; Marciuska, Sarunas; Pinkel, Christoph; Rodriguez-muro, Mariano; Ruzzi, Marco; Santarelli, Valerio; Fabio Savo, Domenico; Sengupta, Kunal; Schmidt, Michael; Thorstensen, Evgenij; Trame, Johannes & Waaler, Arild (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
• Giese, Martin (2012). A Calculus for Type Predicates and Type Coercion.
• Giese, Martin (2012). Fra Aristoteles til Web 3.0!.
• Giese, Martin (2012). Fra Aristoteles til Web 3.0.
• Giese, Martin (2012). Linked Data or Queryable Data?—Are five stars enough?.
• Giese, Martin & Ivanovska, Magdalena (2012). Logics for Decision Making.
• Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Full text in Research Archive.
• Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions. Show summary

  We define a probabilistic propositional logic for making a finite, ordered sequence of decisions under uncertainty by extending an existing probabilistic propositional logic with expectation and utility-independence formulae. The language has a relatively simple model semantics, and it allows a similarly compact representation of decision problems as influence diagrams. We present a calculus and show that it is complete at least for the type of reasoning possible with influence diagrams.

• Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions.
• Giese, Martin (2011). Fra Aristoteles til Web 3.0.
• Giese, Martin (2011). Quality Criteria for ISO15926-8 Compliant Installation Descriptions.
• Giese, Martin (2011). Quality Criteria for ISO15926-8 Compliant Installation Descriptions.
• Giese, Martin (2011). Tutorial: "Semantic Technology".
• Giese, Martin; Ireland, A & Kovacs, L (2010). Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops Introduction. Journal of symbolic computation.  ISSN 0747-7171.  45(11), s 1097- 1100 . doi: 10.1016/j.jsc.2010.06.002
• Giese, Martin & Waaler, Arild (ed.) (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 387.

View all works in Cristin