http://www.cs.ox.ac.uk/isg/krr/
Oxford Knowledge Representation and Reasoning Group - University of Oxford
KRR