CAJ | 학술논문

描述逻辑是语义网的理论基础,文章首先对语义 Web 服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义 Web 服务的形式化定义.同时把语义 Web 服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成了新的语义 Web 服务,并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题.引入 Tableau 算法后,文章证明了新语义 Web 服务是可终止的,并给出了判断语义 Web 服务满足性的可判定过程,这一工作为具体语义下的 Web 服务的发现、组合等问题的解决提供了理论基础.
묘술라집시어의망적이론기출,문장수선대어의 Web 복무중적수입/수출삼수진행료추상묘술,의거묘술라집적관점득도료어의 Web 복무적형식화정의.동시파어의 Web 복무영사성묘술라집묘술하적모일영역중적개념,통과귀납적방법조합형성료신적어의 Web 복무,병장신조합형성적복무시부유의의저일문제전화위료묘술라집중개념적만족성문제.인입 Tableau 산법후,문장증명료신어의 Web 복무시가종지적,병급출료판단어의 Web 복무만족성적가판정과정,저일공작위구체어의하적 Web 복무적발현、조합등문제적해결제공료이론기출.
Description logic is the theoretical basis of the semantic Web. Through depicting abstractly the input/ output parameter type in semantic Web services,get the formal definition of semantic Web services. According to the description logic point of view,semantic Web services were mapped into a concept in the domain,by the combination of semantic Web services inductively define the new concept to form a new semantic Web services. Whether the new service makes sense depends on the satisfiability of the new concept of description logic. By introducing of Tableau algorithms,proved that the new semantic Web service can be terminated and given a decision procedure for satisfiability of semantic Web services. This work provides a theoretical basis for discovering and compositing the Web services under specific semantics.