The Dynamic composition of atomic services to create a composite web service is one of the problems of the web service integration and is still at research level. In that context, selecting web services with respect to user preferences is still vague. This paper addresses the problem of selecting a user preferred service for dynamic composition. The solution is based on emerging semantic web service technologies. We have proposed an ontology which is based on non-functional requirements such as trustworthiness of the service.
Ontology and its inferencing capabilities are critical for the modern semantic web. Ontology validation is necessary due to the uncertainty of the Description Logic based inferences. Ontology validation should be independent of DL reasoners. To overcome this uncertainty of concepts and instances inference results, in this paper we describes some of the formal ontology validation methods based on the sequent logic and simple conceptual graphs. I. INTRODUCTIONThere is no doubt that future of Internet is based on the semantic web technology [1] which is more intelligent than current. The hart of the semantic web is based on the ontology. The abstract characterization of the ontology is the Description Logic [2], [3] (DL). Therefore, DL can be used to define specification for an ontology. For example, specification for Web services personalization ontology [4]. According to the [5], an ontology is a specification of a conceptualization. The common question is how to debug ontologies because all the systems need to be debugged while being developed. Debugging is common nature of the all software applications which can not be avoided intentionally. DL reasoners [6] perform a considerable variety of inference types, most of the results are unpredictable. For example, as explained in the [7]
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.