An OWL DL ontology based on classification of Web services into communities

This paper proposes an OWL DL ontology that organizes the space of Web service into communities. The proposed ontology provides a set of key concepts: community, abstract service and concrete service and describes the relationships between them using the axioms of the description logic. Concrete services are defined as instances of communities and communities are defined as sub-concepts of the concept describing concrete services. Subsequently, we propose a classification of services in their communities by imposing the condition that a specific service must have at least all the operations of abstract service describing the functionality of the community, to ensure that the discovered concrete services meet correctly the user request. This classification will generate automatically SPARQL queries to query and reason on the proposed ontology developed in OWL DL.