Martin Giese

According to our database, Martin Giese authored at least 80 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

GeoFault: A well-founded fault ontology for interoperability in geological modeling.

Yuanwei Qu, Michel Perrin, Anita Torabi, Mara Abel, Martin Giese

Comput. Geosci., January, 2024

2023

Optimizing SPARQL Queries with SHACL.

Ratan Bahadur Thapa, Martin Giese

Proceedings of the Semantic Web - ISWC 2023, 2023

Emerging Challenges in Compositionality and Correctness for Digital Twins.

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

A Geological Case Study on Semantically Triggered Processes.

Yuanwei Qu, Eduard Kamburjan, Martin Giese

Proceedings of the Semantic Web: ESWC 2023 Satellite Events - Hersonissos, Crete, Greece, May 28, 2023

2022

Hierarchy-based semantic embeddings for single-valued & multi-valued categorical variables.

Summaya Mumtaz, Martin Giese

J. Intell. Inf. Syst., 2022

Mapping Relational Database Constraints to SHACL.

Ratan Bahadur Thapa, Martin Giese

Proceedings of the Semantic Web - ISWC 2022, 2022

Industrial Geological Information Capture with GeoStructure Ontology.

Yuanwei Qu, Baifan Zhou, Evgeny Kharlamov, Martin Giese

Proceedings of the First International Workshop on Semantic Industrial Information Modelling (SemIIM 2022) co-located with the 19th Extended Semantic Web Conference ESWC 2022, 2022

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data.

Eduard Kamburjan, Vidar Norstein Klungre, Martin Giese

Proceedings of the Semantic Web - 19th International Conference, 2022

2021

A Source-to-Target Constraint Rewriting for Direct Mapping.

Ratan Bahadur Thapa, Martin Giese

Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

Programming and Debugging with Semantically Lifted States.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese

Proceedings of the Semantic Web - 18th International Conference, 2021

2020

Correction to: Data-based support for petroleum prospect evaluation.

Summaya Mumtaz, Irina Pene, Adnan Latif, Martin Giese

Earth Sci. Informatics, 2020

Data-based support for petroleum prospect evaluation.

Summaya Mumtaz, Irina Pene, Adnan Latif, Martin Giese

Earth Sci. Informatics, 2020

Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data.

Summaya Mumtaz, Martin Giese

Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, 2020

2019

Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing.

Vidar N. Klungre, Ahmet Soylu, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Martin Giese

New Gener. Comput., 2019

Qualitatively correct bintrees: an efficient representation of qualitative spatial information.

Leif Harald Karlsen, Martin Giese

GeoInformatica, 2019

Seeing the whole picture: integrated pre-surgery reports with PreOptique.

Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese

J. Biomed. Semant., 2019

2018

OptiqueVQS: A visual query system over ontologies for industry.

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Martin G. Skjæveland, Dag Hovland, Rudolf Schlatte, Sebastian Brandt, Hallstein Lie, Ian Horrocks

Semantic Web, 2018

Approximating Faceted Search for Graph Queries.

Vidar Klungre, Martin Giese

Proceedings of the 12th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 17th International Semantic Web Conference, 2018

Evaluating a Faceted Search Index for Graph Data.

Vidar Klungre, Martin Giese

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

On Enhancing Visual Query Building over KGs Using Query Logs.

Vidar Klungre, Ahmet Soylu, Martin Giese, Arild Waaler, Evgeny Kharlamov

Proceedings of the Semantic Technology - 8th Joint International Conference, 2018

Efficient Ontology-Based Data Integration with Canonical IRIs.

Guohui Xiao, Dag Hovland, Dimitris Bilidas, Martin Rezk, Martin Giese, Diego Calvanese

Proceedings of the Semantic Web - 15th International Conference, 2018

2017

Semantic access to streaming and static data at Siemens.

Evgeny Kharlamov, Theofilos Mailis, Gulnar Mehdi, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Nina Solomakhina, Ahmet Soylu, Christoforos Svingos, Sebastian Brandt, Martin Giese, Yannis E. Ioannidis, Steffen Lamparter, Ralf Möller, Yannis Kotidis, Arild Waaler

J. Web Semant., 2017

Ontology Based Data Access in Statoil.

Evgeny Kharlamov, Dag Hovland, Martin G. Skjæveland, Dimitris Bilidas, Ernesto Jiménez-Ruiz, Guohui Xiao, Ahmet Soylu, Davide Lanti, Martin Rezk, Dmitriy Zheleznyakov, Martin Giese, Hallstein Lie, Yannis E. Ioannidis, Yannis Kotidis, Manolis Koubarakis, Arild Waaler

J. Web Semant., 2017

Ontology-based end-user visual query formulation: Why, what, who, how, and which?

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks

Univers. Access Inf. Soc., 2017

Querying industrial stream-temporal data: An ontology-based visual approach.

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Özgür L. Özçep, Christian Neuenstadt, Sebastian Brandt

J. Ambient Intell. Smart Environ., 2017

IEEE BigDataService 2016 conference.

Martin Giese, Jerry Gao, Yifeng Zeng

Int. J. Data Sci. Anal., 2017

Exploring Semantic Datasets with RDF Surveyor.

Guillermo Vega-Gorgojo, Martin Giese, Laura Slaughter

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

A Faceted Search Index for OptiqueVQS.

Vidar N. Klungre, Martin Giese

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

An Efficient Representation of General Qualitative Spatial Information Using Bintrees.

Leif Harald Karlsen, Martin Giese

Proceedings of the 13th International Conference on Spatial Information Theory, 2017

2016

Visual query interfaces for semantic datasets: An evaluation study.

Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Ahmet Soylu, Arild Waaler

J. Web Semant., 2016

Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users.

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, Ian Horrocks

Univers. Access Inf. Soc., 2016

Using Semantic Technology to Tame the Data Variety Challenge.

Ian Horrocks, Martin Giese, Evgeny Kharlamov, Arild Waaler

IEEE Internet Comput., 2016

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction.

Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, Arild Waaler

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Scalable Semantic Access to Siemens Static and Streaming Distributed Data.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür Lütfü Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, Arild Waaler

Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

PepeSearch: Easy to Use and Easy to Install Semantic Data Search.

Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Johan W. Klüwer, Arild Waaler

Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 2016

A Visual Query System for Stream Data Access over Ontologies.

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt

Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 2016

Domain Experts Surfing on Stream Sensor Data over Ontologies.

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt

Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference (ESWC 2016), 2016

Enabling semantic access to static and streaming distributed data with optique: demo.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür L. Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, Arild Waaler

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

A semantic approach to polystores.

Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, Sebastian Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, Guohui Xiao, Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, Ralf Möller, Arild Waaler

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

Engineering ontology-based access to real-world data sources.

Martin G. Skjæveland, Martin Giese, Dag Hovland, Espen H. Lian, Arild Waaler

J. Web Semant., 2015

Optique: Zooming in on Big Data.

Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase, Ernesto Jiménez-Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao, Özgür L. Özçep, Riccardo Rosati

Computer, 2015

OptiqueVQS: Ontology-Based Visual Querying.

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks

Proceedings of the International Workshop on Visualizations and User Interfaces for Ontologies and Linked Data co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

Optique: Ontology-Based Data Access Platform.

Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Ahmet Soylu, Guohui Xiao, Dmitriy Zheleznyakov, Martin Giese, Ian Horrocks, Arild Waaler

Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Semantic Access to Siemens Streaming Data: the Optique Way.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür Lütfü Özçep, Christoph Pinkel, Ahmet Soylu, Dmitriy Zheleznyakov, Mikhail Roshchin, Stuart Watson, Ian Horrocks

Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Ontology-Based Integration of Cross-Linked Datasets.

Diego Calvanese, Martin Giese, Dag Hovland, Martin Rezk

Proceedings of the Semantic Web - ISWC 2015, 2015

Ontology-Based Visual Query Formulation: An Industry Experience.

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks

Proceedings of the Advances in Visual Computing - 11th International Symposium, 2015

Qualifying Ontology-Based Visual Query Formulation.

Ahmet Soylu, Martin Giese

Proceedings of the Flexible Query Answering Systems 2015, 2015

A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees.

Leif Harald Karlsen, Martin Giese

Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), 2015

2014

Why not simply Google?

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks

Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014

Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case.

Simen Heggestøyl, Guillermo Vega-Gorgojo, Martin Giese

Proceedings of the 27th Norsk Informatikkonferanse, 2014

Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation.

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks

Proceedings of the Metadata and Semantics Research - 8th Research Conference, 2014

OptiqueVQS: Visual Query Formulation for OBDA.

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.

Evgeny Kharlamov, Martin Giese, Ernesto Jiménez-Ruiz, Martin G. Skjæveland, Ahmet Soylu, Dmitriy Zheleznyakov, Timea Bagosi, Marco Console, Peter Haase, Ian Horrocks, Sarunas Marciuska, Christoph Pinkel, Mariano Rodriguez-Muro, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo, Kunal Sengupta, Michael Schmidt, Evgenij Thorstensen, Johannes Trame, Arild Waaler

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems.

Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

The Optique Project: Towards OBDA Systems for Industry (Short Paper).

Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data.

Ahmet Soylu, Martin G. Skjæveland, Martin Giese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov

Proceedings of the Metadata and Semantics Research - 7th Research Conference, 2013

OptiqueVQS: towards an ontology-based visual query system for big data.

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks

Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013

Optique: Towards OBDA Systems for Industry.

Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

Optique: OBDA Solution for Big Data.

Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

2012

Incremental variable splitting.

Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler

J. Symb. Comput., 2012

Efficient Rule-Matching for Hyper-Tableaux.

Bjarne Holen, Dag Hovland, Martin Giese

Proceedings of the IWIL 2012: The 9th International Workshop on the Implementation of Logics, 2012

2010

Practical Aspects of Automated Deduction for Program Verification.

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer

Künstliche Intell., 2010

Introduction.

Martin Giese, Andrew Ireland, Laura Kovács

J. Symb. Comput., 2010

Probabilistic Logic with Conditional Independence Formulae.

Magdalena Ivanovska, Martin Giese

Proceedings of the ECAI 2010, 2010

2007

First-Order Logic.

Martin Giese

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Superposition-based Equality Handling for Analytic Tableaux.

Martin Giese

J. Autom. Reason., 2007

The KeY system 1.0 (Deduction Component).

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the Automated Deduction, 2007

2006

Saturation Up to Redundancy for Tableau and Sequent Calculi.

Martin Giese

Proceedings of the Logic for Programming, 2006

2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Simplifying Transformations of OCL Constraints.

Martin Giese, Daniel Larsson

Proceedings of the Model Driven Engineering Languages and Systems, 2005

A Calculus for Type Predicates and Type Coercion.

Martin Giese

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004

From Informal to Formal Specifications in UML.

Martin Giese, Rogardt Heldal

Proceedings of the «UML» 2004, 2004

2003

Taclets and the KeY Prover.

Martin Giese

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Simplification Rules for Constrained Formula Tableaux.

Martin Giese

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2002

Proof search without backtracking for free variable tableaux.

Martin Giese

PhD thesis, 2002

A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition.

Martin Giese

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

The KeY System: Integrating Object-Oriented Design and Formal Methods.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Incremental Closure of Free Variable Tableaux.

Martin Giese

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999

Hilbert's epsilon-Terms in Automated Theorem Proving.

Martin Giese, Wolfgang Ahrendt

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999