Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web