726 search results - page 98 / 146 » Extended Query Answering Using Integrity Rules |
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
KR
2010
Springer
14 years 1 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Given a drug under development, what are other drugs or biochemical compounds that it might interact with? Early answers to this question, by mining the literature, are valuable f...
MKM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
DLOG
2011
13 years 10 days ago
2011
Query answering in Ontology Based Data Access (OBDA) exploits the knowledge of an ontologyās TBox to deal with incompleteness of the ABox (or data source). Current query-answerin...