English version
Henrik Forssell

Henrik Forssell

Publikasjoner og forskningsresultater

Vitenskapelige publikasjoner

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://hdl.handle.net/11250/2729835

Forssell, Jon Henrik; Gylterud, Håkon Robbestad; Spivak, David I (2020). Type theoretical databases. Journal of Logic and Computation . Vol. 30.
http://hdl.handle.net/10852/85289

Forssell, Henrik; Lumsdaine, Peter Lefanu (2019). Constructive Reflectivity Principles for Regular Theories. Journal of Symbolic Logic (JSL) . Vol. 84.

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.
http://hdl.handle.net/10852/71670

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 s. 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.

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 .

Forssell, Jon Henrik (2012). Topological representation of geometric theories. Mathematical logic quarterly . Vol. 58.

Forssell, Henrik; Awodey, Steve (2005). Algebraic models of intuitionistic theories of sets and classes. Theory and Applications of Categories.



Publikasjonslisten er hentet ut av Cristin. Listen kan være ufullstendig