Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarArild Waaler
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – today
- 2019
[j12]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
, Arild Waaler:
An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data. J. Web Semant. 56: 30-55 (2019)- 2018
- [c32]Evgeny Kharlamov, Martin G. Skjæveland, Dag Hovland, Theofilos Mailis, Ernesto Jiménez-Ruiz, Guohui Xiao, Ahmet Soylu, Ian Horrocks, Arild Waaler:
Finding Data Should be Easier than Finding Oil. BigData 2018: 1747-1756 - [c31]Evgeny Kharlamov, Gulnar Mehdi, Ognjen Savkovic, Guohui Xiao, Steffen Lamparter, Ian Horrocks, Arild Waaler:
Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract). BigData 2018: 1951-1954 - [c30]Evgeny Kharlamov, Francisco Martín-Recuerda, Brandon Perry, David Cameron, Roar Fjellheim, Arild Waaler:
Towards Semantically Enhanced Digital Twins. BigData 2018: 4189-4193 - [c29]Vidar Klungre, Ahmet Soylu, Martin Giese, Arild Waaler, Evgeny Kharlamov:
On Enhancing Visual Query Building over KGs Using Query Logs. JIST 2018: 77-85 - [c28]Martin G. Skjæveland, Anders Gjerver, Christian M. Hansen, Johan Wilhelm Klüwer, Morten R. Strand, Arild Waaler, Per Øyvind Øverli:
Semantic Material Master Data Management at Aibel. International Semantic Web Conference (P&D/Industry/BlueSky) 2018 - 2017
- [j11]Ian Harrow, Ernesto Jiménez-Ruiz, Andrea Splendiani, Martin Romacker, Peter Woollard, Scott Markel, Yasmin Alam-Faruque, Martin Koch, James Malone, Arild Waaler:
Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. J. Biomedical Semantics 8(1): 55:1-55:13 (2017) - [j10]Evgeny Kharlamov, Dag Hovland, Martin G. Skjæveland, Dimitris Bilidas, Ernesto Jiménez-Ruiz, Guohui Xiao, Ahmet Soylu, Davide Lanti, Martin Rezk, Dmitriy Zheleznyakov, Martin Giese, Hallstein Lie, Yannis E. Ioannidis, Yannis Kotidis, Manolis Koubarakis, Arild Waaler:
Ontology Based Data Access in Statoil. J. Web Semant. 44: 3-36 (2017) - [j9]Evgeny Kharlamov, Theofilos Mailis, Gulnar Mehdi, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Nina Solomakhina, Ahmet Soylu, Christoforos Svingos, Sebastian Brandt, Martin Giese, Yannis E. Ioannidis, Steffen Lamparter, Ralf Möller, Yannis Kotidis, Arild Waaler:
Semantic access to streaming and static data at Siemens. J. Web Semant. 44: 54-74 (2017) - [c27]Dag Hovland, Roman Kontchakov, Martin G. Skjæveland, Arild Waaler, Michael Zakharyaschev:
Ontology-Based Data Access to Slegge. International Semantic Web Conference (2) 2017: 120-129 - [c26]Martin G. Skjæveland, Henrik Forssell, Johan W. Klüwer, Daniel P. Lupp, Evgenij Thorstensen, Arild Waaler:
Reasonable Ontology Templates: APIs for OWL. International Semantic Web Conference (Posters, Demos & Industry Tracks) 2017 - [c25]Martin G. Skjæveland, Henrik Forssell, Johan W. Klüwer, Daniel P. Lupp, Evgenij Thorstensen, Arild Waaler:
Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. WOP@ISWC 2017 - [c24]Ernesto Jiménez-Ruiz, Dag Hovland, Laura Slaughter, Tony Håndstad, Arild Waaler:
On Improving the Phenotype Acquisition Process Using Semantic Web Technology. SWAT4LS 2017 - 2016
- [j8]Ian Horrocks, Martin Giese, Evgeny Kharlamov, Arild Waaler:
Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing 20(6): 62-66 (2016) - [j7]Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Ahmet Soylu, Arild Waaler:
Visual query interfaces for semantic datasets: An evaluation study. J. Web Semant. 39: 81-96 (2016) - [c23]Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, Sebastian Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, Guohui Xiao, Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, Ralf Möller, Arild Waaler:
A semantic approach to polystores. BigData 2016: 2565-2573 - [c22]Evgeny Kharlamov, Sebastian Brandt, 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, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, Arild Waaler:
Enabling semantic access to static and streaming distributed data with optique: demo. DEBS 2016: 350-353 - [c21]Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Johan W. Klüwer, Arild Waaler:
PepeSearch: Easy to Use and Easy to Install Semantic Data Search. ESWC (Satellite Events) 2016: 146-150 - [c20]Evgeny Kharlamov, Sebastian Brandt, 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, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, Arild Waaler:
Scalable Semantic Access to Siemens Static and Streaming Distributed Data. International Semantic Web Conference (Posters & Demos) 2016 - [c19]Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, Arild Waaler:
KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. International Semantic Web Conference (Posters & Demos) 2016 - 2015
- [j6]Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase, Ernesto Jiménez-Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao, Özgür L. Özçep, Riccardo Rosati:
Optique: Zooming in on Big Data. IEEE Computer 48(3): 60-67 (2015) - [j5]Martin G. Skjæveland, Martin Giese, Dag Hovland, Espen H. Lian, Arild Waaler:
Engineering ontology-based access to real-world data sources. J. Web Semant. 33: 112-140 (2015) - [c18]Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Ahmet Soylu, Guohui Xiao, Dmitriy Zheleznyakov, Martin Giese, Ian Horrocks, Arild Waaler:
Optique: Ontology-Based Data Access Platform. International Semantic Web Conference (Posters & Demos) 2015 - 2013
- [c17]Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler:
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140 - [c16]Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov:
Optique: OBDA Solution for Big Data. ESWC (Satellite Events) 2013: 293-295 - [c15]Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov:
The Optique Project: Towards OBDA Systems for Industry (Short Paper). OWLED 2013 - [c14]Evgeny Kharlamov, Martin Giese, Ernesto Jiménez-Ruiz, Martin G. Skjæveland, Ahmet Soylu, Dmitriy Zheleznyakov, Timea Bagosi, Marco Console, Peter Haase, Ian Horrocks, Sarunas Marciuska, Christoph Pinkel, Mariano Rodriguez-Muro, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo, Kunal Sengupta, Michael Schmidt, Evgenij Thorstensen, Johannes Trame, Arild Waaler:
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. International Semantic Web Conference (Posters & Demos) 2013: 65-68 - 2012
- [j4]Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler:
Incremental variable splitting. J. Symb. Comput. 47(9): 1046-1065 (2012) - 2010
- [c13]Espen H. Lian, Einar Broch Johnsen, Arild Waaler:
Confluent Term Rewriting for Only-knowing Logics. STAIRS 2010: 162-174
2000 – 2009
- 2009
- [j3]Bjarne Holen, Einar Broch Johnsen, Arild Waaler:
Proof Search for the First-Order Connection Calculus in Maude. Electr. Notes Theor. Comput. Sci. 238(3): 173-188 (2009) - [c12]Espen H. Lian, Arild Waaler:
An Only Knowing Approach to Defeasible Description Logics (Extended Abstract). Description Logics 2009 - [e1]Martin Giese, Arild Waaler:
Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5607, Springer 2009, ISBN 978-3-642-02715-4 [contents] - 2008
- [c11]Espen H. Lian, Arild Waaler:
Computing Default Extensions by Reductions on OR. KR 2008: 496-506 - 2007
- [j2]Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian:
Only knowing with degrees of confidence. J. Applied Logic 5(3): 492-518 (2007) - [j1]Roger Antonsen, Arild Waaler:
Liberalized Variable Splitting. J. Autom. Reasoning 38(1-3): 3-30 (2007) - [c10]Roger Antonsen, Arild Waaler:
A Labelled System for IPL with Variable Splitting. CADE 2007: 132-146 - 2005
- [c9]Bjørnar Solhaug, Arild Waaler:
Logical Spaces in Multi-agent Only Knowing Systems. CLIMA 2005: 77-95 - [c8]Johan W. Klüwer, Arild Waaler:
Trustworthiness by Default. CLIMA 2005: 96-111 - [c7]Johan W. Klüwer, Arild Waaler:
Relative Trustworthiness. Formal Aspects in Security and Trust 2005: 158-170 - [c6]Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler:
Default Reasoning with Preference Within Only Knowing Logic. LPNMR 2005: 304-316 - [c5]Roger Antonsen, Arild Waaler:
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. TABLEAUX 2005: 33-47 - [c4]Arild Waaler, Bjørnar Solhaug:
Semantics for multi-agent only knowing: extended abstract. TARK 2005: 109-125 - 2004
- [c3]Arild Waaler:
Consistency Proofs for Systems of Multi?agent Only Knowing. Advances in Modal Logic 2004: 347-366 - [c2]Espen H. Lian, Tore Langholm, Arild Waaler:
Only Knowing with Confidence Levels: Reductions and Complexity. JELIA 2004: 500-512 - 2003
- [c1]Arild Waaler, Roger Antonsen:
A Free Variable Sequent Calculus with Uniform Variable Splitting. TABLEAUX 2003: 214-229 - 2001
- [p1]Arild Waaler:
Connections in Nonclassical Logics. Handbook of Automated Reasoning 2001: 1487-1578
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-10-20 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
