Optimized Description Logic Reasoning via Core Blocking-Reference-Cited by-同舟云学术

Optimized Description Logic Reasoning via Core Blocking

Published:2010 Issue: Volume: Page:457-471
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Glimm Birte,Horrocks Ian,Motik Boris

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-642-14203-1_39

Reference15 articles.

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

2. Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 web ontology language document overview (2009), http://www.w3.org/TR/owl2-overview/

3. Lecture Notes in Artificial Intelligence;D. Tsarkov,2006

4. Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. of Artificial Intelligence Research 173(14), 1275–1309 (2009)

5. Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. of Web Semantics 5(2) (2007)

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model Construction for Modal Clauses;Lecture Notes in Computer Science;2024

2. Classical Algorithms for Reasoning and Explanation in Description Logics;Reasoning Web. Explainable Artificial Intelligence;2019

3. Tᴏᴏʟ: accessible automated reasoning for human robot collaboration;Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2018-10-24

4. Advanced Semantics Processing-Based Information System to Support English Learning;Communications in Computer and Information Science;2018

5. Tableau-based revision for expressive description logics with individuals;Journal of Web Semantics;2017-08