|
|||||
|
|
Algebraic tableau reasoning for the description logic |
|
| Authors: | Jocelyne Faddoul Volker Haarslev |
| Affiliation: | a Department of Computer Science and Software Engineering, Concordia University, 1455 de Maisonneuve Blvd. W., Montreal, Quebec, H3G 1M8, Canada |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |