软件
軟件
연건
SOFT WARE
2013年
5期
48-52
,共5页
描述逻辑%目录服务本体%网格监控架构%形式化语义
描述邏輯%目錄服務本體%網格鑑控架構%形式化語義
묘술라집%목록복무본체%망격감공가구%형식화어의
提出构建目录服务本体对GMA目录服务组件维护的网格资源信息提供语义一致的描述,从而弥补使用关系数据库或XML组织信息时产生的语义缺陷.结合国家网格甘肃计算节点的实际情况基于描述逻辑进行本体建模,对支持任意实际运行的网格的目录服务本体及其语义进行形式化分析,提出了可以满足这类本体的模型.基于OWL-dl构建了一个目录服务本体的实例,使用sparql语言进行查询,验证了目录服务本体的正确性及可行性.
提齣構建目錄服務本體對GMA目錄服務組件維護的網格資源信息提供語義一緻的描述,從而瀰補使用關繫數據庫或XML組織信息時產生的語義缺陷.結閤國傢網格甘肅計算節點的實際情況基于描述邏輯進行本體建模,對支持任意實際運行的網格的目錄服務本體及其語義進行形式化分析,提齣瞭可以滿足這類本體的模型.基于OWL-dl構建瞭一箇目錄服務本體的實例,使用sparql語言進行查詢,驗證瞭目錄服務本體的正確性及可行性.
제출구건목록복무본체대GMA목록복무조건유호적망격자원신식제공어의일치적묘술,종이미보사용관계수거고혹XML조직신식시산생적어의결함.결합국가망격감숙계산절점적실제정황기우묘술라집진행본체건모,대지지임의실제운행적망격적목록복무본체급기어의진행형식화분석,제출료가이만족저류본체적모형.기우OWL-dl구건료일개목록복무본체적실례,사용sparql어언진행사순,험증료목록복무본체적정학성급가행성.
