Acknowledgement
Supported by : 한국학술진흥재단
References
- G. Antonious, C.V. Damasio, B. Grosof, I. Horrocks, M. Kifer, J. Maluszynski, P.F. Patel-Schneider, "Combining rules and ontologies," A survery. Technical Report IST506779/Linkoping/I3-D3/D/PU/a1, Linkoping University, 2005.
- J.Z. Pan, E. Franconi, S. Tessaris, G. Stamou, V. Tzouvaras, L. Serafini, I. Horrocks, B. Glimm, "Specification of coordination of rule and ontology languages," Project Deliverable D2.5.1, Knowledge-Web NoE, 2004.
- T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits, "Reasoning with Rules and Ontologies," In Springer LNCS 4126, pp.93-127, 2006.
- T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits, "Combining Answer Set Programming with Description Logics for the Semantic Web," Proc. of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR2004), pp.141-151, 2004.
- R.J. Brachman, H. J. Levesque, "Knowledge Representation and Reasoning," Morgan Kaufmann, 1991.
- D. Poole, "A logical framework for default reasoning," Artificial Intelligence, vol.36, pp.27-47, 1988. https://doi.org/10.1016/0004-3702(88)90077-X
- M. Smith, C. Welty, D. McGuiness, "OWL Web Ontology Language Guide," W3C Recommendation http://www.w3.org/TR/owl-guide/, 2004.
- V. Lifschitz, "Nonmonotonic Databases and Epistemic Queries," Proc. of the 12th IJCAI, pp. 381-386, Aug. 1991.
- B. Motik, I. Horrocks, R. Rosati, U. Sattler, "Can OWL and Logic Programming Live Together Happily Ever After?," Proc. of the 5th International Semantic Web Conference (ISWC 2006), vol.4273 of LNCS, pp.501-514. Springer, 2006.
- Y. Zhang, "Epistemic Reasoning in Logic Programs," Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp.647-652, 2007.
- U. Hustadt, "Do we need the closed-world assumption in knowledge representation?," Proc. of the 1st Workshop KRDB'94, pp.123-124, 1994.
- E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, Y. Katz, "Pellet: a practical owl-dl reasoner," Proc. of the 3rd International Semantic Web Conference (ISWC2004), 2004.
- S. Grimm, B. Motik, "Closed-World Reasoning in the Semantic Web through Epistemic Operators," Proc. of the OWL Experiences and Directions Workshop, 2005.
- C.V. Damasio, A. Analyti, G. Antoniou, G. Wagner, "Supporting Open and Closed World Reasoning on the Web," Proc. of the Principles and Practice of Semantic Web Reasoning (PPSWR'06), vol.4187 of LNCS, pp.149-163, Springer, 2006.
- F.M. Donini, D. Nardi, R. Rosati, "Description Logics of Minimal Knowledge and Negation as Failure," ACM Trans. on Computational Logic, 3(2), pp.177-225, 2002. https://doi.org/10.1145/505372.505373
- I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," W3C Member Submission, 21 May 2004. Available at http://www.w3.org/Submission/SWRL/. 2004.
- J.-M. Kim, S.-H. Kwon, J.-H. Choi, Y.-T. Park, "Tableaux Algorithm based OWL Ontology Reasoner," Proc. of the 35th KIISE Fall Conference, vol.35, no.1(A), pp.0102-0103, 2008. (in Korean)