• 已选条件：
 全选  【符合条件的数据共：36条】

1 Efficient Reasoning in EL [会议论文]

作者:Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn

会议时间:

预览  |  原文链接  |  全文  [ 浏览：4 下载：4  ]    

2 Discrete Tableau Algorithms for FSHI [会议论文]

作者:Yanhui Li;Baowen Xu;Jianjiang Lu;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

3 Description Logic Reasoning for Dynamic ABoxes [会议论文]

作者:Christian Halaschek-Wiener;Bijan Parsia;Evren Sirin;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：4 下载：2  ]    

4 Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments [会议论文]

作者:Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：3  ]    

5 Data Complexity of Answering Unions of Conjunctive Queries in SHIQ [会议论文]

作者:Magdalena Ortiz, Diego Calvanese, Thomas Eiter

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：4  ]    

6 Pellet System Description [会议论文]

作者:Evren Sirin, Bijan Parsia

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：3  ]