Dag Hovland

Image of Dag Hovland
Norwegian version of this page
Mobile phone +47 97046378
Room 4146
Username
Visiting address Høyteknologisenteret Thormøhlensgate 55 Bergen
Postal address Postboks 1080 Blindern 0316 Oslo

Publications

  • Xiao, Guohui; Hovland, Dag; Bilidas, Dimitris; Rezk, Martin; Giese, Martin & Calvanese, Diego (2018). Efficient Ontology-Based Data Integration with Canonical IRIs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10843 LNCS, p. 697–713. doi: 10.1007/978-3-319-93417-4_45. Full text in Research Archive
  • Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Show all 9 contributors for this article] (2018). Finding Data Should be Easier than Finding Oil. In Abe, Naoki; Liu, Huan; Hu, Xiaohua; Ahmed, Nesreen; Qiao, Mu; Song, Yang; Kossmann, Donald; Liu, Bing; Lee, Kisung; Tang, Jiliang; He, Jingrui & Saltz, Jeffrey (Ed.), 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018. IEEE. ISSN 978-1-5386-5035-6. doi: 10.1109/BigData.2018.8622035. Full text in Research Archive
  • Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto & Xiao, Guohui [Show all 16 contributors for this article] (2017). Ontology Based Data Access in Statoil. Journal of Web Semantics. ISSN 1570-8268. 44, p. 3–36. doi: 10.1016/j.websem.2017.05.005. Full text in Research Archive
  • Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild & Zakharyaschev, Michael (2017). Ontology-Based Data Access to Slegge. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10588, p. 120–129. doi: 10.1007/978-3-319-68204-4_12. Full text in Research Archive
  • Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin & Skjæveland, Martin G [Show all 11 contributors for this article] (2017). OptiqueVQS: a Visual Query System over Ontologies for Industry . Semantic Web Journal. ISSN 1570-0844. p. 1–28. doi: 10.3233/sw-180293. Full text in Research Archive
  • Hovland, Dag; Lanti, Davide; Rezk, Martin & Xiao, Guohui (2016). OBDA constraints for effective query answering. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9718, p. 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 [Show all 8 contributors for this article] (2016). KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. CEUR Workshop Proceedings. ISSN 1613-0073. 1690.
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Show all 7 contributors for this article] (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration, SPE Intelligent Energy Conference and Exhibition, Aberdeen, Scotland, UK, 6-8 September 2016 - Conference Proceedings. Society of Petroleum Engineers. ISSN 978-1-61399-459-7. doi: 10.2118/181111-MS.
  • Calvanese, Diego; Giese, Martin; Hovland, Dag & Rezk, Martin (2015). Ontology-Based Integration of Cross-Linked Datasets. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9366, p. 199–216. doi: 10.1007/978-3-319-25007-6_12. Full text in Research Archive
  • Kharlamov, Evgeny; Hovland, Dag; Jiménez-Ruiz, Ernesto; Lanti, Davide; Lie, Hallstein & Pinkel, Christoph [Show all 12 contributors for this article] (2015). Ontology based access to exploration data at statoil. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9367, p. 93–112. doi: 10.1007/978-3-319-25010-6_6. Full text in Research Archive
  • 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, p. 112–140. doi: 10.1016/j.websem.2015.03.002. Full text in Research Archive
  • 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), p. 967–1007. doi: 10.1007/s00224-015-9623-7. Full text in Research Archive
  • Haase, Peter; Horrocks, Ian; Hovland, Dag; Hubauer, Thomas; Jimenez-ruiz, Ernesto & Kharlamov, Evgeny [Show all 12 contributors for this article] (2013). Optique System: Towards Ontology and Mapping Management in OBDA Solutions. CEUR Workshop Proceedings. ISSN 1613-0073.
  • Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. p. 25–36. doi: 10.29007/r5m4. Full text in Research Archive
  • 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, p. 29–48. doi: 10.1016/j.tcs.2012.07.032. Full text in Research Archive
  • Hovland, Dag (2012). The inclusion problem for regular expressions. Journal of computer and system sciences. ISSN 0022-0000. 78(6), p. 1795–1813. doi: 10.1016/j.jcss.2011.12.003. 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 (LNCS). ISSN 0302-9743. 7183, p. 313–324. doi: 10.1007/978-3-642-28332-1_27. Full text in Research Archive
  • Antonopoulos, Timos; Hovland, Dag; Martens, Wim & Neven, Frank (2012). Deciding Twig-definability of Node Selecting Tree Automata. In Deutsch, Alin (Eds.), 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012. Association for Computing Machinery (ACM). ISSN 978-1-4503-0791-8. p. 61–73. doi: 10.1145/2274576.2274584. Full text in Research Archive
  • Mancini, Federico; Hovland, Dag & Mughal, Khalid Azim (2010). Investigating the Limitations of Java Annotations for Input Validation. In IEEE, Org. (Eds.), Proceedings of the Fifth International Conference on Availability, Reliability, and Security (ARES 2010). IEEE conference proceedings. ISSN 978-1-4244-5879-0. p. 513–518.
  • Mancini, Federico; Hovland, Dag & Mughal, Khalid Azim (2010). The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. In IEEE, Org. (Eds.), Proceedings of the Fifth International Conference on Internet and Web Applications and Services (ICIW 2010). IEEE conference proceedings. ISSN 978-0-7695-4022-1. p. 122–128.
  • Hovland, Dag (2010). The inclusion problem for regular expressions. In Dediu, Adrian-Horia; Martín-Vide, Carlos & Fernau, Henning (Ed.), Language and automata theory and applications. 4th International Conference, LATA 2010 Trier, Germany, May 24-28, 2010 Proceedings. Springer. ISSN 978-3-642-13088-5. p. 309–320.
  • Hovland, Dag (2009). Regular Expressions with Numerical Constraints and Automata with Counters. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5684, p. 231–245. doi: 10.1007/978-3-642-03466-4_15.
  • Hovland, Dag (2009). A Type System for Usage of Software Components. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5497, p. 186–202. doi: 10.1007/978-3-642-02444-3_12.

View all works in Cristin

  • Latif, Adnan; Waaler, Arild; Giese, Martin; Hovland, Dag & Skjæveland, Martin G (2018). Ontology-Based Data Access in Exploration.
  • 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.
  • Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony & Waaler, Arild (2017). On adopting ontology alignment techniques within the phenotype acquisition process. CEUR Workshop Proceedings. ISSN 1613-0073. 2042, p. 1–2.
  • Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild & Bjørge, Eldar [Show all 7 contributors for this article] (2016). Optique: Simple, Oil & Gas-oriented access to big data in exploration.
  • Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Full text in Research Archive
  • Rossini, Alessandro; Rutle, Adrian; Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim & Lamo, Yngve (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.
  • Hovland, Dag (2010). Feasible Algorithms for Semantics - Employing Automata and Inference Systems. University of Bergen. ISSN 9788230816660.

View all works in Cristin

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