共 29 条
[1]
[Anonymous], 2003, P IJCAI 2003
[2]
[Anonymous], 2006, PROC AAAI C ARTIF IN
[3]
Baader F., 2003, DESCRIPTION LOGIC HD, DOI [DOI 10.2277/0521781760, 10.2277/0521781760]
[4]
Copeland M, 2013, LECT NOTES COMPUT SC, V7955, P113, DOI 10.1007/978-3-642-41242-4_10
[5]
Djedidi R, 2010, LECT NOTES COMPUT SC, V5956, P286, DOI 10.1007/978-3-642-11829-6_19
[7]
Gueffaz M., 2012, THESIS
[8]
Haase P, 2005, LECT NOTES COMPUT SC, V3532, P182
[9]
Haase P, 2006, SEMANTIC TECHNOLOGIE