Arild Waaler

Francisco Martín-Recuerda

David Cameron

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

2022

Towards Addressing Requirements to Identification Posed by the Digital Transformation.

[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

2021

SemML: Facilitating development of ML models for condition monitoring with semantics.

[BibT_eX]

[DOI]

J. Web Semant., 2021

A Semantic Approach to Identifier Management in Engineering Systems.

[BibT_eX]

[DOI]

Thomas Bech Pettersen

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

2019

An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data.

[BibT_eX]

[DOI]

J. Web Semant., 2019

2018

Semantic Material Master Data Management at Aibel.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

On Enhancing Visual Query Building over KGs Using Query Logs.

[BibT_eX]

[DOI]

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

Finding Data Should be Easier than Finding Oil.

[BibT_eX]

[DOI]

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

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract).

[BibT_eX]

[DOI]

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

Towards Semantically Enhanced Digital Twins.

[BibT_eX]

[DOI]

Evgeny Kharlamov

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 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

Matching disease and phenotype ontologies in the ontology alignment evaluation initiative.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2017

On Improving the Phenotype Acquisition Process Using Semantic Web Technology.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4LS 2017), 2017

Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

Reasonable Ontology Templates: APIs for OWL.

[BibT_eX]

[DOI]

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

Ontology-Based Data Access to Slegge.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Semantic Web - ISWC 2017, 2017

2016

Visual query interfaces for semantic datasets: An evaluation study.

[BibT_eX]

[DOI]

Guillermo Vega-Gorgojo

J. Web Semant., 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]

Guillermo Vega-Gorgojo

Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 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]

Martin Giese

Ahmet Soylu

Guillermo Vega-Gorgojo

Computer, 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

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

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

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

Martin Giese

J. Symb. Comput., 2012

2010

Confluent Term Rewriting for Only-knowing Logics.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Proceedings of the STAIRS 2010, 2010

2009

An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Proof Search for the First-Order Connection Calculus in Maude.

[BibT_eX]

[DOI]

Bjarne Holen

Einar Broch Johnsen

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Computing Default Extensions by Reductions on OR.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

Liberalized Variable Splitting.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Only knowing with degrees of confidence.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

A Labelled System for IPL with Variable Splitting.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2005

Semantics for multi-agent only knowing: extended abstract.

[BibT_eX]

[DOI]

Bjørnar Solhaug

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.

[BibT_eX]

[DOI]

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

Default Reasoning with Preference Within Only Knowing Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Relative Trustworthiness.

[BibT_eX]

[DOI]

Johan W. Klüwer

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

Logical Spaces in Multi-agent Only Knowing Systems.

[BibT_eX]

[DOI]

Bjørnar Solhaug

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Trustworthiness by Default.

[BibT_eX]

[DOI]

Johan W. Klüwer

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Only Knowing with Confidence Levels: Reductions and Complexity.

[BibT_eX]

[DOI]

Tore Langholm

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Consistency Proofs for Systems of Multi?agent Only Knowing.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

A Free Variable Sequent Calculus with Uniform Variable Splitting.

[BibT_eX]

[DOI]

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

2001

Connections in Nonclassical Logics.

[BibT_eX]

[DOI]