Laboratory for Semantic Information Technology Bamberg University Ontology-based Verification of Core Model Conformity in Cadastral Modeling Claudia Hess,