Terminological knowledge representation: A proposal for a terminological logic. German Research Center for Artificial Intelligence (DFKI (1991)

by F Baader, H-J Bürckert, J Heinsohn, B Hollunder, J Müller, B Nebel, W Nutt, H-J Profitlich