Description Logic Handbook 2003
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003 ISBN 0-521-78176-0
Part I. Theory
- Francesco M. Donini: Complexity of Reasoning. 96-136
Part II. Implementation
- Deborah L. McGuinness, Peter F. Patel-Schneider: From Description Logic Provers to Knowledge Representation Systems. 265-281
- Ian Horrocks: Implementation and Optimization Techniques. 306-346
Part III. Applications
- Christopher A. Welty: Software Engineering. 373-387
- Deborah L. McGuinness: Configuration. 388-405
- Alan L. Rector: Medical Informatics. 406-426
- Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty: Digital Libraries and Web-based Information Systems. 427-449
- Enrico Franconi: Natural Language Processing. 450-461
Appendix
- Franz Baader: Description Logic Terminology. 485-495
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team