Eine große Fachhochschule arbeitet an einem internen Portal, das auf einer Domain-Ontologie der Hochschulwelt basiert. Die Ontologie muss den Nut-zer bei dessen Terminologie abholen (Zugangsvokabular) und ihm die realen Sachzusammenhänge und die normative Terminologie vermitteln. Sie dient der Faktendokumentation und dem Dokumentenmanagement. Insbesondere muss die Semantik der Begriffe und deren Relationierung so präzise und kon-sistent sein, dass zuverlässige Inferenzregeln formuliert werden können. Es wird beschrieben, wie auf der Basis des verwendeten Werkzeugs k-infinity das Begriffsmodell aufgebaut ist und wie Inferenzregeln formuliert werden.