期刊论文详细信息
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 PDF download
  文献评价指标  
  下载次数:9次 浏览次数:13次