Norwegian version of this page

Latest publications – SIRIUS

Publications registered in Cristin (National Research Information System).

  • Rasouli, Peyman & Yu, Ingrid Chieh (2021). Explainable Debugger for Black-box Machine Learning Models. Proceedings of ... International Joint Conference on Neural Networks. ISSN 2161-4393. doi: 10.1109/IJCNN52387.2021.9533944.
  • Kamburjan, Eduard & Kostylev, Egor (2021). Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. CEUR Workshop Proceedings. ISSN 1613-0073.
  • Otten, Jens (2021). The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12842, p. 236–249. doi: 10.1007/978-3-030-86059-2_14.
  • Skjæveland, Martin G (2021). The Core OTTR Template Library. In Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke; Mutharaju, Raghava; Poveda-Villalon, Maria; Shimizu, Cogan; Skjæveland, Martin G; Solanki, Monika; Svátek, Vojtěch & Zhou, Lu (Ed.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. p. 378–393. doi: %2010.3233/SSW210026.
  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Kluwer, Johan Wilhelm (2021). OTTR: Formal Templates for Pattern-Based Ontology Engineering. In Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke; Mutharaju, Raghava; Poveda-Villalon, Maria; Shimizu, Cogan; Skjæveland, Martin G; Solanki, Monika; Svátek, Vojtěch & Zhou, Lu (Ed.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. p. 349–377. doi: %2010.3233/SSW210025.
  • Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G & Karlsen, Leif Harald (2021). Formal Relations over Ontology Patterns in Templating Frameworks. In Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke; Mutharaju, Raghava; Poveda-Villalon, Maria; Shimizu, Cogan; Skjæveland, Martin G; Solanki, Monika; Svátek, Vojtěch & Zhou, Lu (Ed.), Advances in Pattern-Based Ontology Engineering. IOS Press. ISSN 978-1-64368-174-0. p. 120–133. doi: %2010.3233/SSW210010.
  • Avogadro, Roberto; Cremaschi, Marco; Jimenez-Ruiz, Ernesto & Rula, Anisa (2021). A Framework for Quality Assessment of Semantic Annotations of Tabular Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12922. doi: 10.1007/978-3-030-88361-4_31.
  • Chen, Jiaoyan; Jimenez-Ruiz, Ernesto; Horrocks, Ian; Antonyrajah, Denvar; Hadian, Ali & Lee, Jaehun (2021). Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12731. doi: 10.1007/978-3-030-77385-4_23.
  • Chen, Jiaoyan; Jimenez-Ruiz, Ernesto; Horrocks, Ian; Chen, Xi & Myklebust, Erik Bryhn (2021). An Assertion and Alignment Correction Framework for Large Scale Knowledge Bases. Semantic Web Journal. ISSN 1570-0844.
  • Myklebust, Erik Bryhn; Jimenez-Ruiz, Ernesto; Chen, Jiaoyan; Wolf, Raoul & Tollefsen, Knut-Erik (2021). Prediction of Adverse Biological Effects of Chemicals Using Knowledge Graph Embeddings. Semantic Web Journal. ISSN 1570-0844.
  • Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint Rewriting for Direct Mapping. In Hotho, Andreas; Blomqvist, Eva; Dietze, Stefan; Fokoue, Achille; Ding, Ying; Barnaghi, Payam; Haller, Armin; Dragoni, Mauro & Alani, Harith (Ed.), The Semantic Web – ISWC 2021. 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings. Springer Nature. ISSN 978-3-030-88361-4. p. 21–38. doi: 10.1007/978-3-030-88361-4_2.
  • Kamburjan, Eduard & Grätz, Lukas (2021). Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-91550-6_4.
  • Kamburjan, Eduard (2021). From post-conditions to post-region invariants: deductive verification of hybrid objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1145/3447928.3456633.
  • Kamburjan, Eduard; Hähnle, Reiner; Damiani, Ferruccio; Lienhardt, Michael & Paolini, Luca (2021). Variability modules for Java-like languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1145/3461001.3471143.
  • Ell, Basil; Elahi, Mohammad Fazleh & Cimiano, Philipp (2021). Bridging the Gap Between Ontology and Lexicon via Class-Specific Association Rules Mined from a Loosely-Parallel Text-Data Corpus. In Gromann, Dagmar; Gilles, Sérasset; Declerck, Thierry; McCrae, John P.; Gracia, Jorge; Bosque-Gil, Julia; Bobillo, Fernando & Heinisch, Barbara (Ed.), 3rd Conference on Language, Data and Knowledge (LDK 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik.. ISSN 978-3-95977-199-3. p. 33:1–33:21. doi: 10.4230/OASIcs.LDK.2021.33.
  • Chen, Jiaoyan; Hu, Pan; Horrocks, Ian; Jimenez-Ruiz, Ernesto; Holter, Ole Magnus & Antonyrajah, Denvar (2021). OWL2Vec*: embedding of OWL ontologies . Machine Learning. ISSN 0885-6125. 110(7), p. 1813–1845. doi: 10.1007/s10994-021-05997-6.
  • Holter, Ole Magnus & Ell, Basil (2021). Towards Scope Detection in Textual Requirements. In Gromann, Dagmar; Gilles, Sérasset; Declerck, Thierry; McCrae, John P.; Gracia, Jorge; Bosque-Gil, Julia; Bobillo, Fernando & Heinisch, Barbara (Ed.), 3rd Conference on Language, Data and Knowledge (LDK 2021). Schloss Dagstuhl-Leibniz-Zentrum für Informatik.. ISSN 978-3-95977-199-3.
  • Zhou, Baifan; Svetashova, Yulia; Silva Gusmao, Andre; Soylu, Ahmet; Cheng, Gong & Miku, Ralf [Show all 8 contributors for this article] (2021). SemML: Facilitating development of ML models for condition monitoring with semantics. Journal of Web Semantics. ISSN 1570-8268. 71, p. 1–21. doi: 10.1016/j.websem.2021.100664.
  • Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard & Tapia Tarifa, Silvia Lizeth (2021). Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-78142-2%5C_1.
  • Holter, Ole Magnus (2021). Semantic Parsing of Textual Requirements. In Harth, Andreas; Presutti, Valentina; Troncy, Raphaël; Acosta, Maribel; Polleres, Axel; Fernández, Javier D.; Xavier Parreira, Josiane; Hartig, Olaf; Hose, Katja & Cochez, Michael (Ed.), The Semantic Web: ESWC 2020 Satellite Events. Springer. ISSN 978-3-030-62326-5.
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg & Thapa, Ratan Bahadur (2020). Generating Posets Beyond N. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12062, p. 82–99. doi: 10.1007/978-3-030-43520-2_6.
  • Cheng, Gong; Gunaratna, Kalpa & Kharlamov, Evgeny (2020). Entity Summarization in Knowledge Graphs: Algorithms, Evaluation, and Applications, WWW '20: Proceedings of The Web Conference 2020. Association for Computing Machinery (ACM). ISSN 978-1-4503-7023-3. p. 301–302. doi: 10.1145/3366424.3383108.
  • Shi, Yuxuan; Cheng, Gong & Kharlamov, Evgeny (2020). Keyword Search over Knowledge Graphs via Static and Dynamic Hub Labelings, WWW '20: Proceedings of The Web Conference 2020. Association for Computing Machinery (ACM). ISSN 978-1-4503-7023-3. p. 235–245. doi: 10.1145/3366423.3380110.
  • Svetashova, Yulia; Zhou, Baifan; Pychynski, Tim; Schmidt, Stefanie; Sure-Vetter, York & Mikut, Ralf [Show all 7 contributors for this article] (2020). Ontology-Enhanced Machine Learning: A Bosch Use Case of Welding Quality Monitoring. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 531–550. doi: 10.1007/978-3-030-62466-8_33.
  • Kalayci, Elem Güzel; Grangel-González,, Irlán; Lösch, Felix; Xiao, Guohui; ul-Mehdi, Anees & Kharlamov, Evgeny [Show all 7 contributors for this article] (2020). Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12507, p. 464–481. doi: 10.1007/978-3-030-62466-8_29.
  • Zhou, Baifan; Svetashova, Yulia; Pychynski, Tim & Kharlamov, Evgeny (2020). Semantic ML for Manufacturing Monitoring at Bosch. CEUR Workshop Proceedings. ISSN 1613-0073. 2721.
  • Kalayci, Elem Guzel; Grangel-González, Irlán; Loesch, Felix; Xiao, Guohui; Mehdi, Anees & Kharlamov, Evgeny [Show all 7 contributors for this article] (2020). Serving Bosch Production Data as Virtual KGs. CEUR Workshop Proceedings. ISSN 1613-0073. 2721(589).
  • Svetashova, Yulia; Zhou, Baifan; Schmid, Stefan; Pychynski, Tim & Kharlamov, Evgeny (2020). SemML: Reusable ML for Condition Monitoring in Discrete Manufacturing. CEUR Workshop Proceedings. ISSN 1613-0073. 2721, p. 214–218.
  • Li, Shuxing; Huang, Zixian; Cheng, Gong; Kharlamov, Evgeny & Gunaratna, Kalpa (2020). Enriching Documents with Compact, Representative, Relevant Knowledge Graphs. In Bessiere, Christian (Eds.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. International Joint Conferences on Artificial Intelligence. ISSN 978-0-9992411-6-5. doi: 10.24963/ijcai.2020/242.
  • Li, Junyou; Cheng, Gong; Liu, Qingxia; Zhang, Wen; Kharlamov, Evgeny & Gunaratna, Kalpa [Show all 7 contributors for this article] (2020). Neural Entity Summarization with Joint Encoding and Weak Supervision. In Bessiere, Christian (Eds.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. International Joint Conferences on Artificial Intelligence. ISSN 978-0-9992411-6-5. p. 1644–1650. doi: 10.24963/ijcai.2020/228.
  • Liu, Qingxia; Chen, Yue; Cheng, Gong; Kharlamov, Evgeny; Li, Junyou & Qu, Yuzhong (2020). Entity Summarization with User Feedback. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 376–392. doi: 10.1007/978-3-030-49461-2_22.
  • Zhou, Baifan; Svetashova, Yulia; Byeon, Seongsu; Pychynski, Tim; Mikut, Ralf & Kharlamov, Evgeny (2020). Predicting Quality of Automated Welding with Machine Learning and Semantics: A Bosch Case Study. In d'Aquin, Mathieu & Dietze, Stefan (Ed.), CIKM 20 : The 29th ACM international conference on information and knowledge management : Virtual Event Ireland, October 19-23, 2020.. ACM Publications. ISSN 9781450368599. p. 2933–2940. doi: 10.1145/3340531.3412737.
  • de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. OpenAccess Series in Informatics. ISSN 2190-6807. 86, p. 10:1–10:18. doi: 10.4230/OASIcs.Gabbrielli.10. Full text in Research Archive
  • Bibel, Wolfgang & Otten, Jens (2020). From Schütte’s Formal Systems to Modern Automated Deduction. In Kahle, Reinhard & Rathjen, Michael (Ed.), The Legacy of Kurt Schütte. Springer. ISSN 978-3-030-49423-0. p. 217–251. doi: https%3A/doi.org/10.1007/978-3-030-49424-7_13.
  • Oliver, Benjamin & Otten, Jens (2020). Equality Preprocessing in Connection Calculi. CEUR Workshop Proceedings. ISSN 1613-0073. 2752, p. 76–92. Full text in Research Archive
  • Zhou, Baifan; Svetashova, Yulia; Pychynski, Tim; Baimuratov, Ildar; Soylu, Ahmet & Kharlamov, Evgeny (2020). SemFE: Facilitating ML Pipeline Development with Semantics. In d'Aquin, Mathieu & Dietze, Stefan (Ed.), CIKM 20 : The 29th ACM international conference on information and knowledge management : Virtual Event Ireland, October 19-23, 2020.. ACM Publications. ISSN 9781450368599. p. 3489–3492. doi: 10.1145/3340531.3417436.
  • Lupp, Daniel P.; Hodkiewicz, Melinda & Skjæveland, Martin G (2020). Template Libraries for Industrial Asset Maintenance: A Methodology for Scalable and Maintainable Ontologies. CEUR Workshop Proceedings. ISSN 1613-0073. 2757, p. 49–64. Full text in Research Archive
  • Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida & Din, Crystal Chang [Show all 8 contributors for this article] (2020). Consistency-Preserving Evolution Planning on Feature Models. In Lopez-Herrejon, Roberto Erick (Eds.), SPLC'20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A. Association for Computing Machinery (ACM). ISSN 978-1-4503-7569-6. p. 8:1–8:12. doi: 10.1145/3382025.3414964. Full text in Research Archive
  • de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12345, p. 313–338. doi: 10.1007/978-3-030-64354-6_13. Full text in Research Archive
  • Tveito, Lars; Johnsen, Einar Broch & Schlatte, Rudolf (2020). Global Reproducibility Through Local Control for Distributed Active Objects. In Wehrheim, Heike & Cabot, Jordi (Ed.), Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings . Springer. ISSN 978-3-030-45233-9. p. 140–160. doi: 10.1007/978-3-030-45234-6_7. Full text in Research Archive
  • Chen, Jiaoyan; Chen, Xi; Horrocks, Ian; Myklebust, Erik Bryhn & Jimenez-Ruiz, Ernesto (2020). Correcting Knowledge Base Assertions, WWW '20: Proceedings of The Web Conference 2020. Association for Computing Machinery (ACM). ISSN 978-1-4503-7023-3. p. 1537–1547. doi: 10.1145/3366423.3380226. Full text in Research Archive
  • Cutrona, Vincenzo; Bianchi, Federico; Jimenez-Ruiz, Ernesto & Palmonari, Matteo (2020). Tough Tables: Carefully Evaluating Entity Linking for Tabular Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12507, p. 328–343. doi: 10.1007/978-3-030-62466-8_21. Full text in Research Archive
  • Jimenez-Ruiz, Ernesto; Hassanzadeh, Oktie; Efthymiou, Vasilis; Chen, Jiaoyan & Srinivas, Kavitha (2020). SemTab 2019: Resources to Benchmark Tabular Data to Knowledge Graph Matching Systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12123, p. 514–530. doi: 10.1007/978-3-030-49461-2_30. Full text in Research Archive
  • Faria, Daniel; Ferrara, Alfio; Jimenez-Ruiz, Ernesto; Montanelli, Stefano & Pesquita, Catia (2020). Crowd-assessing quality in uncertain data linking datasets. Knowledge engineering review (Print). ISSN 0269-8889. 35. doi: 10.1017/S0269888920000363. Full text in Research Archive
  • Mumtaz, Summaya; Pene, Irina; Latif, Adnan & Giese, Martin (2020). Data-based support for petroleum prospect evaluation. Earth Science Informatics. ISSN 1865-0473. doi: 10.1007/s12145-020-00502-4.
  • Jimenez-Ruiz, Ernesto; Agibetov, Asan; Chen, Jiaoyan; Samwald, Matthias & Cross, Valerie (2020). Dividing the ontology alignment task with semantic embeddings and logic-based modules. Frontiers in Artificial Intelligence and Applications. ISSN 0922-6389. 325, p. 784–791. doi: 10.3233/FAIA200167. Full text in Research Archive
  • Rasouli, Peyman & Yu, Ingrid Chieh (2020). EXPLAN: Explaining Black-box Classifiers using Adaptive Neighborhood Generation. Proceedings of ... International Joint Conference on Neural Networks. ISSN 2161-4393. doi: 10.1109/IJCNN48605.2020.9206710. Full text in Research Archive
  • de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2020). From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12226, p. 269–275. doi: 10.1007/978-3-030-57506-9_20. Full text in Research Archive
  • Mukhiya, Suresh Kumar; Ahmed, Usman; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2020). Adaptation of IDPT System Based on Patient-Authored Text Data using NLP, IEEE 33rd International Symposium on Computer Based Medical Systems (CBMS). IEEE conference proceedings. ISSN 978-1-7281-9429-5. p. 226–232. doi: 10.1109/CBMS49503.2020.00050.
  • Forssell, Henrik; Kharlamov, Evgeny & Thorstensen, Evgenij (2020). On equivalence and cores for incomplete databases in open and closed worlds. Leibniz International Proceedings in Informatics. ISSN 1868-8969. 155, p. 1–21. doi: 10.4230/LIPIcs.ICDT.2020.10. Full text in Research Archive
  • Chen, Jiaoyan; Jimenez-Ruiz, Ernesto; Horrocks, Ian & Sutton, Charles (2019). Learning semantic annotations for tabular data. IJCAI International Joint Conference on Artificial Intelligence. ISSN 1045-0823. 2019-August, p. 2088–2094. doi: 10.24963/ijcai.2019/289. Full text in Research Archive
  • Algergawy, Alsayed; Faria, Daniel; Ferrara, Alfio; Fundulaki, Irini; Harrow, Ian & Hertling, Sven [Show all 22 contributors for this article] (2019). Results of the ontology alignment evaluation initiative 2019. CEUR Workshop Proceedings. ISSN 1613-0073. 2536, p. 46–85.
  • Myklebust, Erik Bryhn; Jimenez-Ruiz, Ernesto; Chen, Jiaoyan; Wolf, Raoul & Tollefsen, Knut-Erik (2019). Knowledge Graph Embedding for Ecotoxicological Effect Prediction. In Ghidini, Chiara; Hartig, Olaf; Maleshkova, Maria; Svátek, Vojtěch; Cruz, Isabel; Hogan, Aidan; Song, Jie; Lefrançois, Maxime & Gandon, Fabien (Ed.), The Semantic Web – ISWC 2019. Springer. ISSN 978-3-030-30795-0. p. 490–506. doi: 10.1007/978-3-030-30796-7_30.
  • Wang, Xiaxia; Chen, Jinchi; Li, Shuxin; Cheng, Gong; Pan, Jeff Z. & Kharlamov, Evgeny [Show all 7 contributors for this article] (2019). A Framework for Evaluating Snippet Generation for Dataset Search. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11778 LNCS, p. 680–697. doi: 10.1007/978-3-030-30793-6_39.
  • Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2019). An architectural design for self-reporting e-health systems. In IEEE, CS Press (Eds.), SEH ’19: Proceedings of the 1st International Workshop on Software Engineering for Healthcare. IEEE. ISSN 978-1-7281-2251-9. p. 1–8. doi: 10.1109/SEH.2019.00008.
  • Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I & Roman-Diez, Guillermo (2019). Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 105, p. 1–27. doi: 10.1016/j.jlamp.2019.02.007.
  • Jimenez-Ruiz, Ernesto (2019). LogMap Family Participation in the OAEI 2019. In Shvaiko, Pavel; Euzenat, Jérôme; Jimenez-Ruiz, Ernesto; Hassanzadeh, Oktie & Trojahn, Cassia (Ed.), Proceedings of the 14th International Workshop on Ontology Matching. CEUR-WS.org. ISSN 1613-0073. Full text in Research Archive
  • Huanyu, Li; Dragisic, Zlatan; Faria, Daniel; Ivanova, Valentina; Jimenez-Ruiz, Ernesto & Lambrix, Patrick [Show all 7 contributors for this article] (2019). User validation in ontology alignment: functional assessment and impact. Knowledge engineering review (Print). ISSN 0269-8889. 34. doi: 10.1017/S0269888919000080. Full text in Research Archive
  • Chen, Jiaoyan; Jimenez-Ruiz, Ernesto; Horrocks, Ian & Sutton, Charles A (2019). Learning Semantic Annotations for Tabular Data. In Kraus, Sarit (Eds.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019. International Joint Conferences on Artificial Intelligence . ISSN 978-0-9992411-4-1. p. 2088–2094. doi: 10.24963/ijcai.2019/289.
  • Vega-Gorgojo, Guillermo; Slaughter, Laura; Zernichow, Bjørn Marius von; Nikolov, Nikolay & Roman, Dumitru (2019). Linked Data Exploration With RDF Surveyor. IEEE Access. ISSN 2169-3536. 7, p. 172199–172213. doi: 10.1109/ACCESS.2019.2956345. Full text in Research Archive
  • Chen, Jiaoyan; Jimenez-Ruiz, Ernesto & Horrocks, Ian (2019). Canonicalizing Knowledge Base Literals. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11778 LNCS, p. 110–127. doi: 10.1007/978-3-030-30793-6_7. Full text in Research Archive
  • Mailis, Theofilos; Kotidis, Yannis; Nikolopoulos, Vaggelis; Kharlamov, Evgeny; Horrocks, Ian & Ioannidis, Yannis (2019). MV-Index: An efficient index for graph-query containment. CEUR Workshop Proceedings. ISSN 1613-0073. 2456(50), p. 193–196.
  • Holter, Ole Magnus; Myklebust, Erik B; Chen, Jiaoyan & Jimenez-Ruiz, Ernesto (2019). Embedding OWL ontologies with OWL2Vec. CEUR Workshop Proceedings. ISSN 1613-0073. 2456, p. 33–36. Full text in Research Archive
  • Rasouli, Peyman & Yu, Ingrid Chieh (2019). Meaningful Data Sampling for a Faithful Local Explanation Method. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 28–38. doi: 10.1007/978-3-030-33607-3_4. Full text in Research Archive
  • Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas (2019). Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. Full text in Research Archive
  • Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Rutle, Adrian & Lamo, Yngve (2019). A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. Procedia Computer Science. ISSN 1877-0509. 160, p. 338–345. doi: 10.1016/j.procs.2019.11.082. Full text in Research Archive
  • Nooralahzadeh, Farhad; Lønning, Jan Tore & Øvrelid, Lilja (2019). Reinforcement-based denoising of distantly supervised NER with partial annotation, Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP (DeepLo 2019). Association for Computational Linguistics. ISSN 978-1-950737-789. p. 225–234. doi: DOI%3A%2010.18653/v1/D19-6125. Full text in Research Archive
  • Owe, Olaf; Lin, Jia-Chun & Fazeldehkordi, Elahe (2019). A Flexible Framework for Program Evolution and Verification. In Hammoudi, Slimane; Pires, Luís Ferreira & Selic, Bran (Ed.), Modelsward 2019 . SciTePress. ISSN 978-989-758-358-2. p. 179–191. doi: 10.5220/0007690301770189.
  • Wang, Xiaxia; Cheng, Gong & Kharlamov, Evgeny (2019). Towards multi-facet snippets for dataset search. CEUR Workshop Proceedings. ISSN 1613-0073. 2465.
  • Aminifar, Amin; Lamo, Yngve; Pun, Ka I & Rabbi, Fazle (2019). A Practical Methodology for Anonymization of Structured Health Data. In Granja, Conceição & Solvoll, Terje (Ed.), Proceedings of the 17th Scandinavian Conference on Health Informatics 2019. Linköping University Electronic Press. ISSN 978-91-7929-957-6. p. 127–133. Full text in Research Archive

View all works in Cristin

  • Blomqvist, Eva; Hahmann, Torsten; Hammar, Karl; Hitzler, Pascal; Hoekstra, Rinke & Mutharaju, Raghava [Show all 12 contributors for this article] (2021). Advances in Pattern-Based Ontology Engineering. IOS Press. ISBN 978-1-64368-174-0. 395 p.
  • Schlatte, Rudolf (2020). Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer. ISBN 978-3-030-47360-0. 237 p.
  • Shvaiko, Pavel; Euzenat, Jérôme; Jimenez-Ruiz, Ernesto; Hassanzadeh, Oktie & Trojahn, Cassia (2019). Proceedings of the 14th International Workshop on Ontology Matching. CEUR-WS.org. ISBN 1613-0073. 202 p.

View all works in Cristin

  • Jimenez-Ruiz, Ernesto (2021). Ontology Alignment and the two DLs (Keynote).
  • Cameron, David B. (2021). Digital Twins for Science. The Science of Digital Twins.
  • Chen, Jieying; Ma, Yue; Peñaloza, Rafael & Hui, Yang (2021). Union and Intersection of all Justifications (Extended Abstract).
  • Koopmann, Patrick & Chen, Jieying (2021). Deductive Module Extraction for Expressive Description Logics.
  • Kluwer, Johan Wilhelm & Skjæveland, Martin G (2020). Ontology patterns for industrial ontologies : the READI use case.
  • Skjæveland, Martin G; Lupp, Daniel P. & Karlsen, Leif Harald (2020). Pattern-based knowledge base construction.
  • Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James & Cservenka, Martin Holm [Show all 11 contributors for this article] (2020). Software and Reversible Systems: A Survey of Recent Activities, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer. ISSN 978-3-030-47360-0. p. 41–59. doi: https%3A/doi.org/10.1007/978-3-030-47361-7_2.
  • Cameron, David B. (2020). Digital Twins. What are they? How can they be used?
  • Yu, Ingrid Chieh; Cameron, David B.; Vølstad, Ann & Larsen, Åshild Hanne (2020). Industrial mentoring for junior researchers: An enabler for personal development and innovation .
  • Otten, Jens (2019). Build Your Own First-Order Prover.
  • Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P. (2019). IOF Workshops 2019 Tutorial: Ontology patterns in practice.
  • Skjæveland, Martin G & Lupp, Daniel P. (2019). Practical and Scalable Pattern-based Ontology Engineering with Reasonable Ontology Templates (OTTR) - Half-day tutorial.
  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Hodkiewicz, M. R. (2019). Scalable Construction of Sustainable Knowledge Bases - Full day tutorial.
  • Chen, Jieying; Alghamdi, Ghadah; Schmidt, Renate; Walther, Dirk & Gao, Yongsheng (2019). Ontology Extraction for Large Ontologies via Modularity and Forgetting.
  • Cameron, David B. (2019). SIRIUS: Innovation-driven research? Research-driven innovation? Or both together?
  • Cameron, David B.; Waaler, Arild & Abel, Mara (2019). Digital Twins as a Platform For Artificial Intelligence in the Petroleum Supply Chain.
  • Cameron, David B. (2019). SIRIUS Digital Twins, Semantics and Petrobras.
  • Kharlamov, Evgeny (2019). Knowledge Graphs and Semantic Technologies for Industry 4.0.
  • Cameron, David B.; Waaler, Arild; Skjæveland, Martin G; Gjerver, Anders & Hansen, Christian Mahesh (2019). The Whole Plant Digital Twin: What Can Semantic Technologies Contribute?
  • Cameron, David B. (2019). Digital Twin Research – University of Oslo . [Internet]. FutureDistributed.org.
  • Elahi, Mohammad Fazleh; Ell, Basil; Grimm, Frank & Cimiano, Philipp (2021). Question Answering on RDF Data based on Grammars Automatically Generated from Lemon Models. Technical University of Aachen. ISSN 1613-0073. 2941(1).
  • Nolano, Gennaro; Elahi, Mohammad Fazleh; De Buono, Maria Pia; Ell, Basil & Cimiano, Philipp (2021). An Italian Question Answering System based on grammars automatically generated from ontology lexica. Technical University of Aachen. ISSN 1613-0073.
  • Cameron, David B.; Falk, Kristin & Kokkula, Satyanarayana (Satya) (2021). Towards Digital Requirements for Transformation in the Natural Resources Industries White Paper from the DSYNE Network Workshop, 9th-10th February 2021 . SIRIUS Centre for Research-Based Innovation. Full text in Research Archive
  • Thapa, Ratan Bahadur & Giese, Martin (2021). A Source-to-Target Constraint rewriting for Direct Mapping (Extended Version). Universitetet i Oslo. Institutt for informatikk . ISSN 978-82-7368-463-9. Full text in Research Archive
  • Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-464-6. Full text in Research Archive

View all works in Cristin