Intensional Formalization of Conceptual Structures

摘要: In this paper, I: (1) argue that the issue of intensionality is great importance for formalization conceptual structures, (2) show underestimated in contemporary formalizations and (3)–as a remedy to discrepancy–introduce an intensional language structures. The has syntax similar description logic \({\cal ALC}\) with exception additional equivalence relation introduced. purpose enable concepts. semantics defined by novel algebraic which basically generalization well-known extensional semantics.