Searching for authors named "Thomas Krennwallner" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Exploiting conjunctive queries in description logic programs
- …Abstract. We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well as disjunctive rules. dl-programs had been proposed as a powerful formalism for integrati…
- Cited by 1 (1 self) – Add To MetaCart
-
Decomposition of Declarative Knowledge Bases with External Functions ∗
- …We present a method to decompose a declarative knowledge base, given by a logic program under Answer Set Semantics with access to external sources. It overcomes the ineffectiveness of current methods due to a lack of structural information about these sources, viewed as black boxes, by exploiting in…
- Add To MetaCart
Showing 1 through 2.
