Dag Hovland

Bilde av Dag Hovland
English version of this page
Mobiltelefon +47-97046378 97046378
Rom 4146
Brukernavn
Besøksadresse Høyteknologisenteret Thormøhlensgate 55 Bergen
Andre tilknytninger Institutt for informatikk
Emneord: Intelligente Data, Big data, Logikk, Databaser, Regulære uttrykk

Publikasjoner

  • Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild & 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 Fulltekst i vitenarkiv.
  • 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 Fulltekst i vitenarkiv.
  • 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 Fulltekst i vitenarkiv.
  • 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 Fulltekst i vitenarkiv. Vis sammendrag
  • 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 Fulltekst i vitenarkiv. Vis sammendrag
  • 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 Fulltekst i vitenarkiv.
  • 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 Fulltekst i vitenarkiv. Vis sammendrag
  • 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 Fulltekst i vitenarkiv. Vis sammendrag
  • Holen, Bjarne; Hovland, Dag & Giese, Martin (2012). Efficient Rule-Matching for Automated Coherent Logic. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  s 25- 36 Fulltekst i vitenarkiv.
  • 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 Fulltekst i vitenarkiv.
  • 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 Fulltekst i vitenarkiv.
  • 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
  • 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
  • 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. Fulltekst i vitenarkiv.
  • 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.
Publisert 30. juni 2011 10:13 - Sist endret 18. jan. 2016 11:34