Connections in Nonclassical Logics. - Arild Waaler (Handbook of Automated Reasoning, 2001)

A Free Variable Sequent Calculus with Uniform Variable Splitting. - Arild Waaler; Roger Antonsen (TABLEAUX, 2003)

Consistency Proofs for Systems of Multi?agent Only Knowing. - Arild Waaler (Advances in Modal Logic, 2004)

Only Knowing with Confidence Levels: Reductions and Complexity. - Espen H. Lian; Tore Langholm; Arild Waaler (JELIA, 2004)

Trustworthiness by Default. - Johan W. Klüwer; Arild Waaler (CLIMA, 2005)

Logical Spaces in Multi-agent Only Knowing Systems. - Bjørnar Solhaug; Arild Waaler (CLIMA, 2005)

Relative Trustworthiness. - Johan W. Klüwer; Arild Waaler (Formal Aspects in Security and Trust, 2005)

Default Reasoning with Preference Within Only Knowing Logic. - Iselin Engan; Tore Langholm; Espen H. Lian; Arild Waaler (LPNMR, 2005)

Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. - Roger Antonsen; Arild Waaler (TABLEAUX, 2005)

Semantics for multi-agent only knowing: extended abstract. - Arild Waaler; Bjørnar Solhaug (TARK, 2005)

A Labelled System for IPL with Variable Splitting. - Roger Antonsen; Arild Waaler (CADE, 2007)

Only knowing with degrees of confidence. - Arild Waaler; Johan W. Klüwer; Tore Langholm; Espen H. Lian (J. Appl. Log., 2007)

Liberalized Variable Splitting. - Roger Antonsen; Arild Waaler (J. Autom. Reason., 2007)

Computing Default Extensions by Reductions on OR. - Espen H. Lian; Arild Waaler (KR, 2008)

Proof Search for the First-Order Connection Calculus in Maude. - Bjarne Holen; Einar Broch Johnsen; Arild Waaler (WRLA, 2008)

An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). - Espen H. Lian; Arild Waaler (Description Logics, 2009)

Confluent Term Rewriting for Only-knowing Logics. - Espen H. Lian; Einar Broch Johnsen; Arild Waaler (STAIRS, 2010)

Incremental variable splitting. - Christian Mahesh Hansen; Roger Antonsen; Martin Giese; Arild Waaler (J. Symb. Comput., 2012)

Optique: OBDA Solution for Big Data. - Diego Calvanese; Martin Giese; Peter Haase 001; Ian Horrocks 001; Thomas Hubauer; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Herald Kllapi; Johan W. Klüwer; Manolis Koubarakis; Steffen Lamparter; et al. (ESWC (Satellite Events), 2013)

Optique: Towards OBDA Systems for Industry. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Dmitriy Zheleznyakov; Dimitris Bilidas; Martin Giese; Peter Haase 001; Ian Horrocks 001; Herald Kllapi; Manolis Koubarakis; Özgür L. Özçep; Mariano Rodriguez-Muro; Riccardo Rosati 001; et al. (ESWC (Satellite Events), 2013)

The Optique Project: Towards OBDA Systems for Industry (Short Paper). - Diego Calvanese; Martin Giese; Peter Haase 001; Ian Horrocks 001; Thomas Hubauer; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Herald Kllapi; Manolis Koubarakis; Steffen Lamparter; Ralf Möller 001; et al. (OWLED, 2013)

Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. - Evgeny Kharlamov; Martin Giese; Ernesto Jiménez-Ruiz; Martin G. Skjæveland; Ahmet Soylu; Dmitriy Zheleznyakov; Timea Bagosi; Marco Console; Peter Haase 001; Ian Horrocks 001; Sarunas Marciuska; Christoph Pinkel; et al. (ISWC (Posters & Demos), 2013)

Optique: Ontology-Based Data Access Platform. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Christoph Pinkel; Martin Rezk; Martin G. Skjæveland; Ahmet Soylu; Guohui Xiao 001; Dmitriy Zheleznyakov; Martin Giese; Ian Horrocks 001; Arild Waaler (ISWC (Posters & Demos), 2015)

Optique: Zooming in on Big Data. - Martin Giese; Ahmet Soylu; Guillermo Vega-Gorgojo; Arild Waaler; Peter Haase 001; Ernesto Jiménez-Ruiz; Davide Lanti; Martín Rezk; Guohui Xiao 001; Özgür L. Özçep; Riccardo Rosati 001 (Computer, 2015)

Engineering ontology-based access to real-world data sources. - Martin G. Skjæveland; Martin Giese; Dag Hovland; Espen H. Lian; Arild Waaler (J. Web Semant., 2015)

A semantic approach to polystores. - Evgeny Kharlamov; Theofilos P. Mailis; Konstantina Bereta; Dimitris Bilidas; Sebastian Brandt 001; Ernesto Jiménez-Ruiz; Steffen Lamparter; Christian Neuenstadt; Özgür L. Özçep; Ahmet Soylu; Christoforos Svingos; Guohui Xiao 001; et al. (IEEE BigData, 2016)

Enabling semantic access to static and streaming distributed data with optique: demo. - Evgeny Kharlamov; Sebastian Brandt 001; 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; et al. (DEBS, 2016)

PepeSearch: Easy to Use and Easy to Install Semantic Data Search. - Guillermo Vega-Gorgojo; Laura Slaughter; Martin Giese; Simen Heggestøyl; Johan W. Klüwer; Arild Waaler (ESWC (Satellite Events), 2016)

Scalable Semantic Access to Siemens Static and Streaming Distributed Data. - Evgeny Kharlamov; Sebastian Brandt 001; 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; et al. (ISWC (Posters & Demos), 2016)

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. - Dmitriy Zheleznyakov; Evgeny Kharlamov; Vidar Klungre; Martin G. Skjæveland; Dag Hovland; Martin Giese; Ian Horrocks 001; Arild Waaler (ISWC (Posters & Demos), 2016)

Using Semantic Technology to Tame the Data Variety Challenge. - Ian Horrocks 001; Martin Giese; Evgeny Kharlamov; Arild Waaler (IEEE Internet Comput., 2016)

Visual query interfaces for semantic datasets: An evaluation study. - Guillermo Vega-Gorgojo; Laura Slaughter; Martin Giese; Simen Heggestøyl; Ahmet Soylu; Arild Waaler (J. Web Semant., 2016)

Ontology-Based Data Access to Slegge. - Dag Hovland; Roman Kontchakov; Martin G. Skjæveland; Arild Waaler; Michael Zakharyaschev (ISWC (2), 2017)

Reasonable Ontology Templates: APIs for OWL. - Martin G. Skjæveland; Henrik Forssell; Johan W. Klüwer; Daniel P. Lupp; Evgenij Thorstensen; Arild Waaler (ISWC (Posters, Demos & Industry Tracks), 2017)

Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. - Martin G. Skjæveland; Henrik Forssell; Johan W. Klüwer; Daniel P. Lupp; Evgenij Thorstensen; Arild Waaler (WOP@ISWC, 2017)

On Improving the Phenotype Acquisition Process Using Semantic Web Technology. - Ernesto Jiménez-Ruiz; Dag Hovland; Laura Slaughter; Tony Håndstad; Arild Waaler (SWAT4LS, 2017)

Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. - Ian Harrow; Ernesto Jiménez-Ruiz; Andrea Splendiani; Martin Romacker; Peter Woollard; Scott Markel; Yasmin Alam-Faruque; Martin Koch 001; James Malone; Arild Waaler (J. Biomed. Semant., 2017)

Ontology Based Data Access in Statoil. - Evgeny Kharlamov; Dag Hovland; Martin G. Skjæveland; Dimitris Bilidas; Ernesto Jiménez-Ruiz; Guohui Xiao 001; Ahmet Soylu; Davide Lanti; Martin Rezk; Dmitriy Zheleznyakov; Martin Giese; Hallstein Lie; et al. (J. Web Semant., 2017)

Semantic access to streaming and static data at Siemens. - Evgeny Kharlamov; Theofilos Mailis; Gulnar Mehdi; Christian Neuenstadt; Özgür L. Özçep; Mikhail Roshchin; Nina Solomakhina; Ahmet Soylu; Christoforos Svingos; Sebastian Brandt 001; Martin Giese; Yannis E. Ioannidis; et al. (J. Web Semant., 2017)

Towards Semantically Enhanced Digital Twins. - Evgeny Kharlamov; Francisco Martín-Recuerda; Brandon Perry; David B. Cameron; Roar Fjellheim; Arild Waaler (IEEE BigData, 2018)

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract). - Evgeny Kharlamov; Gulnar Mehdi; Ognjen Savkovic; Guohui Xiao 001; Steffen Lamparter; Ian Horrocks 001; Arild Waaler (IEEE BigData, 2018)

Finding Data Should be Easier than Finding Oil. - Evgeny Kharlamov; Martin G. Skjæveland; Dag Hovland; Theofilos Mailis; Ernesto Jiménez-Ruiz; Guohui Xiao 001; Ahmet Soylu; Ian Horrocks 001; Arild Waaler (IEEE BigData, 2018)

On Enhancing Visual Query Building over KGs Using Query Logs. - Vidar Klungre; Ahmet Soylu; Martin Giese; Arild Waaler; Evgeny Kharlamov (JIST, 2018)

Semantic Material Master Data Management at Aibel. - Martin G. Skjæveland; Anders Gjerver; Christian M. Hansen; Johan Wilhelm Klüwer; Morten R. Strand; Arild Waaler; Per Øyvind Øverli (ISWC (P&D/Industry/BlueSky), 2018)

An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data. - Evgeny Kharlamov; Yannis Kotidis; Theofilos Mailis; Christian Neuenstadt; Charalampos Nikolaou; Özgür L. Özçep; Christoforos Svingos; Dmitriy Zheleznyakov; Yannis E. Ioannidis; Steffen Lamparter; Ralf Möller 001; Arild Waaler (J. Web Semant., 2019)

A Semantic Approach to Identifier Management in Engineering Systems. - Rustam Mehmandarov; Arild Waaler; David B. Cameron; Roar Fjellheim; Thomas Bech Pettersen (IEEE BigData, 2021)

SemML: Facilitating development of ML models for condition monitoring with semantics. - Baifan Zhou; Yulia Svetashova; Andre Gusmao; Ahmet Soylu; Gong Cheng 001; Ralf Mikut; Arild Waaler; Evgeny Kharlamov (J. Web Semant., 2021)

Towards Addressing Requirements to Identification Posed by the Digital Transformation. - Rustam Mehmandarov; Dag Hovland; Torleif Saltvedt; Arild Waaler (SemIIM, 2022)

Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry. - Yuanwei Qu; Baifan Zhou; Arild Waaler; David B. Cameron (PRICAI (3), 2023)

Towards Standardised Product Data Exchange with Information Modelling Framework at Siemens Energy. - Maja Milicic Brandt; Foivos Psarommatis; Christophe Simon; Arild Waaler; Baifan Zhou (SemIIM, 2023)

Improving Reasoning on Large Ontologies via Ontology Modularity. - Jieying Chen 001; Johanna P. Haarseth; Christian M. Hansen; Martin G. Skjæveland; Arild Waaler (ISWC (Posters/Demos/Industry), 2023)

Towards Data Integrity Verification for More Sustainable Petroleum Industry. - Yuanwei Qu; Zhuoxun Zheng; Baifan Zhou; Yan Zhou; Nicolau Santos; Ognjen Savkovic; Arild Waaler; David B. Cameron (ISWC (Posters/Demos/Industry), 2023)

Low-Dimensional Hyperbolic Knowledge Graph Embedding for Better Extrapolation to Under-Represented Data. - Zhuoxun Zheng; Baifan Zhou; Hui Yang; Zhipeng Tan; Arild Waaler; Evgeny Kharlamov; Ahmet Soylu (ESWC (1), 2024)

Knowledge graph embedding closed under composition. - Zhuoxun Zheng; Baifan Zhou; Hui Yang; Zhipeng Tan; Zequn Sun; Chunnong Li; Arild Waaler; Evgeny Kharlamov; Ahmet Soylu (Data Min. Knowl. Discov., 2024)

Challenges and Approach: AI for Digitalised Carbon Storage Analysis. - Yuanwei Qu; Arild Waaler; Anita Torabi; Baifan Zhou (NAIS, 2025)

Dataset for Industrial Question Answering with Explanation and Scalable Ensemble Generation. - Yan Zhou; Baifan Zhou; Huajian Li; Qianhang Lyu; Yuanwei Qu; Arild Waaler; Ingrid C. Yu (WWW (Companion Volume), 2025)