Reifying Concepts in Description Logics

摘要

Practical applications of description logics (DLs) in knowledge-based systems have forced us to introudce the following features which are absent from existing DLs: centre dot allowing a concept to be regarded at the same time as an individual (the instance of some other meta-level concept) centre dot allowing an individual to represent a collection (set) of other individuals.