Author:
Gao Jie,Ouyang Dantong,Ye Yuxin
Funder
National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Reference39 articles.
1. Baader F, Calvanese D, McGuinness DL, Nardi D., Patel-schneider PF (eds) (2003) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge
2. Baader F, Peṅaloza R (2007) Axiom pinpointing in general tableaux. In: Automated reasoning with analytic tableaux and related methods, 16th international conference, TABLEAUX 2007. Proceedings, Aix en Provence, pp 11–27
3. Baader F, Peṅaloza R (2008) Automata-based axiom pinpointing. In: Automated reasoning, 4th International Joint Conference, IJCAR 2008. Proceedings, Sydney, pp. 226–241
4. Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona
5. Du J, Qi G, Fu X (2014) A practical fine-grained approach to resolving incoherent OWL 2 DL terminologies. In: Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, pp 919–928
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献