Book

Web Reasoning and Rule Systems

by Diego Calvanese, Georg Lausen