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.
-
-
-
Thapa, Ratan Bahadur & Giese, Martin
(2023).
Optimizing SPARQL Queries with SHACL.
In Payne, Terry R.; Presutti, Valentina; Qi, Guilin; Stoilos, Giorgos; Cheng, Gong & Li, Juanzi (Ed.),
The Semantic Web – ISWC 2023
22nd International Semantic Web Conference, Athens, Greece, November 6–10, 2023, Proceedings, Part I
.
Springer Cham.
ISSN 978-3-031-47239-8.
p. 370–384.
doi:
10.1007/978-3-031-47240-4_3.
-
Qu, Yuanwei; Kamburjan, Eduard & Giese, Martin
(2023).
A Geological Case Study on Semantically Triggered Processes.
In Pesquita, Catia; Jimenez-Ruiz, Ernesto; McCusker, Jamie; Faria, Daniel; Dragoni, Mauro; Dimou, Anastasia; Troncy, Raphaël & Hertling, Sven (Ed.),
The Semantic Web: 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings.
Springer.
ISSN 978-3-031-33455-9.
-
-
-
-
-
Thapa, Ratan Bahadur & Giese, Martin
(2021).
A Source-to-Target Constraint Rewriting for Direct Mapping.
In Hotho, Andreas; Blomqvist, Eva; Dietze, Stefan; Fokoue, Achille; Ding, Ying; Barnaghi, Payam; Haller, Armin; Dragoni, Mauro & Alani, Harith (Ed.),
The Semantic Web – ISWC 2021. 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings.
Springer Nature.
ISSN 978-3-030-88361-4.
p. 21–38.
doi:
10.1007/978-3-030-88361-4_2.
-
-
-
Karlsen, Leif Harald & Giese, Martin
(2019).
Qualitatively correct bintrees: an efficient representation of qualitative spatial information.
Geoinformatica.
ISSN 1384-6175.
23(4),
p. 689–731.
doi:
10.1007/s10707-019-00348-z.
-
Klungre, Vidar Norstein; Soylu, Ahmet; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny & Giese, Martin
(2019).
Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing.
New generation computing.
ISSN 0288-3635.
37(4),
p. 361–392.
doi:
10.1007/s00354-019-00071-1.
Full text in Research Archive
-
-
Klungre, Vidar Norstein; Soylu, Ahmet; Giese, Martin; Waaler, Arild & Kharlamov, Evgeny
(2018).
On Enhancing Visual Query Building over KGs Using Query Logs.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
11341,
p. 77–85.
doi:
10.1007/978-3-030-04284-4_6.
Full text in Research Archive
Show summary
Knowledge Graphs have recently gained a lot of attention and have been successfully applied in both academia and industry. Since KGs may be very large: they may contain millions of entities and triples relating them to each other, to classes, and assigning them data values, it is important to provide endusers with effective tools to explore information encapsulated in KGs. In this work we present a visual query system that allows users to explore KGs by intuitively constructing tree-shaped conjunctive queries. It is known that systems of this kind suffer from the problem of information overflow: when constructing a query the users have to iteratively choose from a potentially very long list of options, sich as, entities, classes, and data values, where each such choice corresponds to an extension of the query new filters. In order to address this problem we propose an approach to substantially reduce such lists with the help of ranking and by eliminating the so-called deadends, options that yield queries with no answers over a given KG.
-
-
-
-
-
-
-
-
-
-
-
Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar
[Show all 7 contributors for this article]
(2016).
Optique: Simple, Oil & Gas-oriented access to big data in exploration,
SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings.
Society of Petroleum Engineers.
ISSN 978-1-61399-459-7.
doi:
10.2118/181111-MS.
-
Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf & Neuenstadt, Christian
[Show all 11 contributors for this article]
(2016).
Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases.
CEUR Workshop Proceedings.
ISSN 1613-0073.
1818,
p. 34–39.
-
-
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),
p. 62–66.
doi:
10.1109/MIC.2016.121.
-
Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis & Lamparter, Steffen
[Show all 17 contributors for this article]
(2016).
Enabling semantic access to static and streaming distributed data with optique: demo.
In Gal, Avigdor; Weidlich, Matthias; Kalogeraki, Vana & Venkasubramanian, Nalini (Ed.),
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24.
ACM Publications.
ISSN 978-1-4503-4021-2.
p. 350–353.
doi:
10.1145/2933267.2933290.
-
-
-
-
-
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.
p. 1–33.
doi:
10.1007/s10209-016-0465-0.
Full text in Research Archive
-
-
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.
Full text in Research Archive
Show summary
With the emergence of the Web of Data, there is a need of tools for searching and exploring the growing amount of semantic data. Unfortunately, such tools are scarce and typically require knowledge of SPARQL/RDF. We propose here PepeSearch, a portable tool for searching semantic datasets devised for mainstream users. PepeSearch offers a multi-class search form automatically constructed from a SPARQL endpoint. We have tested PepeSearch with 15 participants searching a Linked Open Data version of the Norwegian Register of Business Enterprises for non-trivial challenges. Retrieval performance was encouragingly high and usability ratings were also very positive, thus suggesting that PepeSearch is effective for searching semantic datasets by mainstream users. We also assessed its portability by configuring PepeSearch to query other SPARQL endpoints.
-
Soylu, Ahmet & Giese, Martin
(2015).
Qualifying Ontology-Based Visual Query Formulation.
In Andreasen, Troels; Christiansen, Henning; Kacprzyk, Janusz; Larsen, Henrik; Pasi, Gabriella; Pivert, Olivier; Tré, Guy De; Amparo, Maria; Yazici, Adnan & Zadrożny, Sławomir (Ed.),
Flexible Query Answering Systems 2015
Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015.
Springer.
ISSN 978-3-319-26154-6.
p. 243–255.
doi:
10.1007/978-3-319-26154-6_19.
Show summary
This paper elaborates on ontology-based end-user visual query formulation, particularly for users who otherwise cannot/do not desire to use formal textual query languages to retrieve data due to the lack of technical knowledge and skills. Then, it provides a set of quality attributes and features, primarily elicited via a series of industrial end-user workshops and user studies carried out in the course of an industrial EU project, to guide the design and development of successor visual query systems.
-
-
Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jiménez-Ruiz, Ernesto; Giese, Martin & Horrocks, Ian
(2015).
Ontology-Based Visual Query Formulation:
An Industry Experience.
In Bebis, George; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Pavlidis, Ioannis; Feris, Rogerio; McGraw, Tim; Elendt, Mark; Kopper, Regis; Ragan, Eric; Ye, Zhao & Weber, Gunther (Ed.),
Advances in Visual Computing
11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I.
Springer.
ISSN 978-3-319-27857-5.
p. 842–854.
doi:
10.1007/978-3-319-27857-5_75.
Show summary
Querying is an essential instrument for meeting ad hoc information needs; however, current approaches for querying semantic data sources mostly target technologically versed users. Hence, there is a need for methods that make it possible for users with limited technological skills to express relatively complex ad hoc information needs in an easy and intuitive way. Visual methods for query formulation undertake the challenge of making querying independent of users’ technical skills and the knowledge of the underlying textual query language and the structure of data. In this paper, we present an ontology-based visual query system, OptiqueVQS, and report user experiments in two industrial settings.
-
-
-
Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin
(2015).
Ontology-Based Integration of Cross-Linked Datasets.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
9366,
p. 199–216.
doi:
10.1007/978-3-319-25007-6_12.
Full text in Research Archive
Show summary
In this paper we tackle the problem of answering SPARQL queries over virtually integrated databases. We assume that the entity resolution problem has already been solved and explicit information is available about which records in the different databases refer to the same real world entity. Surprisingly, to the best of our knowledge, there has been no attempt to extend the standard Ontology-Based Data Access (OBDA) setting to take into account these DB links for SPARQL query-answering and consistency checking. This is partly because the OWL built-in owl:sameAs property, the most natural representation of links between data sets, is not included in OWL 2 QL, the de facto ontology language for OBDA. We formally treat several fundamental questions in this context: how links over database identifiers can be represented in terms of owl:sameAs statements, how to recover rewritability of SPARQL into SQL (lost because of owl:sameAs statements), and how to check consistency. Moreover, we investigate how our solution can be made to scale up to large enterprise datasets. We have implemented the approach, and carried out an extensive set of experiments showing its scalability.
-
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,
p. 91–96.
-
-
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),
p. 129–152.
doi:
10.1007/s10209-015-0404-5.
Full text in Research Archive
Show summary
Data access in an enterprise setting is a determining factor for value creation processes, such as sense-making, decision-making, and intelligence analysis. Particularly, in an enterprise setting, intuitive data access tools that directly engage domain experts with data could substantially increase competitiveness and profitability. In this respect, the use of ontologies as a natural communication medium between end users and computers has emerged as a prominent approach. To this end, this article introduces a novel ontology-based visual query system, named OptiqueVQS, for end users. OptiqueVQS is built on a powerful and scalable data access platform and has a user-centric design supported by a widget-based flexible and extensible architecture allowing multiple coordinated representation and interaction paradigms to be employed. The results of a usability experiment performed with non-expert users suggest that OptiqueVQS provides a decent level of expressivity and high usability and hence is quite promising.
-
-
-
-
Soylu, Ahmet; Giese, Martin; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Zheleznyakov, Dmitriy & Horrocks, Ian
(2014).
Why not simply Google?
In Olsson, Thomas & Hvannberg, Ebba Þóra (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).
ISSN 978-1-4503-2542-4.
p. 1039–1042.
doi:
10.1145/2639189.2670270.
-
-
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 Ladid, Latif; Montes, Antonio; Bruck, Peter A.; Ferri, Fernando & Chbeir, Richard (Ed.),
Fifth International Conference on Management of Emergent Digital EcoSystems, MEDES '13, Luxembourg, Luxembourg, October 29-31, 2013.
Association for Computing Machinery (ACM).
ISSN 978-1-4503-2004-7.
p. 119–126.
doi:
10.1145/2536146.2536149.
-
-
-
-
Soylu, Ahmet; Skjæveland, Martin G; Giese, Martin; Horrocks, Ian; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny
[Show all 7 contributors for this article]
(2013).
A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data.
In Garoufallou, Emmanouel & Greenberg, Jane (Ed.),
Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings.
Springer.
ISSN 978-3-319-03436-2.
p. 201–212.
doi:
10.1007/978-3-319-03437-9_21.
-
Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny
[Show all 20 contributors for this article]
(2013).
The Optique Project: Towards OBDA Systems for Industry.
CEUR Workshop Proceedings.
ISSN 1613-0073.
1080.
-
-
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 Kanvinde, Sanjay (Eds.),
SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands.
Society of Petroleum Engineers.
ISSN 978-1-61399-191-6.
doi:
10.2118/150225-ms.
-
Holen, Bjarne; Hovland, Dag & Giese, Martin
(2012).
Efficient Rule-Matching for Automated Coherent Logic.
NIKT: Norsk IKT-konferanse for forskning og utdanning.
ISSN 1892-0713.
p. 25–36.
doi:
10.29007/r5m4.
Full text in Research Archive
-
Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild
(2012).
Incremental variable splitting.
Journal of symbolic computation.
ISSN 0747-7171.
47(9),
p. 1046–1065.
doi:
10.1016/j.jsc.2011.12.032.
Show summary
The variable splitting method for free-variable tableau calculi provides an admissibility condition under which the same free variables can be assigned values independently on different branches. While this has a large potential for automated proof search, a direct implementation of this condition is impractical. We adapt the incremental closure framework for free variables to variable splitting tableaux by recasting the admissibility condition for closing substitutions into a constraint satisfaction problem. The resulting mechanism allows to check the existence of an admissible closing substitution incrementally during the construction of a proof. We specify a rule-based algorithm for testing satisfiability of constraints that accounts for split variables, and present experimental results based on a prototype variable splitting theorem prover implementation measuring the computational overhead of the variable splitting framework.
-
-
-
Ivanovska, Magdalena & Giese, Martin
(2010).
Probabilistic Logic with Conditional Independence Formulae.
In Ågotnes, Thomas (Eds.),
STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium.
IOS Press.
ISSN 978-1-60750-675-1.
p. 127–139.
Show summary
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with incomplete information like probabilities that are missing or only known to lie in some interval. However, probabilistic propositional logic as described e.g. by Halpern [1], has no way of expressing conditional independence, which is important for compact specification in many cases. We define a logic with conditional independence formulae. We give an axiomatization which we show to be complete for the kind of inferences allowed by Bayesian networks, while still being suitable for reasoning under incomplete information.
-
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),
p. 43–49.
doi:
10.1007/s13218-010-0001-y.
Show summary
Software is vital for modern society. It is used in many safety- or security-critical applications, where a high degree of correctness is desirable. Over the last years, technologies for the formal specification and verification of software—using logic-based specification languages and automated deduction—have matured and can be expected to complement and partly replace traditional software engineering methods in the future. Program verification is an increasingly important application area for automated deduction. The field has outgrown the area of academic case studies, and industry is showing serious interest. This article describes the aspects of automated deduction that are important for program verification in practise, and it gives an overview of the reasoning mechanisms, the methodology, and the architecture of modern program verification systems.
View all works in Cristin
-
Gutiérrez-Basulto, Víctor; Kliegr, Tomas; Soylu, Ahmet; Giese, Martin & Roman, Dumitru
(2020).
Rules and Reasoning. 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings.
Springer.
ISBN 978-3-030-57977-7.
12173(1).
187 p.
-
View all works in Cristin
-
Qu, Yuanwei; Zhou, Baifan; Kharlamov, Evgeny & Giese, Martin
(2022).
Industrial Geological Information Capture with GeoStructure Ontology.
Show summary
Understanding geological structures plays an essential role in a wide range of industries. Various tools and software have been developed to support the observation and characterisation of the geological structures and they produce a large volume of heterogeneous data. Thanks to the development of semantic technologies, plenty of works have investigated industrial geological data. In contrast, geological sketches, figure interpretations, and illustrations as the initial data collection and analysis steps have received little attention. Most structure information is still reported as PDF files with forms, tables, and raster images with interpretations. We attempt to fill this gap by providing an ontology- based industrial geological information capture method to allow users to input and store structure information formally. Following users’ sketches, the corresponding knowledge graphs will be generated. This work aims to make the first-hand geological structure information findable, accessible, interoperable, reusable (FAIR), and to support qualitative information reasoning, from a user-driven perspective, and to meet the needs of digitised industry.
-
Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin
(2020).
Correction to: Data-based support for petroleum prospect evaluation (Earth Science Informatics, (2020), 13, 4, (1305-1324), 10.1007/s12145-020-00502-4).
Earth Science Informatics [ESIN].
ISSN 1865-0473.
13(4).
doi:
10.1007/s12145-020-00536-8.
-
-
-
Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G
(2018).
Ontology-Based Data Access in Exploration.
-
Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar
[Show all 7 contributors for this article]
(2016).
Optique: Simple, Oil & Gas-oriented access to big data in exploration.
-
-
Heggestøyl, Simen; Vega-Gorgojo, Guillermo & Giese, Martin
(2014).
Visual Query Formulation for Linked Open Data: The Norwegian Entity Registry Case.
-
Giese, Martin & Waaler, Arild
(2013).
Optique - Scalable End-user Access to Big Data.
-
Giese, Martin
(2013).
Optique - Scalable End-user Access to Big Data.
-
Giese, Martin
(2013).
Optique - Scalable End-user Access to Big Data.
-
Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet & Zheleznyakov, Dmitriy
[Show all 21 contributors for this article]
(2013).
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages.
-
Ivanovska, Magdalena & Giese, Martin
(2012).
A Probabilistic Logic for Sequences of Decisions.
Show summary
We define a probabilistic propositional logic
for making a finite, ordered sequence of
decisions under uncertainty by extending
an existing probabilistic propositional logic
with expectation and utility-independence
formulae. The language has a relatively simple
model semantics, and it allows a similarly
compact representation of decision
problems as influence diagrams. We present
a calculus and show that it is complete at
least for the type of reasoning possible with
influence diagrams.
-
Ivanovska, Magdalena & Giese, Martin
(2012).
A Probabilistic Logic for Sequences of Decisions.
-
Giese, Martin & Ivanovska, Magdalena
(2012).
Logics for Decision Making.
-
Giese, Martin
(2012).
Fra Aristoteles til Web 3.0!
-
Giese, Martin
(2012).
Fra Aristoteles til Web 3.0.
-
Giese, Martin
(2012).
A Calculus for Type Predicates and Type Coercion.
-
-
Giese, Martin
(2012).
Linked Data or Queryable Data?—Are five stars enough?
-
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
(2011).
Fra Aristoteles til Web 3.0.
-
-
Thapa, Ratan Bahadur & Giese, Martin
(2023).
Optimizing SPARQL Queries with SHACL (Extended Version).
Universitetet i Oslo. Institutt for informatikk Norway.
ISSN 978-82-7368-604-6.
0806-3036(504).
Full text in Research Archive
Show summary
We propose a set of optimizations that can be applied to a given
SPARQL query, and that guarantee that the optimized query has the same answers under bag semantics as the original query, provided that the queried RDF graph validates certain SHACL constraints. Our optimizations exploit the relationship between graph patterns in the SPARQL queries and the SHACL constraints that describe those patterns in the RDF graph. We prove the correctness of these optimizations and show how they can be propagated to larger queries while preserving answers. Further, we prove the confluence of rewritings that employ these optimizations, guaranteeing convergence to the same optimized query regardless of the rewriting order.
-
Thapa, Ratan Bahadur & Giese, Martin
(2022).
Mapping Relational Database Constraints to SHACL (Extended Version).
Universitetet i Oslo. Institutt for informatikk.
ISSN 978-82-7368-603-9.
0806-3036(503).
Full text in Research Archive
Show summary
Most structured data today is still stored in relational databases, which makes it important to provide a translation between relational and semantic data. A relational to RDF mapping, such as
R2RML [14], provides a way to view existing relational data in the RDF data model through declarative mappings.
While relational to RDF mapping translates relational instance data to RDF, it does not specify any translation of existing relational constraints such as primary and foreign key constraints. Since the introduction of R2RML, interest in RDF constraint languages has increased and SHACL [17] has been standardised. This raises the question of which SHACL constraints are guaranteed to be valid on a dataset produced by a relational to RDF mapping.
For arbitrary SQL constraints and relational to RDF mappings, this is a hard problem, but we introduce a number of restrictions on the mappings that allow us
to introduce a constraint rewriting for relational to RDF mappings that faithfully transfers SQL integrity constraints to SHACL constraints.
We define and prove two fundamental properties, namely maximal semantics preservation and monotonicity.
-
Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin
(2022).
Never Mind the Semantic Gap:
Modular, Lazy and Safe Loading of RDF Data (Full Paper).
Universitetet i Oslo.
ISSN 978-82-7368-602-2.
Full text in Research Archive
-
Thapa, Ratan Bahadur & Giese, Martin
(2021).
A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version).
Universitetet i Oslo. Institutt for informatikk.
ISSN 978-82-7368-463-9.
Full text in Research Archive
-
Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin
(2021).
Programming and Debugging with Semantically Lifted States (Full Paper).
Springer.
ISSN 978-82-7368-464-6.
Full text in Research Archive
-
-
Karlsen, Leif Harald & Giese, Martin
(2017).
Qualitatively Correct Bintrees With Roles.
Department of Informatics, University of Oslo.
ISSN 978-82-7368-432-5.
Full text in Research Archive
-
Karlsen, Leif Harald & Giese, Martin
(2017).
An Efficient Representation of Qualitative Spatial Information using Bintrees.
Department of Informatics, University of Oslo.
ISSN 978-82-7368-425-7.
Full text in Research Archive
View all works in Cristin
Published
Nov. 4, 2010 1:54 PM
- Last modified
Jan. 26, 2024 11:07 AM
