Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference18 articles.
1. The Description Logic Handbook, 2nd Edition;Baader,2007
2. R. Möller, V. Haarslev, Tableau-Based Reasoning, Handbook on Ontologies, pp. 509–528.
3. RACER system description;Haarslev,2001
4. Fact++ description logic reasoner: System description;Tsarkov,2006
5. HermiT: an OWL 2 reasoner;Glimm;J. Autom. Reason.,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献