Here are some examples in using the Description Logic Reasoner KAON2