Towards OWL-based Knowledge Representation in Petrology