The Description Logic Handbook

作者: 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.

参考文章(239)
James K. Feibleman, Of Symbolic Logic Springer Netherlands. pp. 89- 118 ,(1979) , 10.1007/978-94-009-9278-8_7
Alexander Maedche, Steffen Staab, Ontology Engineering beyond the Modeling of Concepts and Relations Proceedings of the ECAI’2000 Workshop on on Applications of Ontologies and Problem-Solving Methods, Berlin. Ed.: R. V. Benjamins, A. Gomez-Perez, N. Guarino, M. Uschold. ,(2000)
Andrea Schaerf, Werner Nutt, Francesco M. Donini, Martin Buchheit, Terminological Systems Revisited: Terminology = Schema + Views. KRDB. ,(1994)
G. Lanzola, M. Stefanelli, S. Falasconi, An ontology-based multi-agent architecture for distributed health-care information systems. Methods of Information in Medicine. ,vol. 36, pp. 20- 29 ,(1997) , 10.1055/S-0038-1634684
Mark A. Musen, Modern architectures for intelligent systems: reusable ontologies and problem-solving methods. american medical informatics association annual symposium. ,vol. 1998, pp. 46- 52 ,(1998)
Ulrike Sattler, Franz Baader, Number restrictions on complex roles in description logics: a preliminary report principles of knowledge representation and reasoning. pp. 328- 339 ,(1996)
Deborah L. McGuinness, Alexander Borgida, Charles L. Isbell, Reasoning with Black Boxes: Handling Test Concepts in CLASSIC Description Logics. pp. 87- 91 ,(1996)
Ronald J. Brachman, Richard E. Fikes, Hector J. Levesque, KRYPTON: integrating terminology and assertion national conference on artificial intelligence. pp. 31- 35 ,(1983)
Klaus Schild, A correspondence theory for terminological logics: preliminary report international joint conference on artificial intelligence. pp. 466- 471 ,(1991)