We propose an abstract framework to analyse the rationality of change operators deened in a syntactical way. More precisely we propose \syntactical" postulates of rationality stemming from AGM ones. Then we introduce ve change operators based on forward chaining. Finally we apply our abstract framework to analyse the rationality of our operators.

In QueryPIE, the ti-reasoner algorithm is the one responsible to calculate the inferred results of a particular query requested from the user. Conceptually, the only difference between ti-reasoner (reported in Algorithm 1) and traditional backward-chaining is that ti-reasoner does not perform recursive inference on patterns which are more specific than terminological patterns. If the knowledge ...

The inference engine is one of main components of expert system that influences the performance of expert system. The task of inference engine is to give answers and reasons to users by inference the knowledge of expert system. Since the idea of ternary grid issued in 2004, there is only several developed method, technique or engine working on ternary grid knowledge model. The in 2010 developed...

Framework and Results. In this paper, we briefly describe an ontology-based approach that uses a first order theorem-prover for information integration. We have also built OntoGrate to evaluate our approach and describe its architecture here. Throughout, we refer to the term ontology as the formal specifications of the vocabularies of concepts and the relationships among them. Also, for us, int...