Martin Giese

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