Semantic Validation of Inferences in Terminological Representation Systems
Jan Thomsen · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991
Based on the semantics of a BACK-like Term Subsumption Language we give an overview of different settings of terminologies based on a terminological language including number restrictions, value restrictions, disjointness and individual restrictions, and primitive subroles, discussing the inferences which have to be drawn in them (TBox inferences). The same is done by considering the inferential consequences of a rule operator (IBox inferences) and a basic assertional language (ABox inferences). By this we get a number of little abstract examples which serve as the description of an environment for testing Terminological Representation Systems semantically.