Semantic service description and matchmaking are needed in embedded and disappearing computing, cooperative multiagent systems, and the semantic web. Standard program semantics formalizations are not suited to modeling service semantics, because they are generic w.r.t. the data manipulated by programs, and because computation details are often irrelevant to the aforementioned applications of service descriptions. An ontology-based approach seems more appropriate. However, current ontology specification languages do not have primitives for service description. In this paper, we identify some useful service description constructs and study their impact on the decidability of reasoning with description logics. © 2002 Springer-Verlag.
CITATION STYLE
Bonatti, P. A. (2002). Towards service description logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2424 LNAI, pp. 74–85). Springer Verlag. https://doi.org/10.1007/3-540-45757-7_7
Mendeley helps you to discover research relevant for your work.