International audienceOne of the challenging problems that Web service technology faces is the ability to effectively discover services based on their capabilities. We present an approach to tackling this problem in the context of description logics (DLs). We formalize service discovery as a new instance of the problem of rewriting concepts using terminologies. We call this new instance the best covering problem. We provide a formalization of the best covering problem in the framework of DL-based ontologies and propose a hypergraph-based algorithm to effectively compute best covers of a given request. We propose a novel matchmaking algorithm that takes as input a service request (or query) Q and an ontology T of services and finds a set of services called a “best cover” of Q whose descriptions contain as much common information with Q as possible and as little extra information with respect to Q as possible. We have implemented the proposed discovery technique and used the developed prototype in the context of the Multilingual Knowledge Based European Electronic Marketplace (MKBEEM) project

Highlights d Inhibitory plasticity from PV+ interneurons in area CA2 emerges at the end of adolescence d The control of GABA release by the PNN and ErbB4 matures at the end of adolescence d Signaling through the PNN via NRG1 and ErbB4 is required for iLTD induction d Preventing iLTD induction in CA2 in vivo impairs social memory formation