|
|||||
|
|
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages |
|
| Authors: | BAADER FRANZ |
| Affiliation: | LuFg Theoretische Informatik RWTH Aachen, Ahornstraße 55, 52074 Aachen, Germany. E-mail: baader{at}informatik.rwth-aachen.de |
| Abstract: | |
| Keywords: | Terminological KR languages expressive power |
| 本文献已被 Oxford 等数据库收录！ | |