Egon pointed me to an interesting blog post on RIF and OWL. The post highlights a situation very relevant for my project: The apparent existence of two main approaches in the field of "knowledge representation and reasoning" (maybe it should be called simply handling?) on the Semantic Web.