Arild Waaler

According to our database1, Arild Waaler authored at least 45 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data.
J. Web Semant., 2019

2018
Semantic Material Master Data Management at Aibel.
Proceedings of the ISWC 2018 Posters & Demonstrations, 2018

On Enhancing Visual Query Building over KGs Using Query Logs.
Proceedings of the Semantic Technology - 8th Joint International Conference, 2018

Finding Data Should be Easier than Finding Oil.
Proceedings of the IEEE International Conference on Big Data, 2018

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract).
Proceedings of the IEEE International Conference on Big Data, 2018

Towards Semantically Enhanced Digital Twins.
Proceedings of the IEEE International Conference on Big Data, 2018

2017
Semantic access to streaming and static data at Siemens.
J. Web Semant., 2017

Ontology Based Data Access in Statoil.
J. Web Semant., 2017

Matching disease and phenotype ontologies in the ontology alignment evaluation initiative.
J. Biomedical Semantics, 2017

On Improving the Phenotype Acquisition Process Using Semantic Web Technology.
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.
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.
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.
Proceedings of the Semantic Web - ISWC 2017, 2017

2016
Visual query interfaces for semantic datasets: An evaluation study.
J. Web Semant., 2016

Using Semantic Technology to Tame the Data Variety Challenge.
IEEE Internet Computing, 2016

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction.
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.
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.
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.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016


2015
Engineering ontology-based access to real-world data sources.
J. Web Semant., 2015

Optique: Zooming in on Big Data.
IEEE Computer, 2015

Optique: Ontology-Based Data Access Platform.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

2013

The Optique Project: Towards OBDA Systems for Industry (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013



2012
Incremental variable splitting.
J. Symb. Comput., 2012

2010
Confluent Term Rewriting for Only-knowing Logics.
Proceedings of the STAIRS 2010, 2010

2009
Proof Search for the First-Order Connection Calculus in Maude.
Electr. Notes Theor. Comput. Sci., 2009

An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Computing Default Extensions by Reductions on OR.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007
Liberalized Variable Splitting.
J. Autom. Reasoning, 2007

Only knowing with degrees of confidence.
J. Applied Logic, 2007

A Labelled System for IPL with Variable Splitting.
Proceedings of the Automated Deduction, 2007

2005
Semantics for multi-agent only knowing: extended abstract.
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.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Default Reasoning with Preference Within Only Knowing Logic.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

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

Logical Spaces in Multi-agent Only Knowing Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

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

2004
Only Knowing with Confidence Levels: Reductions and Complexity.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Consistency Proofs for Systems of Multi?agent Only Knowing.
Proceedings of the Advances in Modal Logic 5, 2004

2003
A Free Variable Sequent Calculus with Uniform Variable Splitting.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2001
Connections in Nonclassical Logics.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001


  Loading...