A Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2

dc.contributor.authorAtaee, Shahin Mehdipour
dc.contributor.authorBayram, Zeki
dc.date.accessioned2026-02-06T18:17:09Z
dc.date.issued2016
dc.departmentDoğu Akdeniz Üniversitesi
dc.description30th International Symposium on Computer and Information Sciences (ISCIS) -- SEP 21-24, 2015 -- Imperial Coll, London, ENGLAND
dc.description.abstractWe 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.doi10.1007/978-3-319-22635-4_17
dc.identifier.endpage198
dc.identifier.isbn978-3-319-22635-4
dc.identifier.issn1876-1100
dc.identifier.issn1876-1119
dc.identifier.orcid0000-0002-8917-612X
dc.identifier.scopus2-s2.0-84945914926
dc.identifier.scopusqualityQ4
dc.identifier.startpage191
dc.identifier.urihttps://doi.org/10.1007/978-3-319-22635-4_17
dc.identifier.urihttps://hdl.handle.net/11129/8844
dc.identifier.volume363
dc.identifier.wosWOS:000385253500017
dc.identifier.wosqualityN/A
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.language.isoen
dc.publisherSpringer International Publishing Ag
dc.relation.ispartofInformation Sciences and Systems 2015
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.snmzKA_WoS_20260204
dc.titleA Novel Concise Specification and Efficient F-Logic Based Matching of Semantic Web Services in Flora-2
dc.typeConference Object

Files