{"type":"ScholarlyArticle","title":"Reifying Concepts in Description Logics","authors":[{"name":"Liviu Badea","slug":"liviu-badea","given":"Liviu","family":"Badea","affiliation":""}],"abstract":"Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a concept to be regarded at the same time as an individual (the instance of some other meta-level concept) • allowing an individual to represent a co llection (set) of other individuals. The first extension, called concept reification , is more general and thus can cover the second one too. We argue that the absence of these features from existing DLs is an important reason for the lack of a unified approach to description logics and object-oriented databases. We also show that concept reification cannot be dealt with by the standard DL semantics and propose a slightly modified semantics that takes care of the inherent higher-order features of reification in a first-order setting . A sound and complete inference algorithm for checking consistency in reified A..CCOE knowledge bases is subsequently put forward .","doi":null,"url":"https://ijcai.org/proceedings/1997/22","pdf":"https://ijcai.org/proceedings/1997/0022.pdf","markdown":"https://ijcai.org/proceedings/1997/22.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/22","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":22,"pages":{"first":142,"last":148},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}