The Design And Implementation Of A Platform For Reasoning By Combining Rules And Ontologies

"BigData-Based Key Technologies and Systems of Human-like Intelligence", one of the National High Technology Research and Development Program ("863" Program), aims at implementing auto question answering on the college entrance examinations of geography. The construction of geography knowledge base and the implementation of applicative reasoning system is a key point, which is due to the fact that the human-like reasoning behavior is needed in answering many questions on geography. Recently, the ontology technology and the related tools form the main method for knowledge ac-quirement, integration, management and reasoning. And over the last years, Answer Set Programming(ASP) has emerged as a declarative problem solving paradigm that has its roots in Logic Programming and Nonmonotonic Reasoning. This thesis develops a method for combining ASP and ontology, and aims at the design and implementation of a reasoning system combing ASP and ontology which will be used in question answering of geography.The main researches in this thesis include:1)Designing a QA-oriented language AS-P4QA which combining ASP and ontology, and defining the semantics of ASP4QA; 2)De-signing a basic solving algorithm for ASP4QA program, and discussing the optimization method; 3)Designing and implementing a solver and then a reasoning platform for AS-P4QA program; 4) Testing the usability of ASP4QA reasoning platform by the line graph related questions in geographic exam.The main production in this thesis include:1)Designing syntax of ASP4QA according to syntax of ASP, and defining formal semantic of ASP4QA based on answer set semantic; 2)Presenting a basic solving algorithm for ASP4QA program and two optimization ap-proaches of the basic solving algorithm; 3) Giving the implementation of ASP4QA solver by combining ASP solver clingo and ontology tool jena, and implementing ASP4QA rea-soning platform underlying architecture of B/S; 4)Showing that the ASP4QA reasoning platform meet the requirement of question solving by a case study of solving the line graph related questions in geographic exam, and providing the basis for further research.