Leif Harald Karlsen – Researcher

Ontology Engineering

Project: “Qualitatively Correct Bintrees: An Efficient Representation of Qualitative Spatial Information”

Scientific interests: Knowledge representation, logic, automated reasoning, databases, spatial data.

What triggers me scientifically: Attempting to make elegant yet practical solutions to difficult problems.