Basic example of RDFS and OWL reasoning: subClassOf and SymmetricProperty checked. We show the results in LogCat.