Combining Rules and Ontologies into Clopen Knowledge Bases