A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2
| dc.contributor.author | Ataee, Shahin Mehdipour | |
| dc.contributor.author | Bayram, Zeki | |
| dc.date.accessioned | 2026-02-06T18:17:09Z | |
| dc.date.issued | 2016 | |
| dc.department | Doğu Akdeniz Üniversitesi | |
| dc.description | 30th International Symposium on Computer and Information Sciences (ISCIS) -- SEP 21-24, 2015 -- Imperial Coll, London, ENGLAND | |
| dc.description.abstract | 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 a matching 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. | |
| dc.identifier.doi | 10.1007/978-3-319-22635-4_17 | |
| dc.identifier.endpage | 198 | |
| dc.identifier.isbn | 978-3-319-22635-4 | |
| dc.identifier.issn | 1876-1100 | |
| dc.identifier.issn | 1876-1119 | |
| dc.identifier.orcid | 0000-0002-8917-612X | |
| dc.identifier.scopus | 2-s2.0-84945914926 | |
| dc.identifier.scopusquality | Q4 | |
| dc.identifier.startpage | 191 | |
| dc.identifier.uri | https://doi.org/10.1007/978-3-319-22635-4_17 | |
| dc.identifier.uri | https://hdl.handle.net/11129/8844 | |
| dc.identifier.volume | 363 | |
| dc.identifier.wos | WOS:000385253500017 | |
| dc.identifier.wosquality | N/A | |
| dc.indekslendigikaynak | Web of Science | |
| dc.indekslendigikaynak | Scopus | |
| dc.language.iso | en | |
| dc.publisher | Springer International Publishing Ag | |
| dc.relation.ispartof | Information Sciences and Systems 2015 | |
| dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | |
| dc.rights | info:eu-repo/semantics/closedAccess | |
| dc.snmz | KA_WoS_20260204 | |
| dc.title | A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2 | |
| dc.type | Conference Object |










