作者: Peter F. Patel-Schneider , Deborah L. McGuinness , Diego Calvanese , Franz Baader , Daniele Nardi
DOI:
关键词:
摘要: This introduction presents the main motivations for development of Description Logics (DLs) as a formalism representing knowledge, well some important basic notions underlying all systems that have been created in DL tradition. In addition, we provide reader with an overview entire book and guidelines reading it. We first address relationship between earlier semantic network frame systems, which represent original heritage field. delve into key problems encountered older efforts. Subsequently, introduce features languages related reasoning techniques. are then viewed core knowledge representation considering both structure base its associated services. The implemented based on applications built such reviewed. Finally, to other fields Computer Science.We also discuss extensions language machinery; these include proposed incorporation originally arose cope needs certain application domains.