Knowledge Representation Techniques by Patrick Doherty, Andrzej Szalas & Witold Lukaszewicz