Conjunctive queries for EL with role composition
EL++ is a rather expressive description logic (DL) that still admits polynomial time inferencing for many reasoning tasks. Conjunctive queries are an important means for expressive querying of DL knowledge bases. We address the problem of computing conjunctive query entailment for EL ++ knowledge ba...
| Main Authors: | , |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
2007
|