A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
We present a novel combination of disjunctive programs under the answer set semantics with description logics for the Semantic Web. The combination is based on a well-balanced interface between disjunctive programs and description logics, which guarantees the decidability of the resulting formalism...
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2010
|