期刊论文详细信息
| Computación y Sistemas | |
| (Hyper)sequent Calculi for the ALC(S4) Description Logics | |
| Everardo Bárcenas1 José Ramón Enrique Arrazola1 Iván Martínez1 Juan Pablo Muñoz1 | |
| 关键词: Description logics; (Hyper)sequents; proof theory; automated reasoning.; | |
| DOI : | |
| 学科分类：电子、光学、磁材料 | |
| 来源: Instituto Politecnico Nacional * Centro de Investigacion en Computacion | |
 PDF
|
|
【 摘 要 】
Descriptionlogics(DL)formawell-known familyofknowledgerepresentationlanguages. One ofitsmainapplicationsisontheSemanticWeb ...
【 授权许可】
Unknown
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| RO201912050599433ZK.pdf | 346KB |  download |
878987797
028-85220240
