Chapter 5A Semantic Web Primer 1 Chapitre 5 Logique et inférence: règles Grigoris Antoniou Frank van Harmelen.
