An expressive and tractable rule-based description language

References

• Antoniou, G., and F. van Harmelen. 2004. A Semantic Web Primer. Cambridge, MA, USA: MIT Press.
   Google Scholar
• Baader, F., S. Brandt, and C. Lutz. 2005. “Pushing the EL Envelope.” In JCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, July 30–August 5, edited by L. P. Kaelbling and A. Saffiotti, 364–369. Scotland, UK: Professional Book Center.
   Google Scholar
• Baader, F., S. Brandt, and C. Lutz. 2008. “Pushing the EL Envelope Further.” In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions. Washington, DC.
   Google Scholar
• Baader, F., D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. 2003. Description Logic Handbook. Cambridge, UK: Cambridge University Press.
   Google Scholar
• Baader, F., and W. Nutt. 2002. “Basic Description Logics.” In Baader Et Al 2002: 47–100.
   Google Scholar
• Calvanese, D., G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. 2007. “Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.” Journal of Automated Reasoning 39 (3): 385–429. doi:10.1007/s10817-007-9078-x.
   Web of Science ®Google Scholar
• Divroodi, A. R., and L. A. Nguyen. 2017. “On Directed Simulations in Description Logics.” Journal of Logic and Computation 27 (7): 1955–1986.
   Web of Science ®Google Scholar
• Dunin-Keplicz, B., L. A. Nguyen, and A. Szałas. 2010. “Tractable Approximate Knowledge Fusion Using the Horn Fragment of Serial Propositional Dynamic Logic.” The International Journal of Approximate Reasoning 51: 3. doi:10.1016/j.ijar.2009.11.002.
   Web of Science ®Google Scholar
• Earley, S. 2016. “There Is No AI Without IA.” IT Professional 18 (3): 58–64.
   PubMed Web of Science ®Google Scholar
• Grosof, B. N., I. Horrocks, R. Volz, and S. Decker. 2003. “Description Logic Programs: Combining Logic Programs with Description Logic.” In Proceedings of WWW’2003, 48–57. Budapest, Hungary.
   Google Scholar
• Harel, D., D. Kozen, and J. Tiuryn. 2000. Dynamic Logic. Cambridge, MA: MIT Press.
   Google Scholar
• Hustadt, U., B. Motik, and U. Sattler. 2007. “Reasoning in Description Logics by a Reduction to Disjunctive Datalog.” Journal of Automated Reasoning 39 (3): 351–384. doi:10.1007/s10817-007-9080-3.
   Web of Science ®Google Scholar
• Katarzyński, J. 2015. “Implementing an Algorithm for Querying Horn-DL Knowledge Bases.” A master’s thesis, University of Warsaw. The implemented program is available at http://www.mimuw.edu.pl/ nguyen/Horn-DL.
   Google Scholar
• Nardi, D., and R. J. Brachman. 2002. “An Introduction to Description Logics.” In Baader Et Al 2002: 5–44.
   Google Scholar
• Nguyen, L. A. 2006. “On the Deterministic Horn Fragment of Test-free PDL.” In Advances in Modal Logic - Volume 6, edited by I. Hodkinson and Y. Venema. 373–392. London, UK: King’s College Publications.
   Google Scholar
• Nguyen, L. A. 2016. “A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic.” Fundamenta Informaticae 143 (1–2): 113–139. doi:10.3233/FI-2016-1307.
   Web of Science ®Google Scholar
• Nguyen, L. A. 2017. “Comparing the Expressive Powers Of Rule Languages In Description Logic.” Presented at CS&P’2017, Warsaw, Poland. http://www.mimuw.edu.pl/ nguyen/EP-RL-DL-long.pdf
   Google Scholar
• Nguyen, L. A., and N.-T. Nguyen. 2018. “An online appendix for the current paper.” Accessed. http://www.mimuw.edu.pl/ nguyen/Horn-DL/Horn-DL2-appendix.pdf
   Google Scholar
• Nguyen, L. A., T.-B.-L. Nguyen, and A. Szałas. 2015. “Towards Richer Rule Languages with Polynomial Data Complexity for the Semantic Web.” Data & Knowledge Engineering 96: 57–77. doi:10.1016/j.datak.2015.04.005.
   Web of Science ®Google Scholar
• Ortiz, M., S. Rudolph, and M. Simkus. 2011. “Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.” In Proceedings of IJCAI 2011, edited by T. Walsh, 1039–1044. Barcelona, Spain: AAAI Press.
   Google Scholar
• Poli, R., M. Healy, and A. Kameas. 2010. Theory and Applications of Ontology: Computer Applications. Berlin/Heidelberg, Germany: Springer, Dordrecht.
   Google Scholar