计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2011年
4期
1062-1066,1069
,共6页
对象角色建模%Web本体语言%描述逻辑%模型映射
對象角色建模%Web本體語言%描述邏輯%模型映射
대상각색건모%Web본체어언%묘술라집%모형영사
对象角色建模(ORM)方法已应用于本体工程,因此需要将ORM模型转换为OWL DL公理,以便将ORM本体发布到语义Web上,同时还可使用支持DL的推理机来检查ORM本体的语义一致性和冗余问题.通过模型语义分析、模型等价转换、引入新的运算符和特性等方法,提出将ORM模型形式化表达为OWL DL公理的规则.除了外部唯一约束等四种约束外,其他形态的ORM模型都可以形式化表达为OWL DL公理.
對象角色建模(ORM)方法已應用于本體工程,因此需要將ORM模型轉換為OWL DL公理,以便將ORM本體髮佈到語義Web上,同時還可使用支持DL的推理機來檢查ORM本體的語義一緻性和冗餘問題.通過模型語義分析、模型等價轉換、引入新的運算符和特性等方法,提齣將ORM模型形式化錶達為OWL DL公理的規則.除瞭外部唯一約束等四種約束外,其他形態的ORM模型都可以形式化錶達為OWL DL公理.
대상각색건모(ORM)방법이응용우본체공정,인차수요장ORM모형전환위OWL DL공리,이편장ORM본체발포도어의Web상,동시환가사용지지DL적추리궤래검사ORM본체적어의일치성화용여문제.통과모형어의분석、모형등개전환、인입신적운산부화특성등방법,제출장ORM모형형식화표체위OWL DL공리적규칙.제료외부유일약속등사충약속외,기타형태적ORM모형도가이형식화표체위OWL DL공리.
