Research on Formalization and Composition of Semantic Web Services
Duan Yue-xing · Computer Technology and Development · 2013
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.