- Title
- Reasoning in Expressive Description Logics
- Creators
- Diego CalvaneseG De GiacomoM LenzeriniD Nardi
- Publication Details
- Handbook of Automated Reasoning, pp.1581-1634
- Editor(s)
- Robinson A, Voronkov A
- ISBN
- 9780444508133
- EISBN
- 9780080532790
- Publisher
- Elsevier
Amsterdam - Number of pages
- 54
- Identifiers
- 9780444508133
(UNIBZ)764140
991006737596901241 - Scopus ID
- n.a.
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Book chapter
- Author Names String
- Calvanese D, De Giacomo G, Lenzerini M, Nardi D
- Additional Description
- Editors/Supervisors: Robinson A, Voronkov A
Book chapter
Reasoning in Expressive Description Logics
Handbook of Automated Reasoning, pp.1581-1634
Elsevier
2001
Handle:
https://hdl.handle.net/10863/40417
Details
Metrics
1 Record Views