Martin Giese

Image of Martin Giese
Norwegian version of this page
Phone +47-22852737
Room 8464
Available hours 10.00 - 16.00
Username
Visiting address Ole Johan Dahls hus (IFI2)
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Department for Informatics

Academic Interests

I am interested in various aspects of applied logics and formal methods, including

  • Semantic Web/Semantic Technologies,
  • Tableau-based proof systems,
  • First-order logic,
  • Equality reasoning in tableaux,
  • Description logics,
  • Integration of interactive and automated theorem proving,
  • Implementation of proof systems.

Teaching

Higher education and employment history

Appointments

Cooperation

 

Tags: logic, big data, semantic web, automated reasoning, proof search, first order logic

Publications

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

  • Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özcep, Ö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
  • Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-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.  ISSN 1570-0844.  1, s 1- 28
  • 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 Press.  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; 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic . NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  s 25- 36
  • 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
  • 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.
  • 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
  • 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

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.
  • Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles.
  • 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.
  • Ivanovska, Magdalena & Giese, Martin (2012). A Probabilistic Logic for Sequences of Decisions.
  • 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.

View all works in Cristin

Published Nov. 4, 2010 1:54 PM - Last modified Apr. 21, 2017 7:32 PM