Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition

O.V. Zakharova


This research is one of the branches of a general scientific and applied problem, namely, the problem of using and developing ontological approaches with descriptive logics (DL) apparatus to obtain the effective automated solution of complex business task based on service-oriented architecture. The base idea of the proposed method is the maximal ontologization, that is, all aspects of the task are determined by means of DL ontologies. The proposed ontology system is based on five basic types of ontologies, namely:

(1) an ontology of general entities for defining the characteristics of the service’s context, (2) an ontology of the application domain to formalize and unify semantical descriptions of web services, (3) the top-level ontology of web services for the DL formalization of the definition of the web services in general, (4) the ontologies of the web services tasks, which provide a formal representation of the tasks on all stages of web services life cycle, and (5) the ontologies of specific web services. All listed ontologies are related. Such, ontologies of the last type include links to all other above-mentioned ontologies and, together with them, provide a unified formally defined semantic resource, which enables the automatic solution of web service tasks. The focus of this study is the applying descriptive logics with concrete domains to the formalization of such basic semantic web services tasks as the web services discovery and composition. In this article, the ontologies of the web services tasks are defined as an extension of the general top-level web service ontology with special complex concepts. Their elements are pairs of “web service-goal (request)”/”web service-web service”, which are compared according to the task being solved. Also, on their basis, special complex concepts are determined, which specify a set of found similarities between existing services and a goal in the discovery task, or «predecessor-follower» type responsibilities of web services to build a composite service. The proposed TBox statements are constructed using descriptive logic with concrete domains 𝓐𝓛𝓒(𝓓). For this purpose, a concrete domain is defined as a pair of sets: (1) the union of sets of possible subsets of the set of individuals of the Parameter concept and possible subsets of the set of individuals of the Context concept, and (2) a set of predicates defined on it. Such definition of the concrete domain provides possibility of using only functional roles to construct the DL statements of complex concepts DiscoveryServices and CompositionObject for determining corresponding web services tasks. Note, the defined tasks and web services ontologies cover only simplified model of the representation of web services, in particular, functional Input/Output model extended by contexts descriptions. They provide the basis for further improvement by expanding this model and involving additional characteristics of both functional and process models of representation to the specified task ontologies. This will certainly increase the accuracy of the obtained result, but is the subject of further research.

Prombles in programming 2022; 3-4: 207-215


description logics; ontology of the web services


Baader, F., Lutz, C., Milieie, M., Sattler, U., Wolter, F., (2005) A Description Logic Based Approach to Reasoning about Web Services. In Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005) CrossRef

Baader, F., Lutz, C., Milieie, M., Sattler, U., Wolter, F., (2005) Integrating Description Logics and Action Formalisms for Reasoning about Web- services. Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS- 05-02, LTCS-Report 05-02 CrossRef

Zakharova, O. (2020) Context web services matching in the discovery task resolving. Ontological approaches. Problems in programming. 2020. № 2-3. P. 39-49

Zakharova, O. (2017) Defining and resolving Web-services discovery problems using description logics formalism. Problems in programming. 2017. № 4. P. 66-78. CrossRef

Staab, S. & Studer, R. (2009) Handbook on Ontologies. International Handbooks on Information Systems (INFOSYS). Second edition. CrossRef

Lutz, C. & Sattler, U., (2002) A Proposal for Describing Services with DLs. In: Int. Workshop on Description Logics

Emerson, E. (1990) Temporal and Modal Logic J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 995-1072, Elsevier, 1990. CrossRef

Hao, S. & Zhang, L. (2010) Dynamic Web Services Composition Based on Linear Temporal Logic. Conference: Information Science and Management Engineering (ISME), Volume: 1 CrossRef

(PDF) A Dynamic Description Logic for Representation and Reasoning About Actions (

Chang, L., Lin, F., Shi, Z., (2007) A dynamic description logic for representation and reasoning about actions. KSEM'07: Proceedings of the 2nd international conference on Knowledge science, engineering and management. November 2007 P. 115-127. CrossRef

Supported Categories for Named Entity Recognition - Azure Cognitive Services. Microsoft Docs

Peng, Y. (2010) Two levels semantic web service discovery. In seventh international conference on fuzzy systems and knowledge discovery, Aug. 2010. CrossRef

Lutz, C. (2003) Description Logics with Concrete Domains - A Survey. Advances in Modal Logics, Volume 4. King's College Publications, 2003. CrossRef

Zolin, E. Description logic. Special course lectures at

Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (2005) The Description Logic Handbook. Cambridge University Press, 2003.

Baader, F. & Hanskle, P. (1991) A schema for integrating concrete domains into concept languages. In Proceeding of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), P. 452-457, Sydney.

Zakharova, O. (2018)The technique of using Description Logics in the process of constructing a composite service at the functional level. Problems in programming. 2018. № 1. P. 77-91. CrossRef



  • There are currently no refbacks.