default search action
Arild Waaler
Person information
- affiliation: University of Oslo, Oslo, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Zhuoxun Zheng, Baifan Zhou, Hui Yang, Zhipeng Tan, Zequn Sun, Chunnong Li, Arild Waaler, Evgeny Kharlamov, Ahmet Soylu:
Knowledge graph embedding closed under composition. Data Min. Knowl. Discov. 38(6): 3531-3562 (2024) - [c40]Zhuoxun Zheng, Baifan Zhou, Hui Yang, Zhipeng Tan, Arild Waaler, Evgeny Kharlamov, Ahmet Soylu:
Low-Dimensional Hyperbolic Knowledge Graph Embedding for Better Extrapolation to Under-Represented Data. ESWC (1) 2024: 100-120 - [e3]Arild Waaler, Evgeny Kharlamov, Baifan Zhou, Ahmet Soylu, Dimitrios Kyritsis, Dumitru Roman, Ognjen Savkovic, Steffen Staab:
Proceedings of the Second International Workshop on Semantic Industrial Information Modelling (SemIIM 2023) co-located with the 22nd International Semantic Web Conference (ISWC 2023), Greece, Athens, 7 November 2023. CEUR Workshop Proceedings 3647, CEUR-WS.org 2024 [contents] - 2023
- [c39]Yuanwei Qu, Baifan Zhou, Arild Waaler, David Cameron
:
Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry. PRICAI (3) 2023: 466-473 - [c38]Maja Milicic Brandt, Foivos Psarommatis, Christophe Simon, Arild Waaler, Baifan Zhou:
Towards Standardised Product Data Exchange with Information Modelling Framework at Siemens Energy. SemIIM 2023 - [c37]Jieying Chen, Johanna P. Haarseth, Christian M. Hansen, Martin G. Skjæveland, Arild Waaler:
Improving Reasoning on Large Ontologies via Ontology Modularity. ISWC (Posters/Demos/Industry) 2023 - [c36]Yuanwei Qu, Zhuoxun Zheng, Baifan Zhou, Yan Zhou, Nicolau Santos, Ognjen Savkovic, Arild Waaler, David Cameron:
Towards Data Integrity Verification for More Sustainable Petroleum Industry. ISWC (Posters/Demos/Industry) 2023 - [e2]Arild Waaler, Evgeny Kharlamov, Baifan Zhou, Dongzhuoran Zhou:
Proceedings of the First International Workshop on Semantic Industrial Information Modelling (SemIIM 2022) co-located with the 19th Extended Semantic Web Conference ESWC 2022, Greece, Crete, 30 May 2022. CEUR Workshop Proceedings 3355, CEUR-WS.org 2023 [contents] - [i2]Yuanwei Qu, Baifan Zhou, Arild Waaler, David Cameron:
Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry. CoRR abs/2310.08737 (2023) - 2022
- [c35]Rustam Mehmandarov, Dag Hovland, Torleif Saltvedt, Arild Waaler:
Towards Addressing Requirements to Identification Posed by the Digital Transformation. SemIIM 2022 - 2021
- [j12]Baifan Zhou
SemML: Facilitating development of ML models for condition monitoring with semantics. J. Web Semant. 71: 100664 (2021) - [c34]Rustam Mehmandarov, Arild Waaler, David Cameron
A Semantic Approach to Identifier Management in Engineering Systems. IEEE BigData 2021: 4613-4616
2010 – 2019
- 2019
- [j11]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
An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data. J. Web Semant. 56: 30-55 (2019) - 2018
- [c33]Evgeny Kharlamov, Martin G. Skjæveland, Dag Hovland, Theofilos Mailis, Ernesto Jiménez-Ruiz, Guohui Xiao
Finding Data Should be Easier than Finding Oil. IEEE BigData 2018: 1747-1756 - [c32]Evgeny Kharlamov, Gulnar Mehdi, Ognjen Savkovic, Guohui Xiao
Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract). IEEE BigData 2018: 1951-1954 - [c31]Evgeny Kharlamov, Francisco Martín-Recuerda, Brandon Perry, David Cameron
Towards Semantically Enhanced Digital Twins. IEEE BigData 2018: 4189-4193 - [c30]Vidar Klungre, Ahmet Soylu
On Enhancing Visual Query Building over KGs Using Query Logs. JIST 2018: 77-85 - [c29]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. ISWC (P&D/Industry/BlueSky) 2018 - 2017
- [j10]Ian Harrow
Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. J. Biomed. Semant. 8(1): 55:1-55:13 (2017) - [j9]Evgeny Kharlamov, Dag Hovland
Ontology Based Data Access in Statoil. J. Web Semant. 44: 3-36 (2017) - [j8]Evgeny Kharlamov, Theofilos Mailis, Gulnar Mehdi, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Nina Solomakhina, Ahmet Soylu
Semantic access to streaming and static data at Siemens. J. Web Semant. 44: 54-74 (2017) - [c28]Dag Hovland
Ontology-Based Data Access to Slegge. ISWC (2) 2017: 120-129 - [c27]Martin G. Skjæveland, Henrik Forssell, Johan W. Klüwer, Daniel P. Lupp, Evgenij Thorstensen, Arild Waaler:
Reasonable Ontology Templates: APIs for OWL. ISWC (Posters, Demos & Industry Tracks) 2017 - [c26]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 - [c25]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
- [j7]Ian Horrocks
Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Comput. 20(6): 62-66 (2016) - [j6]Guillermo Vega-Gorgojo
Visual query interfaces for semantic datasets: An evaluation study. J. Web Semant. 39: 81-96 (2016) - [c24]Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta
A semantic approach to polystores. IEEE BigData 2016: 2565-2573 - [c23]Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz
Enabling semantic access to static and streaming distributed data with optique: demo. DEBS 2016: 350-353 - [c22]Guillermo Vega-Gorgojo
PepeSearch: Easy to Use and Easy to Install Semantic Data Search. ESWC (Satellite Events) 2016: 146-150 - [c21]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. ISWC (Posters & Demos) 2016 - [c20]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. ISWC (Posters & Demos) 2016 - 2015
- [j5]Martin Giese, Ahmet Soylu
Optique: Zooming in on Big Data. Computer 48(3): 60-67 (2015) - [j4]Martin G. Skjæveland, Martin Giese, Dag Hovland
Engineering ontology-based access to real-world data sources. J. Web Semant. 33: 112-140 (2015) - [c19]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. ISWC (Posters & Demos) 2015 - 2013
- [c18]Evgeny Kharlamov, Ernesto Jiménez-Ruiz
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140 - [c17]Diego Calvanese
Optique: OBDA Solution for Big Data. ESWC (Satellite Events) 2013: 293-295 - [c16]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 - [c15]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. ISWC (Posters & Demos) 2013: 65-68 - 2012
- [j3]Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler:
Incremental variable splitting. J. Symb. Comput. 47(9): 1046-1065 (2012) - 2011
- [i1]Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen:
Incremental Variable Splitting. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 45-46 - 2010
- [c14]Espen H. Lian, Einar Broch Johnsen
Confluent Term Rewriting for Only-knowing Logics. STAIRS 2010: 162-174
2000 – 2009
- 2009
- [c13]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
- [c12]Espen H. Lian, Arild Waaler:
Computing Default Extensions by Reductions on OR. KR 2008: 496-506 - [c11]Bjarne Holen, Einar Broch Johnsen
Proof Search for the First-Order Connection Calculus in Maude. WRLA 2008: 173-188 - 2007
- [j2]Arild Waaler, Johan W. Klüwer, Tore Langholm
Only knowing with degrees of confidence. J. Appl. Log. 5(3): 492-518 (2007) - [j1]Roger Antonsen, Arild Waaler:
Liberalized Variable Splitting. J. Autom. Reason. 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
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
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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, opencitations.net, and semanticscholar.org to load article reference 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, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
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 and semanticscholar.org 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 as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-11-08 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: