Dag Hovland

Image of Dag Hovland
Norwegian version of this page
Mobile phone +47-97046378 97046378
Room 4146
Username
Visiting address Høyteknologisenteret Thormøhlensgate 55 Bergen

Publications

  • Hovland, Dag; Skjæveland, Martin G; Waaler, Arild Torolv Søetorp; Kontchakov, Roman & Zakharyaschev, Michael (2017). Ontology-Based Data Access to Slegge. Lecture Notes in Computer Science.  ISSN 0302-9743.  10588, s 120- 129 . doi: 10.1007/978-3-319-68204-4_12
  • 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 (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics.  ISSN 1570-8268.  44, s 3- 36 . doi: 10.1016/j.websem.2017.05.005 Full text in Research Archive.
  • 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 (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry. Semantic Web.  ISSN 1570-0844.  s 1- 28
  • Hovland, Dag; Lanti, Davide; Rezk, Martin & Xiao, Guohui (2016). OBDA constraints for effective query answering. Lecture Notes in Computer Science.  ISSN 0302-9743.  9718, s 269- 286 . doi: 10.1007/978-3-319-42019-6_18
  • Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian & Waaler, Arild (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings.  ISSN 1613-0073.  1690
  • Antonopoulos, Timos; Hovland, Dag; Martens, Wim & Neven, Frank (2015). Deciding Twig-definability of Node Selecting Tree Automata. Theory of Computing Systems.  ISSN 1432-4350.  57(4), s 967- 1007 . doi: 10.1007/s00224-015-9623-7 Full text in Research Archive.
  • Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin (2015). Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science.  ISSN 0302-9743.  9366, s 199- 216 . doi: 10.1007/978-3-319-25007-6_12 Full text in Research Archive. Show summary
  • 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 (2015). Ontology based access to exploration data at statoil. Lecture Notes in Computer Science.  ISSN 0302-9743.  9367, s 93- 112 . doi: 10.1007/978-3-319-25010-6_6 Full text in Research Archive. Show summary
  • Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt & Waaler, Arild (2015). Engineering ontology-based access to real-world data sources. Journal of Web Semantics.  ISSN 1570-8268.  33, s 112- 140 . doi: 10.1016/j.websem.2015.03.002 Full text in Research Archive.
  • 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 (2013). Optique System: Towards Ontology and Mapping Management in OBDA Solutions. CEUR Workshop Proceedings.  ISSN 1613-0073.
  • Antonopoulos, Timos; Hovland, Dag; Martens, Wim & Neven, Frank (2012). Deciding Twig-definability of Node Selecting Tree Automata, In Alin Deutsch (ed.),  15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0791-8.  Research paper.  s 61 - 73 Full text in Research Archive. Show summary
  • Bezem, Marcus A.; Hovland, Dag & Truong, Anh Hoang (2012). A type system for counting instances of software components. Theoretical Computer Science.  ISSN 0304-3975.  458, s 29- 48 . doi: 10.1016/j.tcs.2012.07.032 Full text in Research Archive. Show summary
  • Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  s 25- 36 Full text in Research Archive.
  • Hovland, Dag (2012). The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. Lecture Notes in Computer Science.  ISSN 0302-9743.  7183, s 313- 324 . doi: 10.1007/978-3-642-28332-1_27 Full text in Research Archive.
  • Hovland, Dag (2012). The inclusion problem for regular expressions. Journal of computer and system sciences (Print).  ISSN 0022-0000.  78(6), s 1795- 1813 . doi: 10.1016/j.jcss.2011.12.003 Full text in Research Archive.
  • Mancini, Federico; Hovland, Dag & Mughal, Khalid Azim (2010). The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications, In Org. IEEE (ed.),  Proceedings of the Fifth International Conference on Internet and Web Applications and Services (ICIW 2010).  IEEE conference proceedings.  ISBN 978-0-7695-4022-1.  Artikkel.  s 122 - 128 Full text in Research Archive.
  • Hovland, Dag (2010). The inclusion problem for regular expressions, In Adrian-Horia Dediu; Carlos Martín-Vide & Henning Fernau (ed.),  Language and automata theory and applications. 4th International Conference, LATA 2010 Trier, Germany, May 24-28, 2010 Proceedings.  Springer.  ISBN 978-3-642-13088-5.  Artikkel.  s 309 - 320
  • Mancini, Federico; Hovland, Dag & Mughal, Khalid Azim (2010). Investigating the Limitations of Java Annotations for Input Validation, In Org. IEEE (ed.),  Proceedings of the Fifth International Conference on Availability, Reliability, and Security (ARES 2010).  IEEE conference proceedings.  ISBN 978-1-4244-5879-0.  Artikkel.  s 513 - 518
  • Hovland, Dag (2009). A Type System for Usage of Software Components. Lecture Notes in Computer Science.  ISSN 0302-9743.  5497, s 186- 202 . doi: 10.1007/978-3-642-02444-3_12
  • Hovland, Dag (2009). Regular Expressions with Numerical Constraints and Automata with Counters. Lecture Notes in Computer Science.  ISSN 0302-9743.  5684, s 231- 245 . doi: 10.1007/978-3-642-03466-4_15

View all works in Cristin

  • Cameron, David Bruce; Waaler, Arild; Hovland, Dag & Skjæveland, Martin G (2017). Practical Knowledge Representation for Data Access to Subsurface Data: The Achievements and Potential of the Optique Platform.
  • Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Full text in Research Archive.
  • Hovland, Dag (2010). Feasible Algorithms for Semantics - Employing Automata and Inference Systems.
  • Rossini, Alessandro; Rutle, Adrian; Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim; Lamo, Yngve & Wolter, Uwe Egbert (2009). Data Validation Constraints in MDE.
  • Hovland, Dag (2008). A Type System for Usage of Software Components.
  • Hovland, Dag (2008). A Type System for Usage of Software Components.

View all works in Cristin

Published June 30, 2011 10:14 AM - Last modified Jan. 18, 2016 11:33 AM