An approach for formal representation of SysML block diagram with description logic SHIOQ(D)

For the requirements of formal expression of the system engineering language: SysML, we proposes a translation approach from SysML block diagram to description logic (SHIOQ(D)) knowledge base which plays a key role in semantic Web. Syntax and equational semantics of SysML are discussed and difficulties for formalizing SysML graphical elements are analyzed in Section 2. Section 3 introduces the description logic and finally section 4 gives the details of the DL knowledge base representation for the SysML block diagram.