Author:
Tao Jia,Slutzki Giora,Honavar Vasant
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference33 articles.
1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1–26 (1991)
3. Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in expressive description logics. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1581–1634. Elsevier and MIT Press (2001)
4. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Log. 69(1), 5–40 (2001)
5. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Log. J. IGPL 8(3), 239–264 (2000)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A PSpace Algorithm for Acyclic Epistemic DL
$$\mathcal {ALCS}5_m$$
ALCS
5
m;Journal of Automated Reasoning;2018-06-12
2. Keeping Secrets in Modalized DL Knowledge Bases;Proceedings of the 9th International Conference on Agents and Artificial Intelligence;2017