Martin Giese

Bilde av Martin Giese
English version of this page
Telefon +47-22852737
Rom 8464
Treffetider 10.00 - 16.00
Brukernavn
Besøksadresse Ole Johan Dahls hus (IFI2)
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

Faglige Interesser

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.

Undervisning

Bakgrunn

Verv

 

 

Emneord: Logikk, Big data, Semantic web, Automatisk resonnering, Bevissøk, Førsteordens logikk

Publikasjoner

Min fulstendige publikasjonsliste med mulighet for nedlasting finnes på min personlige hjemmeside.

  • 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. . doi: 10.1016/j.websem.2017.02.001
  • 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
  • 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 Fulltekst i vitenarkiv
  • 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 Fulltekst i vitenarkiv
  • 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 Fulltekst i vitenarkiv
  • 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 Fulltekst i vitenarkiv
  • 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 Fulltekst i vitenarkiv
  • 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

Se alle arbeider i 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.

Se alle arbeider i Cristin

  • Karlsen, Leif Harald & Giese, Martin (2017). An Efficient Representation of Qualitative Spatial Information using Bintrees. Fulltekst i vitenarkiv
  • Karlsen, Leif Harald & Giese, Martin (2017). Qualitatively Correct Bintrees With Roles. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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.

Se alle arbeider i Cristin

Publisert 12. mars 2011 09:50 - Sist endret 15. juni 2017 14:56