Editorial: problem-solving methods
International Journal of Human-Computer Studies
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving
IEEE Intelligent Systems
IEEE Intelligent Systems
Distributed and Parallel Databases
Semantic Web Service Architecture -- Evolving Web Service Standards toward the Semantic Web
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
The unified problem-solving method development language UPML
Knowledge and Information Systems
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
AI Magazine
Applied Ontology
ODESGS framework, knowledge-based markup for semantic grid services
Proceedings of the 3rd international conference on Knowledge capture
SEC: a search engine for component based software development
Proceedings of the 2006 ACM symposium on Applied computing
SEC+: an enhanced search engine for component-based software development
ACM SIGSOFT Software Engineering Notes
A model-driven approach for reusing service compositions
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
Building an automatic e-tendering system on the Semantic Web
Decision Support Systems
Lifecycle-support in architectures for ontology-based information systems
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A conceptual modeling approach for web service composition supporting service re-configuration
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Utilizing the interactive techniques to achieve automated service composition for Web Services
Journal of High Speed Networks
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
ODEGSG framework, knowledge-based annotation and design of grid services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Dependability and flexibility centered approach for composite web services modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Transformations between UML and OWL-S
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Template-Based Design in COLIBRI Studio
Information Systems
| Hi-index | 0.00 |
Before specifying Semantic Web Services in any language, the semantic description must be designed at a conceptual level to guarantee its correctness and avoid inconsistencies among its internal components. One solution is to use a framework for the design and semiautomatic composition of Semantic Web Services at a language-independent and knowledge level. This framework is based on a stack of ontologies that describe the different parts of a Semantic Web Service and contain a set of axioms that are really design rules that the ontology instances can verify. On the basis of these ontologies, designing and composing Semantic Web Services can be viewed as correctly instantiating the ontologies themselves. After creating these instances, they can be exported to Semantic Web Services languages such as OWL-S or the Web Service Modeling Ontology.