From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics

Alexander Borgida. From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics. Int. J. Cooperative Inf. Syst., 1(1):93-126, 1992.

Abstract

Abstract is missing.