Martin Giese

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 49

Top Venues

J. Web Semant.

ISWC (Posters & Demos)

ISWC

ESWC

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Yuanwei Qu, Michel Perrin, Anita Torabi, Mara Abel, Martin Giese
GeoFault: A well-founded fault ontology for interoperability in geological modeling. Comput. Geosci. 182 (2024)
Yuanwei Qu, Eduard Kamburjan, Martin Giese
A Geological Case Study on Semantically Triggered Processes. ESWC (Satellite Events) (2023)
Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM (2023)
Ratan Bahadur Thapa, Martin Giese
Optimizing SPARQL Queries with SHACL. ISWC (2023)
Yuanwei Qu, Michel Perrin, Anita Torabi, Mara Abel, Martin Giese
GeoFault: A well-founded fault ontology for interoperability in geological modeling. CoRR (2023)
Ratan Bahadur Thapa, Martin Giese
Mapping Relational Database Constraints to SHACL. ISWC (2022)
Yuanwei Qu, Baifan Zhou, Evgeny Kharlamov, Martin Giese
Industrial Geological Information Capture with GeoStructure Ontology. SemIIM (2022)
Eduard Kamburjan, Vidar Norstein Klungre, Martin Giese
Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. ESWC (2022)
Summaya Mumtaz, Martin Giese
Hierarchy-based semantic embeddings for single-valued & multi-valued categorical variables. J. Intell. Inf. Syst. 58 (3) (2022)
Ratan Bahadur Thapa, Martin Giese
A Source-to-Target Constraint Rewriting for Direct Mapping. ISWC (2021)
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese
Programming and Debugging with Semantically Lifted States. ESWC (2021)
Summaya Mumtaz, Martin Giese
Frequency-Based vs. Knowledge-Based Similarity Measures for Categorical Data. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (1) (2020)
Summaya Mumtaz, Irina Pene, Adnan Latif, Martin Giese
Data-based support for petroleum prospect evaluation. Earth Sci. Informatics 13 (4) (2020)
Summaya Mumtaz, Irina Pene, Adnan Latif, Martin Giese
Correction to: Data-based support for petroleum prospect evaluation. Earth Sci. Informatics 13 (4) (2020)
Vidar N. Klungre, Ahmet Soylu, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Martin Giese
Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing. New Gener. Comput. 37 (4) (2019)
Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese
Seeing the whole picture: integrated pre-surgery reports with PreOptique. J. Biomed. Semant. 10 (1) (2019)
Leif Harald Karlsen, Martin Giese
Qualitatively correct bintrees: an efficient representation of qualitative spatial information. GeoInformatica 23 (4) (2019)
Vidar Klungre, Ahmet Soylu, Martin Giese, Arild Waaler, Evgeny Kharlamov
On Enhancing Visual Query Building over KGs Using Query Logs. JIST (2018)
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
OptiqueVQS: A visual query system over ontologies for industry. Semantic Web 9 (5) (2018)
Vidar Klungre, Martin Giese
Approximating Faceted Search for Graph Queries. SSWS@ISWC (2018)
Guohui Xiao, Dag Hovland, Dimitris Bilidas, Martin Rezk, Martin Giese, Diego Calvanese
Efficient Ontology-Based Data Integration with Canonical IRIs. ESWC (2018)
Vidar Klungre, Martin Giese
Evaluating a Faceted Search Index for Graph Data. OTM Conferences (2) (2018)
Martin Giese, Jerry Gao, Yifeng Zeng
IEEE BigDataService 2016 conference. Int. J. Data Sci. Anal. 4 (4) (2017)
Guillermo Vega-Gorgojo, Martin Giese, Laura Slaughter
Exploring Semantic Datasets with RDF Surveyor. ISWC (Posters, Demos & Industry Tracks) (2017)
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
Ontology Based Data Access in Statoil. J. Web Semant. 44 (2017)
Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
Ontology-based end-user visual query formulation: Why, what, who, how, and which? Univers. Access Inf. Soc. 16 (2) (2017)
Leif Harald Karlsen, Martin Giese
An Efficient Representation of General Qualitative Spatial Information Using Bintrees. COSIT (2017)
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
Semantic access to streaming and static data at Siemens. J. Web Semant. 44 (2017)
Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Özgür L. Özçep, Christian Neuenstadt, Sebastian Brandt
Querying industrial stream-temporal data: An ontology-based visual approach. J. Ambient Intell. Smart Environ. 9 (1) (2017)
Vidar N. Klungre, Martin Giese
A Faceted Search Index for OptiqueVQS. ISWC (Posters, Demos & Industry Tracks) (2017)
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
Enabling semantic access to static and streaming distributed data with optique: demo. DEBS (2016)
Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Johan W. Klüwer, Arild Waaler
PepeSearch: Easy to Use and Easy to Install Semantic Data Search. ESWC (Satellite Events) (2016)
Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Ahmet Soylu, Arild Waaler
Visual query interfaces for semantic datasets: An evaluation study. J. Web Semant. 39 (2016)
Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, Arild Waaler
KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. ISWC (Posters & Demos) (2016)
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
Scalable Semantic Access to Siemens Static and Streaming Distributed Data. ISWC (Posters & Demos) (2016)
Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt
Domain Experts Surfing on Stream Sensor Data over Ontologies. SEMPER@ESWC (2016)
Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, Ian Horrocks
Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. Univers. Access Inf. Soc. 15 (1) (2016)
Ian Horrocks, Martin Giese, Evgeny Kharlamov, Arild Waaler
Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Comput. 20 (6) (2016)
Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgür L. Özçep, Sebastian Brandt
A Visual Query System for Stream Data Access over Ontologies. ESWC (Satellite Events) (2016)
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
A semantic approach to polystores. IEEE BigData (2016)
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
Optique: Ontology-Based Data Access Platform. ISWC (Posters & Demos) (2015)
Martin G. Skjæveland, Martin Giese, Dag Hovland, Espen H. Lian, Arild Waaler
Engineering ontology-based access to real-world data sources. J. Web Semant. 33 (2015)
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
Semantic Access to Siemens Streaming Data: the Optique Way. ISWC (Posters & Demos) (2015)
Leif Harald Karlsen, Martin Giese
A Framework for Constructing Correct Qualitative Representations of Geometries using Mereology over Bintrees. LQMR@FedCSIS (2015)
Ahmet Soylu, Martin Giese
Qualifying Ontology-Based Visual Query Formulation. FQAS (2015)
Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks
Ontology-Based Visual Query Formulation: An Industry Experience. ISVC (1) (2015)
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
Optique: Zooming in on Big Data. Computer 48 (3) (2015)
Diego Calvanese, Martin Giese, Dag Hovland, Martin Rezk
Ontology-Based Integration of Cross-Linked Datasets. ISWC (1) (2015)
Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks
OptiqueVQS: Ontology-Based Visual Querying. VOILA@ISWC (2015)
Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks
OptiqueVQS: Visual Query Formulation for OBDA. Description Logics (2014)
Simen Heggestøyl, Guillermo Vega-Gorgojo, Martin Giese
Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case. NIK (2014)
Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
Why not simply Google? NordiCHI (2014)
Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation. MTSR (2014)
Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks
OptiqueVQS: towards an ontology-based visual query system for big data. MEDES (2013)
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
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) (2013)
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
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. ISWC (Posters & Demos) (2013)
Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov
Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. OWLED (2013)
Ahmet Soylu, Martin G. Skjæveland, Martin Giese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. MTSR (2013)
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
The Optique Project: Towards OBDA Systems for Industry (Short Paper). OWLED (2013)
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
Optique: OBDA Solution for Big Data. ESWC (Satellite Events) (2013)
Bjarne Holen, Dag Hovland, Martin Giese
Efficient Rule-Matching for Hyper-Tableaux. IWIL@LPAR (2012)
Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler
Incremental variable splitting. J. Symb. Comput. 47 (9) (2012)
Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen
Incremental Variable Splitting. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Martin Giese, Andrew Ireland, Laura Kovács
Introduction. J. Symb. Comput. 45 (11) (2010)
Magdalena Ivanovska, Martin Giese
Probabilistic Logic with Conditional Independence Formulae. STAIRS (2010)
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
Practical Aspects of Automated Deduction for Program Verification. Künstliche Intell. 24 (1) (2010)
Magdalena Ivanovska, Martin Giese
Probabilistic Logic with Conditional Independence Formulae. ECAI (2010)
Martin Giese
Superposition-based Equality Handling for Analytic Tableaux. J. Autom. Reason. 38 (1-3) (2007)
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
The KeY system 1.0 (Deduction Component). CADE (2007)
Martin Giese
Saturation Up to Redundancy for Tableau and Sequent Calculi. LPAR (2006)
Martin Giese
A Calculus for Type Predicates and Type Coercion. TABLEAUX (2005)
Martin Giese, Daniel Larsson
Simplifying Transformations of OCL Constraints. MoDELS (2005)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
The KeY tool. Softw. Syst. Model. 4 (1) (2005)
Martin Giese
Taclets and the KeY Prover. Electron. Notes Theor. Comput. Sci. 103 (2004)
Martin Giese, Rogardt Heldal
From Informal to Formal Specifications in UML. UML (2004)
Martin Giese
Simplification Rules for Constrained Formula Tableaux. TABLEAUX (2003)
Martin Giese
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. TABLEAUX (2002)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE (2002)
Martin Giese
Incremental Closure of Free Variable Tableaux. IJCAR (2001)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA (2000)
Martin Giese, Wolfgang Ahrendt
Hilbert's epsilon-Terms in Automated Theorem Proving. TABLEAUX (1999)

Martin Giese.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Giese