Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
ICEBE '05 Proceedings of the IEEE International Conference on e-Business Engineering
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Reasoning on Semantically Annotated Processes
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
User-friendly semantic annotation in business process modeling
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Wiki-based conceptual modeling: an experience with the public administration
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
On the refactoring of activity labels in business process models
Information Systems
Achieving interoperability through semantic technologies in the public administration
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
A knowledge-based formalization of UBL processes using hybrid programs
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
Simplifying process model abstraction: Techniques for generating model names
Information Systems
Hi-index | 0.00 |
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in business processes management. In our work we represent semantically annotated business processes as part of an OWL knowledge base that formalises the business process structure, the business domain, and a set of criteria describing correct semantic annotations. In this paper we show how Semantic Web representation and reasoning techniques can be effectively applied to formalise, and automatically verify, sets of constraints on Business Process Diagrams that involve both knowledge about the domain and the process structure. We also present a tool for the automated transformation of an annotated Business Process Diagram into an OWL ontology. The use of the semantic web techniques and tool presented in the paper results in a novel support for the management of business processes in the phase of process modeling, whose feasibility and usefulness will be illustrated by means of a concrete example.