title: the coral deductive system. authors: r ramakrishnan , d srivastava , s sudarshan , p seshadri. venue: vldb j.. year: 1994
title: the fact system. authors: i horrocks. venue: lecture notes in computer science ,. year: 1998.0