Martin Giese

Proceedings of the Semantic Web - ISWC 2023, 2023

Emerging Challenges in Compositionality and Correctness for Digital Twins.

[BibT_eX]

[DOI]

Silvia Lizeth Tapia Tarifa

Vidar Norstein Klungre

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.

[BibT_eX]

[DOI]

Yuanwei Qu

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.

[BibT_eX]

[DOI]

Summaya Mumtaz

J. Intell. Inf. Syst., 2022

Mapping Relational Database Constraints to SHACL.

[BibT_eX]

[DOI]

Ratan Bahadur Thapa

Proceedings of the Semantic Web - ISWC 2022, 2022

Industrial Geological Information Capture with GeoStructure Ontology.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Vidar Norstein Klungre

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

2021

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

[BibT_eX]

[DOI]

Ratan Bahadur Thapa

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

Programming and Debugging with Semantically Lifted States.

[BibT_eX]

[DOI]

Vidar Norstein Klungre

Rudolf Schlatte

Einar Broch Johnsen

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

2020

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

[BibT_eX]

[DOI]

Earth Sci. Informatics, 2020

Data-based support for petroleum prospect evaluation.

[BibT_eX]

[DOI]

Earth Sci. Informatics, 2020

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

[BibT_eX]

[DOI]

Summaya Mumtaz

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.

[BibT_eX]

[DOI]

New Gener. Comput., 2019

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

[BibT_eX]

[DOI]

Leif Harald Karlsen

GeoInformatica, 2019

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

[BibT_eX]

[DOI]

Laura Slaughter

J. Biomed. Semant., 2019

2018

OptiqueVQS: A visual query system over ontologies for industry.

[BibT_eX]

[DOI]

Semantic Web, 2018

Approximating Faceted Search for Graph Queries.

[BibT_eX]

[DOI]

Vidar Klungre

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.

[BibT_eX]

[DOI]

Vidar Klungre

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

On Enhancing Visual Query Building over KGs Using Query Logs.

[BibT_eX]

[DOI]

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

Efficient Ontology-Based Data Integration with Canonical IRIs.

[BibT_eX]

[DOI]

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

2017

Semantic access to streaming and static data at Siemens.

[BibT_eX]

[DOI]

J. Web Semant., 2017

Ontology Based Data Access in Statoil.

[BibT_eX]

[DOI]

J. Web Semant., 2017

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

[BibT_eX]

[DOI]

Univers. Access Inf. Soc., 2017

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

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2017

IEEE BigDataService 2016 conference.

[BibT_eX]

[DOI]

Jerry Gao

Yifeng Zeng

Int. J. Data Sci. Anal., 2017

Exploring Semantic Datasets with RDF Surveyor.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Vidar N. Klungre

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.

[BibT_eX]

[DOI]

Leif Harald Karlsen

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

2016

Visual query interfaces for semantic datasets: An evaluation study.

[BibT_eX]

[DOI]

J. Web Semant., 2016

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

[BibT_eX]

[DOI]

Ahmet Soylu

Ernesto Jiménez-Ruiz

Ian Horrocks

Univers. Access Inf. Soc., 2016

Using Semantic Technology to Tame the Data Variety Challenge.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Domain Experts Surfing on Stream Sensor Data over Ontologies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

A semantic approach to polystores.

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

J. Web Semant., 2015

Optique: Zooming in on Big Data.

[BibT_eX]

[DOI]

Ahmet Soylu

Computer, 2015

OptiqueVQS: Ontology-Based Visual Querying.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Ontology-Based Visual Query Formulation: An Industry Experience.

[BibT_eX]

[DOI]

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

Qualifying Ontology-Based Visual Query Formulation.

[BibT_eX]

[DOI]

Ahmet Soylu

Proceedings of the Flexible Query Answering Systems 2015, 2015

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

[BibT_eX]

[DOI]

Leif Harald Karlsen

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

2014

Why not simply Google?

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Simen Heggestøyl

Proceedings of the 27th Norsk Informatikkonferanse, 2014

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

[BibT_eX]

[DOI]

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

OptiqueVQS: Visual Query Formulation for OBDA.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

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

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Optique: Towards OBDA Systems for Industry.

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

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

Optique: OBDA Solution for Big Data.

[BibT_eX]

[DOI]

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

2012

Incremental variable splitting.

[BibT_eX]

[DOI]

Christian Mahesh Hansen

Roger Antonsen

Arild Waaler

J. Symb. Comput., 2012

Efficient Rule-Matching for Hyper-Tableaux.

[BibT_eX]

[DOI]

Bjarne Holen

Dag Hovland

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

2010

Practical Aspects of Automated Deduction for Program Verification.

[BibT_eX]

[DOI]

Künstliche Intell., 2010

Introduction.

[BibT_eX]

[DOI]

Andrew Ireland

Laura Kovács

J. Symb. Comput., 2010

Probabilistic Logic with Conditional Independence Formulae.

[BibT_eX]

[DOI]

Magdalena Ivanovska

Proceedings of the ECAI 2010, 2010

2007

First-Order Logic.

[BibT_eX]

[DOI]

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

Superposition-based Equality Handling for Analytic Tableaux.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

The KeY system 1.0 (Deduction Component).

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2006

Saturation Up to Redundancy for Tableau and Sequent Calculi.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

2005

The KeY tool.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Simplifying Transformations of OCL Constraints.

[BibT_eX]

[DOI]

Daniel Larsson

Proceedings of the Model Driven Engineering Languages and Systems, 2005

A Calculus for Type Predicates and Type Coercion.

[BibT_eX]

[DOI]

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

2004

From Informal to Formal Specifications in UML.

[BibT_eX]

[DOI]

Rogardt Heldal

Proceedings of the «UML» 2004, 2004

2003

Taclets and the KeY Prover.

[BibT_eX]

[DOI]

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Simplification Rules for Constrained Formula Tableaux.

[BibT_eX]

[DOI]

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

2002

Proof search without backtracking for free variable tableaux.

[BibT_eX]

[DOI]

PhD thesis, 2002

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Incremental Closure of Free Variable Tableaux.

[BibT_eX]

[DOI]

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

2000

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

[BibT_eX]

[DOI]

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

1999

Hilbert's epsilon-Terms in Automated Theorem Proving.

[BibT_eX]

[DOI]