Henrik Forssell

Scientific publications

Forssell, Henrik ; Kharlamov, Evgeny; Thorstensen, Evgenij (2020). On equivalence and cores for incomplete databases in open and closed worlds. Leibniz International Proceedings in Informatics. Vol. 155.
https://doi.org/10.4230/LIPIcs.ICDT.2020.10

Forssell, Jon Henrik ; Gylterud, Håkon Robbestad; Spivak, David I (2020). Type theoretical databases. Journal of Logic and Computation. Vol. 30.
https://doi.org/10.1093/logcom/exaa009

Forssell, Henrik ; Lumsdaine, Peter Lefanu (2019). Constructive Reflectivity Principles for Regular Theories. Journal of Symbolic Logic (JSL). Vol. 84.
https://doi.org/10.1017/jsl.2019.70

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 (LNCS). Vol. 11136.
https://doi.org/10.1007/978-3-030-00671-6_28

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. Vol. 1963.

Forssell, Jon Henrik ; Lupp, Daniel Paul; Skjæveland, Martin G; Thorstensen, Evgenij (2017). Reasonable macros for ontology construction and maintenance. CEUR Workshop Proceedings. Vol. 1879.

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. 15 p. CEUR Workshop Proceedings. Vol. 2043.
http://ceur-ws.org/Vol-2043/paper-04.pdf

Forssell, Jon Henrik ; Gylterud, Håkon Robbestad; Spivak, David I (2016). Type theoretical databases. Lecture Notes in Computer Science (LNCS). Vol. 9537.
https://doi.org/10.1007/978-3-319-27683-0_9

Forssell, Henrik (2013). Subgroupoids and quotient theories. Theory and Applications of Categories.

Forssell, Henrik ; Awodey, Steve (2013). First-order Logical Duality. Annals of Pure and Applied Logic.
https://doi.org/10.1016/j.apal.2012.10.016

Dissemination

Forssell, Jon Henrik ; Briseid, Eyvind Martol (2020). Feilaktige bevis for sanne påstander. Forskergruppeseminar om bevis og argumentasjon. Forskergruppe i matematikkdidaktikk: bevis og argumentasjon.

Forssell, Jon Henrik ; Kharlamov, Evgeny; Thorstensen, Evgenij (2017). Towards characterising data exchange solutions in open and closedwords (extended abstract). CEUR Workshop Proceedings. Vol. 1912.

Forssell, Jon Henrik ; Kharlamov, Evgeny; Thorstensen, Evgenij (2017). Towards Characterising Data Exchange Solutions in Open and Closed Words. 2 p. CEUR Workshop Proceedings. Vol. 1912.
http://ceur-ws.org/Vol-1912/paper29.pdf