Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2007/paper-258> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- paper-258 type InProceedings.
- paper-258 label "A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web".
- paper-258 sameAs paper-258.
- paper-258 abstract "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 resulting formalism without assuming syntactic restrictions. We show that the new formalism has very nice semantic properties. In particular, it faithfully extends both disjunctive programs and description logics. Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity. We also provide a special case with polynomial data complexity.".
- paper-258 hasAuthorList authorList.
- paper-258 keyword "Logics for the Semantic Web".
- paper-258 keyword "Reasoning on the Semantic Web".
- paper-258 keyword "Semantic Web Rules and Query Languages".
- paper-258 title "A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web".