Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 101 << Forrige 1 2 3    Neste >>

2017
1 Cameron, David Bruce; Waaler, Arild; Hovland, Dag; Skjæveland, Martin G.
Practical Knowledge Representation for Data Access to Subsurface Data: The Achievements and Potential of the Optique Platform. AAPG/SEG International Conference and Exhibition; 2017-10-15 - 2017-10-18
UiO Untitled
 
2 Harrow, Ian; Jimenez-Ruiz, Ernesto; Splendiani, Andrea; Romacker, Martin; Woollard, Peter; Markel, Scott; Alam-Faruque, Yasmin; Koch, Martin; Malone, James; Waaler, Arild Torolv Søetorp.
Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. Journal of Biomedical Semantics 2017 ;Volum 8.(1) s. 1-13
UiO Untitled
 
3 Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild; Zakharyaschev, Michael.
Ontology-Based Data Access to Slegge. Lecture Notes in Computer Science 2017 ;Volum 10588. s. 120-129
UiO Untitled
 
4 Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony; Waaler, Arild.
On adopting ontology alignment techniques within the phenotype acquisition process. CEUR Workshop Proceedings 2017 ;Volum 2042. s. 1-2
OUS UiO Untitled
 
5 Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy; Giese, Martin; Lie, Hallstein; Ioannidis, Yannis; Kotidis, Yannis; Koubarakis, Manolis; Waaler, Arild Torolv Søetorp.
Ontology Based Data Access in Statoil. Journal of Web Semantics 2017 ;Volum 44. s. 3-36
NTNU UiO Untitled
 
6 Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian; Giese, Martin; Ioannidis, Yannis; Lamparter, Steffen; Möller, Ralf; Kotidis, Yannis; Waaler, Arild.
Semantic access to streaming and static data at Siemens. Journal of Web Semantics 2017 ;Volum 44. s. 54-74
NTNU UiO Untitled
 
7 Skjæveland, Martin G; Forssell, Jon Henrik; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij; Waaler, Arild.
Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. CEUR Workshop Proceedings 2017 ;Volum 1963. s. 1-4
UiO Untitled
 
8 Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij; Waaler, Arild.
Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. CEUR Workshop Proceedings 2017 ;Volum 2043. s. -
UiO Untitled
 
9 Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij; Waaler, Arild.
Reasonable Ontology Templates: APIs for OWL. CEUR Workshop Proceedings 2017 ;Volum 1963.
UiO Untitled
 
10 Waaler, Arild.
Engineering Requirements: An Example of Research-Enabled Digitalization. Cutting Edge Festival. Workshop on Transforming Norwegian Industry; 2017-09-26
UiO Untitled
 
2016
11 Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar; Tungland, Knut Sebastian.
Optique: Simple, Oil & Gas-oriented access to big data in exploration. SPE Intelligent Energy International Conference and Exhibition; 2016-09-06 - 2016-09-08
UiO Untitled
 
12 Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar; Tungland, Knut Sebastian.
Optique: Simple, Oil & Gas-oriented access to big data in exploration. I: SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers 2016 ISBN 978-1-61399-459-7.
UiO Untitled
 
13 Horrocks, Ian; Giese, Martin; Kharlamov, Evgeny; Waaler, Arild.
Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing 2016 ;Volum 20.(6) s. 62-66
UiO Untitled
 
14 Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis; Lamparter, Steffen; Mailis, Theofilis P.; Neuenstadt, Christian; Özcep, Özgür; Pinkel, Christoph; Soylu, Ahmet; Svingos, Christoforos; Zheleznyakov, Dmitriy; Horrocks, Ian; Ioannidis, Yannis; Möller, Ralf; Waaler, Arild.
Enabling semantic access to static and streaming distributed data with optique: demo. I: Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA,USA, June 20 -24. ACM Publications 2016 ISBN 978-1-4503-4021-2. s. 350-353
NTNU UiO Untitled
 
15 Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian; Jimenez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Özcep, Özgür; Soylu, Ahmet; Svingos, Christoforos; Xiao, Guohui; Zheleznyakov, Dmitriy; Calvanese, Diego; Horrocks, Ian; Giese, Martin; Ioannidis, Yannis; Kotidis, Yannis; Möller, Ralf; Waaler, Arild.
A Semantic Approach to Polystores. I: Proceedings 2016 IEEE International Conference on Big Data. IEEE 2016 ISBN 978-1-4673-9005-7. s. 2565-2573
NTNU UiO Untitled
 
16 Vega-Gorgojo, Guillermo; Fjellheim, Roar; Roman, Dumitru; Akerkar, Rajendra; Waaler, Arild.
Big data in the oil & gas upstream industry - a case study on the Norwegian continental shelf. Oil, Gas 2016 ;Volum 42.(II) s. 67-77
SINTEF UiO Untitled
 
17 Vega-Gorgojo, Guillermo; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet; Waaler, Arild.
PepeSearch: Semantic Data for the masses. PLoS ONE 2016 ;Volum 11.(3) s. -
NTNU UiO Untitled
 
18 Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Kluwer, Johan Wilhelm; Waaler, Arild.
Pepesearch: Easy to use and easy to install semantic data search. Lecture Notes in Computer Science 2016 ;Volum 9989 LNCS. s. 146-150
OUS UiO Untitled
 
19 Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet; Waaler, Arild.
Visual query interfaces for semantic datasets: An evaluation study. Journal of Web Semantics 2016 ;Volum 39. s. 81-96
NTNU OUS UiO Untitled
 
20 Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian; Waaler, Arild.
KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings 2016 ;Volum 1690. s. -
UiO Untitled
 
2015
21 Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter; Jimenez-Ruiz, Ernesto; Lanti, Davide; Rezk, Martin; Xiao, Guohui; Oezcep, Oezguer; Rosati, Riccardo.
Optique: Zooming in on Big Data. Computer 2015 ;Volum 48.(3) s. 60-67
UiO Untitled
 
22 Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Soylu, Ahmet; Xiao, Guohui; Zheleznyakov, Dmitriy; Giese, Martin; Horrocks, Ian; Waaler, Arild.
OPTIQUE: Ontology-based data access platform. CEUR Workshop Proceedings 2015 ;Volum 1486. s. -
NTNU UiO Untitled
 
23 Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt; Waaler, Arild.
Engineering ontology-based access to real-world data sources. Journal of Web Semantics 2015 ;Volum 33. s. 112-140
UiO Untitled
 
2013
24 Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Ruzzi, Marco; Savo, Domenico Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild; Zheleznyakov, Dmitriy.
The Optique Project: Towards OBDA Systems for Industry. CEUR Workshop Proceedings 2013 ;Volum 1080.
UiO Untitled
 
25 Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schlatte, Rudolf; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild.
Scalable End-user Access to Big Data. I: Big Data Computing. Taylor & Francis 2013 ISBN 978-1-46-657837-1.
UiO Untitled
 
26 Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer; Rodriguez-muro, Mariano; Rosati, Riccardo; Schmidt, Michael; Schlatte, Rudolf; Soylu, Ahmet; Waaler, Arild.
Optique: Towards OBDA Systems for Industry. Lecture Notes in Computer Science 2013 ;Volum 7955. s. 125-140
UiO Untitled
 
27 Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Kluwer, Johan Wilhelm; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf; Neuenstadt, Christian; Nordveit, Toralv; Oezcep, Oezguer; Rodriguez-muro, Mariano; Roshchin, Mikhail; Savo, Fabio; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild; Zheleznyakov, Dmitriy.
Optique: OBDA Solution for Big Data. Lecture Notes in Computer Science 2013 ;Volum 7955. s. 293-295
UiO Untitled
 
28 Giese, Martin; Waaler, Arild.
Optique - Scalable End-user Access to Big Data. Statkraft, internt seminar; 2013-09-11
UiO Untitled
 
29 Kharlamov, Evgeny; Giese, Martin; Jimenez-ruiz, Ernesto; Skjæveland, Martin G; Soylu, Ahmet; Zheleznyakov, Dmitriy; Bagosi, Timea; Console, Marco; Haase, Peter; Horrocks, Ian; Marciuska, Sarunas; Pinkel, Christoph; Rodriguez-muro, Mariano; Ruzzi, Marco; Santarelli, Valerio; Fabio Savo, Domenico; Sengupta, Kunal; Schmidt, Michael; Thorstensen, Evgenij; Trame, Johannes; Waaler, Arild.
Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. International Semantic Web Conference 2013 (Posters & Demos); 2013-10-23
UiO Untitled
 
2012
30 Giese, Martin; Ornæs, Jens I.; Overå, Lars; Svensson, Inge; Waaler, Arild.
Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports. I: SPE Intelligent Energy International, 27-29 March 2012, Utrecht, The Netherlands. Society of Petroleum Engineers 2012 ISBN 978-1-61399-191-6. s. -
UiO Untitled
 
31 Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin; Waaler, Arild.
Incremental variable splitting. Journal of symbolic computation 2012 ;Volum 47.(9) s. 1046-1065
UiO Untitled
 
2010
32 Lian, Espen Hallenstvedt; Johnsen, Einar Broch; Waaler, Arild.
Confluent Term Rewriting for Only-knowing Logics. Frontiers in Artificial Intelligence and Applications 2010 ;Volum 222. s. 162-174
UiO Untitled
 
33 Løkke, Håvard; Waaler, Arild.
Change, Modal Categories, and Agency. I: Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors. Ashgate 2010 ISBN 9780754669821. s. 25-46
UiO Untitled
 
34 Løkke, Håvard; Waaler, Arild.
The First Principles of Logic and the Debate about Mediation. I: Kierkegaard and the Greek World: Tome II: Aristotle and other Greek Authors. Ashgate 2010 ISBN 9780754669821. s. 3-24
UiO Untitled
 
2009
35 Giese, Martin; Waaler, Arild.
Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings. Springer 2009 (ISBN 978-3-642-02715-4) 341 s.
UiO Untitled
 
36 Giese, Martin; Waaler, Arild.
TABLEAUX 2009 Position Papers and Workshop Proceedings. Oslo, Norway: University of Oslo, Department of Informatics 2009 122 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(387)
UiO Untitled
 
37 Holen, Bjarne; Johnsen, Einar Broch; Waaler, Arild.
Proof Search for the First-Order Connection Calculus in Maude. Electronical Notes in Theoretical Computer Science 2009 ;Volum 238. s. 173-188
UiO Untitled
 
38 Løkke, Håvard; Waaler, Arild.
Traces of Kierkegaard’s Reading of the Theodicy. I: Kierkegaard and the Renaissance and Modern Traditions - Philosophy. Ashgate 2009 ISBN 978-0-7546-6818-3.
UiO Untitled
 
2008
39 Lian, Espen Hallenstvedt; Waaler, Arild.
Computing Default Extensions by Reductions on O^R. I: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008. AAAI Press 2008 ISBN 978-1-57735-384-3. s. 496-506
UiO Untitled
 
2007
40 Antonsen, Roger; Waaler, Arild.
A Labelled System for IPL with Variable Splitting. Lecture Notes in Computer Science 2007 ;Volum LNAI.(4603) s. 132-146
UiO Untitled
 
41 Antonsen, Roger; Waaler, Arild.
Liberalized Variable Splitting. Journal of automated reasoning 2007 ;Volum 38. s. 3-30
UiO Untitled
 
42 Hansen, Christian Mahesh; Antonsen, Roger; Waaler, Arild.
Incremental Closure of Variable Splitting Tableaux in TABLEAUX'07 - Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers. Editors: Nicola Olivetti, Camilla Schwind. LSIS.RR.2007.002. Marseille, France: LSIS, Paul Cézanne University 2007 15 s.
UiO Untitled
 
43 Waaler, Arild; Klüwer, Johan W.; Langholm, Tore; Lian, Espen.
Only knowing with degrees of confidence. Journal of Applied Logic 2007 ;Volum 5.(3) s. 492-518
UiO UiT Untitled
 
44 Waaler, Arild; Kluwer, Johan Wilhelm; Langholm, Tore; Lian, Espen Hallenstvedt.
Only knowing with degrees of confidence. Journal of Applied Logic 2007 ;Volum 5.(3) s. 492-518
UiO UiT Untitled
 
2006
45 Klüwer, Johan W.; Waaler, Arild.
Relative trustworthiness. Lecture Notes in Computer Science 2006 ;Volum 3866. s. 158-170
UiO UiT Untitled
 
46 Klüwer, Johan W.; Waaler, Arild.
Trustworthiness by default. Lecture Notes in Computer Science 2006 ;Volum 3900. s. 96-111
UiO UiT Untitled
 
47 Kluwer, JW; Waaler, Arild.
Relative trustworthiness. Lecture Notes in Computer Science 2006 ;Volum 3866.
UiO UiT Untitled
 
48 Kluwer, JW; Waaler, Arild.
Trustworthiness by default. Lecture Notes in Computer Science 2006 ;Volum 3900. s. 96-111
UiO UiT Untitled
 
49 Solhaug, Bjørnar; Waaler, Arild.
Logical spaces in multi-agent Only knowing systems. Lecture Notes in Computer Science 2006 ;Volum 3900. s. 77-95
SINTEF UiB UiO UiT Untitled
 
50 Solhaug, Bjørnar; Waaler, Arild.
Logical spaces in multi-agent Only knowing systems. Lecture Notes in Computer Science 2006 ;Volum 3900. s. 77-95
UiT Untitled
 
    Vis neste liste