A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
<p>We present a novel combination of disjunctive logic programs under the answer set semantics with description logics for the Semantic Web. The combination is based on a well-balanced interface between disjunctive logic programs and description logics, which guarantees the decidability of the...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Springer
2007
|