Entwicklung und Wiederverwendung wissensbasierter Produktmodelle auf der Grundlage formaler OntologienVolgen