We propose a novel concise specification of semantic web services conforming to the WSMO standard using the Flora-2 language, as well as a precise logical definition of what it means for a goal to match a web service. Our innovative usage of Flora-2 allows very short but expressive descriptions of both goals and web service capabilities, which are then used by amatching engine to discover which web services can satisfy a given goal. The matching engine, using the meta-level F-logic inferencing capabilities of the underlying Flora-2 reasoner, is very efficient and has a very concise definition itself.
CITATION STYLE
Ataee, S. M., & Bayram, Z. (2016). A novel concise specification and efficient F-logic based matching of semanticweb services in Flora-2. In Lecture Notes in Electrical Engineering (Vol. 363, pp. 191–198). Springer Verlag. https://doi.org/10.1007/978-3-319-22635-4_17
Mendeley helps you to discover research relevant for your work.