如果有几个人感兴趣，咱们就可以计划开始翻译，并联系出版社购买版权和出版事宜。

我这里有电子版的。关于这本书的详细信息见：

[URL=http://books.cambridge.org/0521781760.htm]http://books.cambridge.org/0521781760.htm[/URL]
====================================================
The Description Logic Handbook
Theory, Implementation and Applications

Edited by Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider

Published January 2003

574 pages 14 tables 53 figures

Hardback | ISBN: 0521781760

Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters are written by some of the most prominent researchers in the field, introducing the basic technical material before taking the reader to the current state of the subject, and including comprehensive guides to the literature. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.

Contents

1. An introduction to description logics D. Nardi and R. J. Brachman
Part I. Theory:
2. Basic description logics F. Baader and W. Nutt
3. Complexity of reasoning F. M. Donini
4. Relationships with other formalisms U. Sattler, D. Calvanese and R. Molitor
5. Expressive description logics D. Calvanese and G. De Giacomo
6. Extensions to description logics F. Baader, R. Küsters and F. Wolter
Part II. Implementation:
7. From description logic provers to knowledge representation systems D. L. McGuinness and P. F. Patel-Schneider
8. Description logics systems R. Möller and V. Haarslev
9. Implementation and optimisation techniques I. Horrocks
Part III. Applications:
10. Conceptual modeling with description logics A. Borgida and R. J. Brachman
11. Software engineering C. Welty
12. Configuration D. L. McGuinness
13. Medical informatics A. Rector
14. Digital libraries and web-based information systems I. Horrocks, D. L. McGuinness and C. Welty
15. Natural language processing E. Franconi
16. Description logics for data bases A. Borgida, M. Lenzerini and R. Rosati
Appendix. Description logic terminology F. Baader
Bibliography.

Contributors:

D. Nardi, R. J. Brachman, F. Baader, W. Nutt, F. M. Donini, U. Sattler, D. Calvanese, R. Mölitor, G. De Giacomo, R. Küsters, F. Wolter, D. L. McGuinness, P. F. Patel-Schneider, R. Möller, V. Haarslev, I. Horrocks, A. Borgida, C. Welty, A. Rector, E. Franconi, M. Lenzerini, R. Rosati

再说，，有一些问题，自己还没搞懂。。

另外，告诉大家下载电子版的小秘密：
http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf
把01 改成02,...16即可。但一直找不到参考文献 。。。

Admin，请把目录、前言和参考文献共享出来一下好吗？

把文件名改为dlhb-bibliography.pdf即得到参考文献。
其他部分的文件名为：dlhb-contents.pdf 和 dlhb-index.pdf

我觉得第二章的翻译最重要，因为如果只想对dl有个了解的话，这章基本够了。 所以，可以先翻译这章，不用等到凑齐人手，再逐章翻译。

初步打算每个人翻译一章，部分多的章节可以两个人一起翻译。
首先是各自选择自己喜欢或者适合的章节，然后再统一调整与分配，制定翻译计划。
在翻译计划确定后，就可以开始具体实施了。

以下是各章节的情况：
1. An introduction to description logics D. Nardi and R. J. Brachman  （43页）
Part I. Theory:
2. Basic description logics F. Baader and W. Nutt    （54页）
3. Complexity of reasoning F. M. Donini                 （41页）
4. Relationships with other formalisms U. Sattler, D. Calvanese and R. Molitor （42页）
5. Expressive description logics D. Calvanese and G. De Giacomo     （42页）
6. Extensions to description logics F. Baader, R. Küsters and F. Wolter  （43页）
Part II. Implementation:
7. From description logic provers to knowledge representation systems D. L. McGuinness  （18页）
8. Description logics systems R. Möller and V. Haarslev  （24页）
9. Implementation and optimisation techniques I. Horrocks  （43页）
Part III. Applications:
10. Conceptual modeling with description logics A. Borgida and R. J. Brachman（23页）
11. Software engineering C. Welty  （15页）
12. Configuration D. L. McGuinness  （18页）
13. Medical informatics A. Rector     （21页）
14. Digital libraries and web-based information systems I. Horrocks, D. L. McGuinness and C. Welty  （24页）
15. Natural language processing E. Franconi  （12页）
16. Description logics for data bases A. Borgida, M. Lenzerini and R. Rosati （23页）
Appendix. Description logic terminology F. Baader  （11页）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
上述章节内容，请大家说说各自愿意翻译哪章？
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

谢谢大家的鼎力合作！

具体方式，请micky 决定吧。

用Word基本可以解决问题，公式的字体基本可以采用Lucida Sans Unicode这种字体，其中包含的格式符号比较丰富，且比较规范。

至于DL中使用的ALC, ALCQI等表示的特殊字体，我还没有找到合适的字体与之相同，暂时
使用Monotype Corsiva这种字体的斜体来代替。

个人翻译自己觉得能够胜任的部分。而把暂时翻不了的部分留着。

等第一轮，大家都已经把自己胜任的部分翻译完后，在对剩下的部分各个击破，如何？

(RDF Primer的翻译目前就是这样开展的，当然这样作是否可以成功，要等RDF Primer翻译结束才能下结论)

这样的好处是可以把各人的优势可以在整本书的范围内（而不是某些章节中）得到发挥。

仅供micky参考。。

以下是引用micky在2004-7-13 14:17:47的发言： 谢谢admin的大力支持。由于你实在太忙，而且承担着我们整个网站的管理与维护，真是辛苦你了。不妨先挑一章页数比较少的。 ~~~~~~~~~~~因为有大伙儿的支持，，所以我也不觉得有什么辛苦了。SW版的发展和大家的努力是分不开的。。

具体这个翻译计划怎么制定，怎么实施，还需要大家一起来献计献策。

目标只有一个，就是在大家相互学习的过程中实现知识共享。

报名参加一个吧。

以下是引用micky在2004-7-13 14:44:20的发言： 公式编辑问题，使用latex虽然比较好，但是可能还是复杂了点，大家都不怎么会用。 用Word基本可以解决问题，公式的字体基本可以采用Lucida Sans Unicode这种字体，其中包含的格式符号比较丰富，且比较规范。 至于DL中使用的ALC, ALCQI等表示的特殊字体，我还没有找到合适的字体与之相同，暂时 使用Monotype Corsiva这种字体的斜体来代替。

不过我觉得DL从逻辑的角度来说，还是相当直观好懂的逻辑。
而且这个书也写的通俗易懂。

恭候大家的佳音！

我翻译这章如何？如果可能，有关与软件工程方面的我也感兴趣。

以下是引用civin在2004-8-8 9:46:49的发言： 6. Extensions to description logics F. Baader, R. Küsters and F. Wolter  （43页） 我翻译这章如何？如果可能，有关与软件工程方面的我也感兴趣。

btw:  我还是第100帖呢