1. Fischer Nilsson, J.: Diagrammatic Reasoning with Classes and Relationships, 18 pages (2010) (submitted)
2. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic programs with Description Logic. In: 12th WWW. ACM, New York (2003)
3. Calì, A., Gottlob, G., Lukasiewicz, T.: A General Datalog-based Framework for Tractable Query Answering over Ontologies. In: De Virgilio, R., Giunchiglia, F., Tanca, L. (eds.) Semantic Web Information Management: A Model-Based Perspective. Springer, Heidelberg (2010)
4. Hamfelt, A., Fischer Nilsson, J.: Towards a Logic Programming Methodology Based on Higher-Order Predicates. New Generation Computing 15(4), 421–448 (1997)
5. Fischer Nilsson, J., Palomäki, J.: Towards Computing with Intensions and Extensions of Concepts. In: Charrel, P.-J., et al. (eds.) Information Modelling and Knowledge Bases IX. IOS Press, Amsterdam (1998)