A Goal-Directed Implementation of Query Answering for Hybrid MKNF 25 rules, and rule-based constraints. In addition, since the implementation of Flora2 (Yang et al. 2003) and Silk (Grosof 2009) are both based on XSB, *CDF-Rules* also forms a basis for experimenting with *MKNF*W F S **on these systems.**

## References

Alferes, J. J., Knorr, M., **and Swift, T.** 2012. Queries to hybrid MKNF knowledge bases through oracular tabling. *ACM Transactions on Computational Logic*. To appear, available via http://tocl.acm.org/accepted/464knorr.pdf.

Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., **and Patel-Schneider,**
P. F., Eds. 2007. *The Description Logic Handbook: Theory, Implementation, and Applications*, second ed. Cambridge University Press.

Baral, C. 2002. *Knowledge Representation, Reasoning, and Declarative Problem Solving*.

Cambridge University Press.

Cal`ı, A., Gottlob, G., **and Lukasiewicz, T.** 2012. A general datalog-based framework for tractable query answering over ontologies. *Journal of Web Semantics 14*, 57–83.

Chen, W. and Warren, D. S. 1996. Tabled Evaluation with Delaying for General Logic Programs. *Journal of the ACM 43,* 1 (January), 20–74.

Drabent, W. and Ma luszynski, J. 2007. Well-founded semantics for hybrid rules. In International Conference on Web Reasoning and Rule Systems. Springer, 1–15.

Eiter, T., Lukasiewicz, T., Schindlauer, R., **and Tompits, H.** 2004a. Combining answer set programming with description logics for the semantic web. In International Conference on Principles of Knowledge Representation and Reasoning. 141–151.

Eiter, T., Lukasiewicz, T., Schindlauer, R., **and Tompits, H.** 2004b. Well-founded semantics for description logic programs in the semantic web. In Rules and Rule Markup Languages for the Semantic Web. 81–97.

Gelfond, M. and Lifschitz, V. 1990. Logic programs with classical negation. In International Conference on Logic Programming. 579–597.

Grimm, S. and Hitzler, P. 2007. Semantic matchmaking of web resources with local closed-world reasoning. *International Journal of e-Commerce 12,* 2, 89–126.

Grosof, B. 2009. SILK: Semantic rules take the next big step in power.

http://silk.semwebcentral.org.

Hitzler, P., Krotzsch, M. ¨ , Parsia, B., Patel-Schneider, P. F., **and Rudolph, S.**,
Eds. 2009. *OWL 2 Web Ontology Language: Primer*. W3C Recommendation 27 October 2009. Available from **http://www.w3.org/TR/owl2-primer/**.

Hitzler, P. and Parsia, B. 2009. Ontologies and rules. In *Handbook on Ontologies*,
second ed., S. Staab and R. Studer, Eds. Springer.

Horrocks, I., Motik, B., Rosati, R., **and Sattler, U.** 2006. Can OWL and logic programming live together happily ever after? In *International Semantic Web Conference*.

501–514.

Horrocks, I. and Patel-Schneider, P. 1999. Optimizing description logic subsumption. *Journal of Logic and Computation 9,* 3, 267–293.

Knorr, M., Alferes, J. J., **and Hitzler, P.** 2008. A coherent well-founded model for hybrid MKNF knowledge bases. In *European Conf. on Artificial Intelligence*. 99–103.

Knorr, M., Alferes, J. J., **and Hitzler, P.** 2011. Local closed world reasoning with description logics under the well-founded semantics. *Artificial Intelligence 175,* 9-10, 1528–1554.

Lifschitz, V. 1991. Nonmonotonic databases and epistemic queries. In *International* Joint Conference on Artificial Intelligence. 381–386.