Abstract—This paper discussed the idea of the computer system capable of simulating understanding with respect to reading a text document. The research is concerned with the problem of generating sophisticated knowledge representation for the purpose of understanding the natural language. Due to that, a simplification form of logical-oriented model of knowledge representation called Pragmatic Skolem Clauses (PSC) is proposed to represent the semantic formalism for the computational linguistic. Each set of pragmatic skolem clauses containing at least one skolem constant, which shows the thematic role relationship between clauses. Semantically and pragmatically-accented approach will be discussed in this paper in the context of formal grammar and linguistic semantic. Index Terms—Semantic technology, logical method, knowledge representation, first order logic. I. INTRODUCTION In this paper, the parsing algorithm used in implementing the simplification of logical form in knowledge representation will be discussed. The simplified form of logical model is a type of knowledge representation that is designed based on First Order Logic (FOL). The simplified form of logical-oriented model is known as Pragmatic Skolem Clauses (PSC) representation. To implement a parser, the grammar was written in a form called Definite-Clause Grammar (DCG). Each phrase structure (PS) rule is a clause for a predicate with two arguments, such as: S --> NP VP. Knowledge representation is the symbolic representation aspects of some closed universe of discourse. The objective of knowledge representation is to make knowledge explicit. Knowledge can be shared less ambiguously in its explicit form and this becomes especially important when computer automation is applied to facilitate knowledge management. In knowledge management, to solve complex problems encountered through artificial intelligence, a large amount of knowledge and some mechanism for manipulating that knowledge to formulate solutions to new problems are needed. Knowledge representation is a multidisciplinary subject that applies theories and techniques from three other fields [1] – Logic, Ontology and Computation Knowledge Representation can be defined as the application of logic and ontology to the task of constructing computable models of some domain [1]-[3]. Logic and Ontology provide the formalization mechanisms required to make expressive models easily sharable and computer aware. This means that the full potential of knowledge accumulation can be exploited. However, computers only play the role of powerful processors with different levels of richness in information sources. Logic representation has been accepted as a good entity for representing the meaning of natural language sentences [4], and allows more subtle semantic issues to be dealt with. This paper divided into several sections. The following section will discuss on the related research on knowledge representation for natural language. Then the third section is concerned about computing the meaning representation of texts document to constitute of understanding. The text document translations build up the meaning representation and enforce syntactic and semantic agreements. The following section discusses the translation strategy into a simplified form of logical-linguistic to encode the syntactic and semantic aspect of each sentence in text document. Translators may be involved in a very wide range of activities outside the work of translation, ranging from involvement in the grammar and parsing technique, which plays a highly visible role in representing knowledge, to acting as computing or helping the further research such as query system, dialogue system or search engine purposes. Finally will be the conclusion of the work and the further research concerned. II. RELATED RESEARCH Natural languages are the ultimate knowledge representation languages that are used by everyone in communication. Aristotle began his study of knowledge representation with an analysis of the semantic categories and relationships expressed in natural language [1]. Natural language semantic is related to knowledge representation, which is a source of empirical data and also a source of rich formalisms and computable operations. Both stimulate and complement each other. Below are the traditional requirements for natural language representation [5], [6] in [7]: Normalization Strategy of Logical Knowledge Representation for Text Document Rabiah A. Kadir, T. M. T. Sembok, Fatimah Ahmad, and Azreen Azman 98 IACSIT International Journal of Engineering and Technology, Vol. 5, No. 1, February 2013 Manuscript received November 13, 2012; revised December 31, 2012. This work is supported in part by the Ministry of Higher Education (MoHE), Malaysia under Grant LRGS/TD/2011/UITM/ICT/03. Rabiah A. Kadir is with the School of Computer Science and Information System, Najran University, Kingdom of Saudi Arabia, Seconded from Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, 43400 UPM Serdang, Selangor, Malaysia (e-mail: rabiah.akadir@gmail.com). T. M. T. Sembok is with the Kulliyyah of Information and Communication Technology, International Islamic University Malaysia, P. O. Box 10, 50728, Kuala Lumpur, Malaysia (e-mail: tmtsembok@gmail.com). Fatimah Ahmad is with the Computer Science Department, Faculty of Defence Science and Technology, National Defence University of Malaysia (e-mail: fatimah@upnm.edu.my). Azreen Azman is with the Faculty of Computer Science and Information Technology, Universiti Putra Malaysia, 43400 UPM Serdang, Selangor, Malaysia (e-mail: azreen.azman@gmail.com). DOI: 10.7763/IJET.2013.V5.520