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

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

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

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