Jon Henrik Forssell

Bilde av Jon Henrik Forssell
English version of this page
Telefon +47-22852781
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Publikasjoner

  • Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Forssell, Jon Henrik (2018). Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Lecture Notes in Computer Science.  ISSN 0302-9743.  11136, s 477- 494 . doi: 10.1007/978-3-030-00671-6_28
  • Forssell, Jon Henrik; Lupp, Daniel Paul; Skjæveland, Martin G & Thorstensen, Evgenij (2017). Reasonable macros for ontology construction and maintenance. CEUR Workshop Proceedings.  ISSN 1613-0073.  1879, s 1- 13
  • Skjæveland, Martin G; Forssell, Jon Henrik; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild (2017). Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. CEUR Workshop Proceedings.  ISSN 1613-0073.  1963, s 1- 4
  • Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild (2017). Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. CEUR Workshop Proceedings.  ISSN 1613-0073.  2043
  • Forssell, Jon Henrik; Gylterud, Håkon Robbestad & Spivak, David I (2016). Type theoretical databases. Lecture Notes in Computer Science.  ISSN 0302-9743.  9537, s 117- 129 . doi: 10.1007/978-3-319-27683-0_9
  • Forssell, Jon Henrik (2012). Topological representation of geometric theories. Mathematical logic quarterly.  ISSN 0942-5616.  58(6), s 380- 393 . doi: 10.1002/malq.201100080

Se alle arbeider i Cristin

Se alle arbeider i Cristin

Publisert 4. nov. 2010 13:53 - Sist endret 14. mars 2011 15:00