Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-29 av 29

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 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
 
3 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
 
4 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
 
5 Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein; Horrocks, Ian.
OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web Journal 2017 s. 1-28
NTNU UiO Untitled
 
2016
6 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
 
7 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
 
8 Hovland, Dag; Lanti, Davide; Rezk, Martin; Xiao, Guohui.
OBDA constraints for effective query answering. Lecture Notes in Computer Science 2016 ;Volum 9718. s. 269-286
UiO Untitled
 
9 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
10 Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank.
Deciding Twig-definability of Node Selecting Tree Automata. Theory of Computing Systems 2015 ;Volum 57.(4) s. 967-1007
UiO Untitled
 
11 Calvanese, Diego; Giese, Martin; Hovland, Dag; Rezk, Martin.
Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science 2015 ;Volum 9366. s. 199-216
UiO Untitled
 
12 Kharlamov, Evgeny; Hovland, Dag; Jiménez-Ruiz, Ernesto; Lanti, Davide; Lie, Hallstein; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Thorstensen, Evgenij; Xiao, Guohui; Zheleznyakov, Dmitriy; Horrocks, Ian.
Ontology based access to exploration data at statoil. Lecture Notes in Computer Science 2015 ;Volum 9367. s. 93-112
UiO Untitled
 
13 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
14 Haase, Peter; Horrocks, Ian; Hovland, Dag; Hubauer, Thomas; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kluwer, Johan Wilhelm; Christoph, Pinkel; Rosati, Riccardo; Santarelli, Valerio; Soylu, Ahmet; Zheleznyakov, Dmitriy.
Optique System: Towards Ontology and Mapping Management in OBDA Solutions. CEUR Workshop Proceedings 2013
UiO Untitled
 
2012
15 Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank.
Deciding Twig-definability of Node Selecting Tree Automata. I: 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-0791-8. s. 61-73
UiO Untitled
 
16 Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang.
A type system for counting instances of software components. Theoretical Computer Science 2012 ;Volum 458. s. 29-48
UiB Untitled
 
17 Holen, Bjarne; Hovland, Dag; Giese, Martin.
Efficient Rule-Matching for Automated Coherent Logic. NIK: Norsk Informatikkonferanse 2012 s. 25-36
UiO Untitled
 
18 Hovland, Dag.
The inclusion problem for regular expressions. Journal of computer and system sciences (Print) 2012 ;Volum 78.(6) s. 1795-1813
UiB Untitled
 
19 Hovland, Dag.
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. Lecture Notes in Computer Science 2012 ;Volum 7183. s. 313-324
UiO Untitled
 
20 Hovland, Dag; Holen, Bjarne; Giese, Martin.
Efficient Rule-Matching for Hyper-Tableaux. 9th International Workshop on the Implementation of Logics; 2012-03-10 - 2012-03-10
UiO Untitled
 
2010
21 Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim.
The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. I: Proceedings of the Fifth International Conference on Internet and Web Applications and Services (ICIW 2010). IEEE conference proceedings 2010 ISBN 978-0-7695-4022-1. s. 122-128
UiB Untitled
 
22 Hovland, Dag.
Feasible Algorithms for Semantics - Employing Automata and Inference Systems. : University of Bergen 2010 (ISBN 9788230816660)
UiB Untitled
 
23 Hovland, Dag.
The inclusion problem for regular expressions. I: Language and automata theory and applications. 4th International Conference, LATA 2010 Trier, Germany, May 24-28, 2010 Proceedings. Springer 2010 ISBN 978-3-642-13088-5. s. 309-320
UiB Untitled
 
24 Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim.
Investigating the Limitations of Java Annotations for Input Validation. I: Proceedings of the Fifth International Conference on Availability, Reliability, and Security (ARES 2010). IEEE conference proceedings 2010 ISBN 978-1-4244-5879-0. s. 513-518
UiB Untitled
 
2009
25 Rossini, Alessandro; Rutle, Adrian; Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert.
Data Validation Constraints in MDE. NWPT 2009: 21th Nordic Workshop on Programming Theory; 2009-10-14 - 2009-10-16
HIB UiB Untitled
 
26 Hovland, Dag.
A Type System for Usage of Software Components. Lecture Notes in Computer Science 2009 ;Volum 5497. s. 186-202
UiB Untitled
 
27 Hovland, Dag.
Regular Expressions with Numerical Constraints and Automata with Counters. Lecture Notes in Computer Science 2009 ;Volum 5684. s. 231-245
UiB Untitled
 
2008
28 Hovland, Dag.
A Type System for Usage of Software Components. 20th Nordic Workshop on Programming Theory, NWPT '08; 2008-11-19 - 2008-11-21
UiB Untitled
 
29 Hovland, Dag.
A Type System for Usage of Software Components. Applications of Logic in Computer Security ALICS 2008; 2008-11-22 - 2008-11-22
UiB Untitled