Information Modelling and Knowledge Bases VIII by Jaakola, H., Kangassalo, Hannu & Nilsson, J.F.