This fact allows the separation of the process of representing the concepts expressed in a document from the use of the relations between concepts for deduction or reasoning processes.
formalisms, theories, and algorithms either designed for domain document representation or reasoning may be made independent from the chosen domain ontology and can also be applied to different domains, thus enhancing system portability between domains.