基于本體推理的體系結(jié)構(gòu)驗證方法研究.pdf

1、體系結(jié)構(gòu)是對 C4ISR系統(tǒng)的頂層設(shè)計，是實現(xiàn)系統(tǒng)之間互連、互通和互操作的依據(jù)。體系結(jié)構(gòu)設(shè)計的質(zhì)量直接影響到系統(tǒng)的設(shè)計和實現(xiàn)，結(jié)構(gòu)良好的體系結(jié)構(gòu)可以減少維護(hù)階段的高昂代價。因此，體系結(jié)構(gòu)驗證從而成為一個重要的研究方向，通過體系結(jié)構(gòu)驗證可以發(fā)現(xiàn)并及時改進(jìn)不合理甚至是矛盾的設(shè)計，提高設(shè)計質(zhì)量。
　　本文研究的主要目的是以國防部體系結(jié)構(gòu)框架2.0元模型 DM2（DoDAF2.0 Meta-Model）為基礎(chǔ)，利用本體推理技術(shù)，提出一種具

2、有較強通用性的體系結(jié)構(gòu)驗證方法。本文從本體推理技術(shù)出發(fā)，以體系結(jié)構(gòu)驗證方法為研究內(nèi)容，并重點對體系結(jié)構(gòu)的一致性和完備性驗證進(jìn)行了深入研究。本文的主要內(nèi)容分為以下幾個方面：
　?。?）基于本體推理的體系結(jié)構(gòu)驗證方法的提出
　　分析了體系結(jié)構(gòu)驗證、DM2和本體推理的相關(guān)定義、概念和技術(shù)，提出了基于規(guī)則的本體推理技術(shù)用于體系結(jié)構(gòu)驗證的理論基礎(chǔ)和技術(shù)優(yōu)勢，從理論上研究了該方法的可行性
　　（2）體系結(jié)構(gòu)數(shù)據(jù)的OWL（Ontol

3、ogy Web Language）描述方法
　　基于本體相關(guān)技術(shù)理論，分析DM2對體系結(jié)構(gòu)設(shè)計的規(guī)范描述，建立使用本體描述語言O(shè)WL描述DM2的方法，并按照此方法構(gòu)建本體模型，然后按照DoDAF2.0所提供的物理交換規(guī)范，將XML數(shù)據(jù)格式映射為OWL數(shù)據(jù)格式，并按此方法將體系結(jié)構(gòu)設(shè)計數(shù)據(jù)描述為本體實例，為使用本體推理技術(shù)進(jìn)行體系結(jié)構(gòu)驗證提供了技術(shù)基礎(chǔ)。
　　（3）本體推理規(guī)則建立方法
　　針對使用的本體推理機的推理原理