The description logic handbook : theory, implementation, and applications
"Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. [This book] provides a thorough account of the subject, covering all aspects of research in this field, namely : theory, implementation, and applications. Its appeal will...
Enregistré dans:
| Andre forfattere: | , , |
|---|---|
| Format: | Livre papier |
| Sprog: | Anglais |
| Udgivet: |
Cambridge ; New York ; Melbourne [etc.] :
Cambridge University Press
cop. 2007.
|
| Udgivelse: | 2nd edition. |
| Fag: | |
| Kommentar: |
Edition brochée 2010 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02947nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 1050820 | ||
| 008 | 071116s2007 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN119300427 | ||
| 020 | |a 9780521876254 (rel.) | ||
| 020 | |a 9780521150118 (br.) | ||
| 024 | |a 9780521876254 | ||
| 024 | |a 9780521150118 | ||
| 041 | 0 | |a eng | |
| 084 | |a I.2 | ||
| 084 | |a I.2.4 | ||
| 245 | 0 | 0 | |a The description logic handbook : |b theory, implementation, and applications |c edited by Franz Baader, Diego Calvanese, Deborah L. McGuiness... [et al.]. |
| 250 | |a 2nd edition. | ||
| 260 | |a Cambridge ; |a New York ; |a Melbourne [etc.] : |b Cambridge University Press, |c cop. 2007. | ||
| 300 | |a 1 vol. (XIX-601 p.) : |b ill. ; |c 26 cm. | ||
| 500 | |a Edition brochée 2010 | ||
| 504 | |a Bibliogr. p. 537-591. Index | ||
| 505 | 0 | |a 1. An introduction to description logics -- Part I. Theory -- 2. Basic description logics -- 3. Complexity of reasoning -- 4. Relationships with other formalisms -- 5. Expressive description logics -- 6. Extensions to description logics -- Part II. Implementation -- 7. From description logic provers to knowledge representation -- 8. Description logic systems -- 9. Implementation and optimization techniques -- Part III. Applications -- 10. Conceptual modeling with description logics -- 11. Software engineering -- 12. Configuration -- 13. Medical informatics -- 14. OWL : a description-logic-bases ontology language for the semantic Web -- 15. Natural language processing -- 16. Description logics for databases -- Appendix. Description logic terminology | |
| 520 | |a "Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. [This book] 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. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web.[...] (source : 4ème de couverture) | ||
| 650 | |a Raisonnement | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Représentation des connaissances | ||
| 700 | 1 | |a Baader, Franz, |d 19..- |4 edt | |
| 700 | 1 | |a Calvanese, Diego, |d 19..- |4 edt | |
| 700 | 1 | |a McGuinness, Deborah L., |d 19..- |4 edt | |
| 997 | |0 1050820 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 1/Bourges/INSA CVL/ |z Bourges, INSA CVL, 006.3 DES |z Bourges, INSA CVL, 006.3 DES | ||