Towards a formal ontology for history of church administration