RULE-BASED CHAINING WITH ONTOLOGICAL CONSTRAINT CHECKING: A HYBRID REASONING SYSTEM FOR SEMANTIC WEB
Keywords:
Semantic web, ontology, description logics, horn rules, hybrid reasoningAbstract
An integrated system for knowledge representation, consisting of a structural component and a relational component, is presented, and its application to Semantic Web is outlined. Grounded upon Description Logics (DL), the structural component enables representation of ontologies along with Resource Description Framework (RDF) annotations of Web contents, and various kinds of ontology-based reasoning. The relational component, by contrast, allows one to describe relationships between individuals using an extended form of Horn rules, in which terminological membership constraints can be specified. Reasoning process in the integrated system is driven by an extended backward-chaining algorithm embedded in the relational component. The two components interact by means of knowledge base unsatisfiability checking, which is supported by a state-of-the-art DL system, called RACER.
References
Antoniou, G., and van Harmelen, F. (2004). Web ontology language: OWL. In: Handbook on Ontologies. Staab, S., and Studer, R., (eds.). Springer, p. 67-92.
Baader, F., Burckert, H.-J., Hollunder, B., Nutt, W., and Siekman, J.H. (1990). Concept Logics. In: Computational Logics, Symposium Proceedings. Lloyd, J.W., (ed.). Springer-Verlag, p. 177-201.
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., and Patel-Schneider, P.F. (2002). In: Description Logic Handbook. 1st ed. Cambridge University Press, 574 p. Berners-Lee, T. (2000). Weaving the Web. 1st ed. Harper Business, 226 p.
Borgida, A. (1996). On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82:353-367.
Calvanese, D., De Giacomo, G., Lenzerini, M., and Nardi, D. (2001). Reasoning in expressive description logics. In: Handbook of Automated Reasoning. Robinson, A., and Voronkov, A., (eds.). Elsevier Science, p.1,581-1,634.
Decker, S., Melnik, S., van Harmelen, F., Fensel, D., Klein M., Broekstra, J., Erdman, M., and Horrocks, I. (2000). The semantic web: The roles of XML and RDF. IEEE Internet computing, 4(5):63-74.
Donini, F.M., Lenzerini, N., Nardi, D., and Schaerf, A. (1996). Reasoning in description logics. In: Principles of Knowledge Representation and Reasoning. Brewka, A. (ed). CLSI Publications, p. 193๑238.
Donini, F.M., Lenzerini, M., Nardi, D., and Schaerf, A. (1998). AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems, 16: 227- 252.
Fensel, D. (2001). Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce. 1st ed. Springer-Verlag, 138 p.
Grosof, B.N., Horrocks, I., Volz, R., and Decker, S. (2003). Description logic programs: combining logic programs with description logic. Proceedings of the 12th International Conference on World Wide Web (WWW- 2003); May 20๑24, 2003; Budapest, Hungary, p. 48-57.
Haarslev, V., and Moller, R. (2001). RACER system description. Lecture Notes in Artificial Intelligence, 2,083:701-705.
Hendler, J. (2001). Agents and the semantic web. IEEE Intelligent Systems, 16(2):30-37.
Horrocks, I. (1998). The FaCT system. Lecture Notes in Artificial Intelligence, 1,397:307- 312.
Horrocks, I., and Tessaris, S. (2000). A conjunctive query language for description logic ABoxes. Proceedings of the 17th National Conference on Artificial Intelligence (AAAI-2000); July 30-August 3, 2000; Austin, Texas, USA, p. 399-404.
Nantajeewarawat, E., and Wuwongse, V. (2001). Defeasible inheritance through specialization. Computational Intelligence, 17(1):62-86.
Patel-Schneider, P.F., and Horrocks, I. (1999). DLP and FaCT. Lecture Notes in Artificial Intelligence, 1,617:19-23.
Russell, S. and Norvig, P. (1995). Artificial Intelligence: A Modern Approach. 1st ed. Prentice Hall, p. 265-294.
Staab, S. and Studer, R. (2004). Handbook on Ontologies. 1st ed. Springer, 660 p.
Tessaris, S. (2001). Questions and answers: reasoning and querying in description logic, [Ph.D. thesis]. Department of Computer Science,University of Manchester, UK, 199 p.
Ullman, J.D. (1989). Principles of database and knowledge base systems. 1st ed. Computer Science Press, 631 p.
Uschold, M., and Gruninger, M. (1996). Ontologies: principles, methods and applications. Knowledge Engineering Review, 11(2): 93-136.
Vardi, M.Y. (1997). Why is model logic so robustly decidable. In: Descriptive Complexity and Finite Models. N. Immerman, N., and Kolaitis, P., (eds.). American Mathematical Society, p. 149- 184.
Wuwongse, V., and Nantajeewarawat, E. (2002). Declarative programs with implicit implication. IEEE Transactions on Knowledge and Data Engineering, 14(4): 836-849.
