Browse > Article

Integration of Ontology Open-World and Rule Closed-World Reasoning  

Choi, Jung-Hwa (숭실대학교 컴퓨터학과)
Park, Young-Tack (숭실대학교 컴퓨터학부)
Publication Information
Journal of KIISE:Software and Applications / v.37, no.4, 2010 , pp. 282-296 More about this Journal
Abstract
OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.
Keywords
Closed World Assumption(CWA); Open World Assumption(OWA); Semantic Web; OWL Ontology; Answer Set Programming(ASP); Non-monotonic Reasoning; Tableaux Algorithm;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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)
2 S. Grimm, B. Motik, "Closed-World Reasoning in the Semantic Web through Epistemic Operators," Proc. of the OWL Experiences and Directions Workshop, 2005.
3 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.
4 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.   DOI
5 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.
6 V. Lifschitz, "Nonmonotonic Databases and Epistemic Queries," Proc. of the 12th IJCAI, pp. 381-386, Aug. 1991.
7 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.
8 Y. Zhang, "Epistemic Reasoning in Logic Programs," Proc. of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp.647-652, 2007.
9 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.
10 U. Hustadt, "Do we need the closed-world assumption in knowledge representation?," Proc. of the 1st Workshop KRDB'94, pp.123-124, 1994.
11 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.
12 R.J. Brachman, H. J. Levesque, "Knowledge Representation and Reasoning," Morgan Kaufmann, 1991.
13 T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits, "Reasoning with Rules and Ontologies," In Springer LNCS 4126, pp.93-127, 2006.
14 D. Poole, "A logical framework for default reasoning," Artificial Intelligence, vol.36, pp.27-47, 1988.   DOI   ScienceOn
15 M. Smith, C. Welty, D. McGuiness, "OWL Web Ontology Language Guide," W3C Recommendation http://www.w3.org/TR/owl-guide/, 2004.
16 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.
17 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.