Martin Giese

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

• Mumtaz, Summaya & Giese, Martin (2021). Hierarchy-based semantic embeddings for single-valued & multi-valued categorical variables. Journal of Intelligent Information Systems. ISSN 0925-9902. doi: 10.1007/s10844-021-00693-2.
• Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint Rewriting for Direct Mapping. In Hotho, Andreas; Blomqvist, Eva; Dietze, Stefan; Fokoue, Achille; Ding, Ying; Barnaghi, Payam; Haller, Armin; Dragoni, Mauro & Alani, Harith (Ed.), The Semantic Web – ISWC 2021. 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings. Springer Nature. ISSN 978-3-030-88361-4. p. 21–38. doi: 10.1007/978-3-030-88361-4_2.
• Mumtaz, Summaya & Giese, Martin (2020). Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data. In Martin, Andreas; Knut, Hinkelmann & Fill, Hans-George (Ed.), AAAI-MAKE 2020 Combining Machine Learning and Knowledge Engineering in Practice - Volume I: Spring Symposium. Technical University of Aachen. ISSN 9783642224126.
• Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin (2020). Data-based support for petroleum prospect evaluation. Earth Science Informatics. ISSN 1865-0473. doi: 10.1007/s12145-020-00502-4.
• Karlsen, Leif Harald & Giese, Martin (2019). Qualitatively correct bintrees: an efficient representation of qualitative spatial information. Geoinformatica. ISSN 1384-6175. 23(4), p. 689–731. doi: 10.1007/s10707-019-00348-z.
• Klungre, Vidar Norstein; Soylu, Ahmet; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny & Giese, Martin (2019). Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. New generation computing. ISSN 0288-3635. 37(4), p. 361–392. doi: 10.1007/s00354-019-00071-1. Full text in Research Archive
• Vega-Gorgojo, Guillermo; Slaughter, Laura & Giese, Martin (2019). Seeing the whole picture: Integrated pre-surgery reports with PreOptique. Journal of Biomedical Semantics. ISSN 2041-1480. 10(1). doi: 10.1186/s13326-019-0197-1. Full text in Research Archive
• Klungre, Vidar Norstein; Soylu, Ahmet; Giese, Martin; Waaler, Arild & Kharlamov, Evgeny (2018). On Enhancing Visual Query Building over KGs Using Query Logs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11341, p. 77–85. doi: 10.1007/978-3-030-04284-4_6. Full text in Research Archive Show summary

  Knowledge Graphs have recently gained a lot of attention and have been successfully applied in both academia and industry. Since KGs may be very large: they may contain millions of entities and triples relating them to each other, to classes, and assigning them data values, it is important to provide endusers with effective tools to explore information encapsulated in KGs. In this work we present a visual query system that allows users to explore KGs by intuitively constructing tree-shaped conjunctive queries. It is known that systems of this kind suffer from the problem of information overflow: when constructing a query the users have to iteratively choose from a potentially very long list of options, sich as, entities, classes, and data values, where each such choice corresponds to an extension of the query new filters. In order to address this problem we propose an approach to substantially reduce such lists with the help of ranking and by eliminating the so-called deadends, options that yield queries with no answers over a given KG.

• Klungre, Vidar Norstein & Giese, Martin (2018). Evaluating a Faceted Search Index for Graph Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11230 LNCS, p. 573–583. doi: 10.1007/978-3-030-02671-4_36. Full text in Research Archive
• Klungre, Vidar Norstein & Giese, Martin (2018). Approximating Faceted Search for Graph Queries. CEUR Workshop Proceedings. ISSN 1613-0073. p. 61–76.
• Xiao, Guohui; Hovland, Dag; Bilidas, Dimitris; Rezk, Martin; Giese, Martin & Calvanese, Diego (2018). Efficient Ontology-Based Data Integration with Canonical IRIs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10843 LNCS, p. 697–713. doi: 10.1007/978-3-319-93417-4_45. 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, p. 1–4.
• Klungre, Vidar Norstein & Giese, Martin (2017). A Faceted Search Index for OptiqueVQS. CEUR Workshop Proceedings. ISSN 1613-0073.
• Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Show all 16 contributors for this article] (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics. ISSN 1570-8268. 44, p. 3–36. doi: 10.1016/j.websem.2017.05.005. Full text in Research Archive
• 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, p. 1–15. doi: 10.4230/LIPIcs.COSIT.2017.4. Full text in Research Archive
• Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü & Roshchin, Mikhail [Show all 16 contributors for this article] (2017). Semantic access to streaming and static data at Siemens. Journal of Web Semantics. ISSN 1570-8268. 44, p. 54–74. doi: 10.1016/j.websem.2017.02.001. Full text in Research Archive
• Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin & Skjæveland, Martin G [Show all 11 contributors for this article] (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry . Semantic Web Journal. ISSN 1570-0844. p. 1–28. doi: 10.3233/sw-180293. Full text in Research Archive
• Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny & Özçep, Özgür [Show all 8 contributors for this article] (2017). Querying industrial stream-temporal data: An ontology-based visual approach. Journal of Ambient Intelligence and Smart Environments. ISSN 1876-1364. 9(1), p. 77–95. doi: 10.3233/AIS-160415. Full text in Research Archive
• Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Show all 7 contributors for this article] (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers. ISSN 978-1-61399-459-7. doi: 10.2118/181111-MS.
• Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf & Neuenstadt, Christian [Show all 11 contributors for this article] (2016). Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. CEUR Workshop Proceedings. ISSN 1613-0073. 1818, p. 34–39.
• Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian & Jimenez-Ruiz, Ernesto [Show all 20 contributors for this article] (2016). A Semantic Approach to Polystores. In Joshi, James (Eds.), Proceedings 2016 IEEE International Conference on Big Data. IEEE. ISSN 978-1-4673-9005-7. p. 2565–2573. doi: 10.1109/BigData.2016.7840898.
• 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), p. 62–66. doi: 10.1109/MIC.2016.121.
• Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis & Lamparter, Steffen [Show all 17 contributors for this article] (2016). Enabling semantic access to static and streaming distributed data with optique: demo. In Gal, Avigdor; Weidlich, Matthias; Kalogeraki, Vana & Venkasubramanian, Nalini (Ed.), Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24. ACM Publications. ISSN 978-1-4503-4021-2. p. 350–353. doi: 10.1145/2933267.2933290.
• 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 (LNCS). ISSN 0302-9743. 9989 LNCS, p. 146–150. doi: 10.1007/978-3-319-47602-5_29.
• 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 (LNCS). ISSN 0302-9743. 9989, p. 161–166. doi: 10.1007/978-3-319-47602-5_32.
• Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag & Giese, Martin [Show all 8 contributors for this article] (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings. ISSN 1613-0073. 1690.
• 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, p. 11–20.
• 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. p. 1–33. doi: 10.1007/s10209-016-0465-0. Full text in Research Archive
• 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, p. 81–96. doi: 10.1016/j.websem.2016.01.002.
• 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.

• Soylu, Ahmet & Giese, Martin (2015). Qualifying Ontology-Based Visual Query Formulation. In Andreasen, Troels; Christiansen, Henning; Kacprzyk, Janusz; Larsen, Henrik; Pasi, Gabriella; Pivert, Olivier; Tré, Guy De; Amparo, Maria; Yazici, Adnan & Zadrożny, Sławomir (Ed.), Flexible Query Answering Systems 2015 Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015. Springer. ISSN 978-3-319-26154-6. p. 243–255. doi: 10.1007/978-3-319-26154-6_19.
• Karlsen, Leif Harald & Giese, Martin (2015). A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. In Lechowski, Tomasz; Wałęga, Przemysław & Zawidzki, Michał (Ed.), Proceedings of the LQMR 2015 Workshop. Polskie Towarzystwo Informatyczne. ISSN 978-83-60810-78-1. p. 21–33. doi: 10.15439/978-83-60810-78-1.
• Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian (2015). Ontology-Based Visual Query Formulation: An Industry Experience. In Bebis, George; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Pavlidis, Ioannis; Feris, Rogerio; McGraw, Tim; Elendt, Mark; Kopper, Regis; Ragan, Eric; Ye, Zhao & Weber, Gunther (Ed.), Advances in Visual Computing 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I. Springer. ISSN 978-3-319-27857-5. p. 842–854. doi: 10.1007/978-3-319-27857-5_75.
• Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G & Soylu, Ahmet [Show all 11 contributors for this article] (2015). OPTIQUE: Ontology-based data access platform. CEUR Workshop Proceedings. ISSN 1613-0073. 1486.
• Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jiménez-Ruiz, Ernesto; Lamparter, Steffen & Neuenstadt, Christian [Show all 13 contributors for this article] (2015). Semantic access to siemens streaming data: The OPTIQUE way. CEUR Workshop Proceedings. ISSN 1613-0073. 1486.
• Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin (2015). Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9366, p. 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.

• 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, p. 91–96.
• 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, p. 112–140. doi: 10.1016/j.websem.2015.03.002. Full text in Research Archive
• 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), p. 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.

• Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter & Jimenez-Ruiz, Ernesto [Show all 11 contributors for this article] (2015). Optique: Zooming in on Big Data. Computer. ISSN 0018-9162. 48(3), p. 60–67. doi: 10.1109/MC.2015.82.
• Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin (2014). Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case. NIKT: Norsk IKT-konferanse for forskning og utdanning. 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, p. 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 Olsson, Thomas & Hvannberg, Ebba Þóra (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). ISSN 978-1-4503-2542-4. p. 1039–1042. doi: 10.1145/2639189.2670270.
• 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, p. 725–728.
• 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 Ladid, Latif; Montes, Antonio; Bruck, Peter A.; Ferri, Fernando & Chbeir, Richard (Ed.), Fifth International Conference on Management of Emergent Digital EcoSystems, MEDES '13, Luxembourg, Luxembourg, October 29-31, 2013. Association for Computing Machinery (ACM). ISSN 978-1-4503-2004-7. p. 119–126. doi: 10.1145/2536146.2536149.
• Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas & Ioannidis, Yannis [Show all 23 contributors for this article] (2013). Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, p. 293–295. doi: 10.1007/978-3-642-41242-4_48.
• Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin & Haase, Peter [Show all 16 contributors for this article] (2013). Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7955, p. 125–140. doi: 10.1007/978-3-642-41242-4_11.
• Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis & Kllapi, Herald [Show all 16 contributors for this article] (2013). Scalable End-user Access to Big Data. In Akerkar, Rajendra (Eds.), Big Data Computing. Taylor & Francis. ISSN 978-1-46-657837-1. doi: 10.1201/b16014-9.
• Soylu, Ahmet; Skjæveland, Martin G; Giese, Martin; Horrocks, Ian; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny [Show all 7 contributors for this article] (2013). A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. In Garoufallou, Emmanouel & Greenberg, Jane (Ed.), Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings. Springer. ISSN 978-3-319-03436-2. p. 201–212. doi: 10.1007/978-3-319-03437-9_21.
• Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny [Show all 20 contributors for this article] (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 [Show all 9 contributors for this article] (2013). Towards Query Formulation and Query-Driven Ontology Extensions in OBDA Systems. CEUR Workshop Proceedings. ISSN 1613-0073.
• 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 Kanvinde, Sanjay (Eds.), SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands. Society of Petroleum Engineers. ISSN 978-1-61399-191-6. doi: 10.2118/150225-ms.
• Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. p. 25–36. doi: 10.29007/r5m4. Full text in Research Archive
• Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild (2012). Incremental variable splitting. Journal of symbolic computation. ISSN 0747-7171. 47(9), p. 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.

• Ivanovska, Magdalena & Giese, Martin (2011). A Logic-based Approach to Decision Making, Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISSN 978-82-519-2843-4. p. 61–72.
• Giese, Martin & Bratvold, Reidar B (2011). Probabilistic Modeling for Decision Support in Integrated Operations. SPE Economics & Management. ISSN 2150-1173. 3(3), p. 173–185. doi: 10.2118/127761-PA.
• Ivanovska, Magdalena & Giese, Martin (2010). Probabilistic Logic with Conditional Independence Formulae. In Ågotnes, Thomas (Eds.), STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press. ISSN 978-1-60750-675-1. p. 127–139. Show summary

  We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with incomplete information like probabilities that are missing or only known to lie in some interval. However, probabilistic propositional logic as described e.g. by Halpern [1], has no way of expressing conditional independence, which is important for compact specification in many cases. We define a logic with conditional independence formulae. We give an axiomatization which we show to be complete for the kind of inferences allowed by Bayesian networks, while still being suitable for reasoning under incomplete information.

• 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), p. 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 Ratcliffe, Helen (Eds.), 2010 SPE Intelligent Energy Conference & Exhibition: Delivering Value - Creating Opportunities. Society of Petroleum Engineers. ISSN 978-1-55563-284-7.
• Ivanovska, Magdalena & Giese, Martin (2010). Probabilistic Logic with Conditional Independence Formulae. Frontiers in Artificial Intelligence and Applications. ISSN 0922-6389. 215, p. 983–984. doi: 10.3233/978-1-60750-606-5-983.

View all works in Cristin

• Gutiérrez-Basulto, Víctor; Kliegr, Tomas; Soylu, Ahmet; Giese, Martin & Roman, Dumitru (2020). Rules and Reasoning. 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings. Springer. ISBN 978-3-030-57977-7. 12173(1). 187 p.
• 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 p.
• Giese, Martin & Waaler, Arild (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 p.

View all works in Cristin

• Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G (2018). Ontology-Based Data Access in Exploration.
• Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Show all 7 contributors for this article] (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 [Show all 11 contributors for this article] (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 & Waaler, Arild (2013). Optique - Scalable End-user Access to Big Data.
• Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
• Giese, Martin (2013). Optique - Scalable End-user Access to Big Data.
• Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet & Zheleznyakov, Dmitriy [Show all 21 contributors for this article] (2013). Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
• 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 & Ivanovska, Magdalena (2012). Logics for Decision Making.
• Giese, Martin (2012). Fra Aristoteles til Web 3.0!
• Giese, Martin (2012). Fra Aristoteles til Web 3.0.
• Giese, Martin (2012). A Calculus for Type Predicates and Type Coercion.
• Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Full text in Research Archive
• Giese, Martin (2012). Linked Data or Queryable Data?—Are five stars enough?
• 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 (2011). Fra Aristoteles til Web 3.0.
• 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), p. 1097–1100. doi: 10.1016/j.jsc.2010.06.002.
• Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version). Universitetet i Oslo. Institutt for informatikk . ISSN 978-82-7368-463-9. Full text in Research Archive
• Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-464-6. Full text in Research Archive
• Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Department of Informatics, University of Oslo. ISSN 978-82-7368-432-5. Full text in Research Archive
• Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Department of Informatics, University of Oslo. ISSN 978-82-7368-425-7. Full text in Research Archive
• Giese, Martin & Waaler, Arild (2009). TABLEAUX 2009 Position Papers and Workshop Proceedings. University of Oslo, Department of Informatics. ISSN 0806-3036.

View all works in Cristin