Using Description Logics to specify a Document Synthesis System

this paper deals with an automatic document’s synthesis system. Our approach is based on the prior formal description of the semantics of the main elements (document, reader and his request) in the synthesis system. In this approach, semantic capture is based on ontology definition that is specified formally using Description Logics (DL). The DL inference techniques associated to production rules are then used to compute a document synthesis. Moreover, DL inference techniques are used to reason about each component.