ontology reasoning with logic databases (2007)