Title: Information Modelling and Knowledge Bases IV, (Frontiers in Artificial Intelligence and Applications)