| Autor: |
Jiang, Ya Qiong, Wang, Jun |
| Zdroj: |
Advanced Materials Research; March 2012, Vol. 487 Issue: 1 p347-351, 5p |
| Abstrakt: |
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which reasoning can be answered efficiently. The precompilation of description logic knowledge base is important for reasoning and services of description logic. This paper gives precompilation about the description logic ALCO TBox based on knowledge compilation techniques, for which the consistency of TBox can be determined. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
