Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.
Barbara Dunin-KepliczLinh Anh NguyenAndrzej SzalasPublished in: ICCCI (2013)
Keyphrases
- data complexity
- mathcal shiq
- expressive power
- query evaluation
- np hard
- query answering
- conjunctive queries
- np complete
- combined complexity
- lower complexity
- query complexity
- exptime complete
- dl lite
- regular path queries
- double exponential
- data analysis
- computational complexity
- query language
- maximal tractable
- polynomial delay
- artificial intelligence