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: | , |
|---|---|
| Format: | Journal article |
| Sprog: | English |
| Udgivet: |
2007
|
Lignende værker
Flag and check: data access with monadically defined queries.
af: Rudolph, S, et al.
Udgivet: (2013)
af: Rudolph, S, et al.
Udgivet: (2013)