A Knowledge Represenation for Reasoning About Petroleum Geology