Bois noir is an important grapevine yellows disease in Europe that can cause serious economic losses in grapevine production. It is caused by stolbur phytoplasma strains of the taxonomic group 16SrXII-A. Hyalesthes obsoletus Signoret (Hemiptera: Cixiidae) is the most important vector of bois noir in Europe. This polyphagous planthopper is assumed to mainly use stinging nettle [Urtica dioica L. ...

∗CERIES, 20 rue Victor Noir, Neuilly sur Seine, France (anne.bernard;[email protected]) ∗∗CNAM, laboratoire CEDRIC, 292 rue Saint-Martin, Paris, France [email protected] ∗∗∗SUPELEC, 3, rue Joliot-Curie, Gif-sur-Yvette, France [email protected] ∗∗∗∗CNAM, laboratoire GBA, 292 rue Saint-Martin, Paris, France [email protected] Université Francois Rabelais, département d’...

∗Laboratoire d’Informatique, Ecole Polytechnique de l’Université de Tours, 64 avenue Jean Portalis, 37200 Tours, France {julien.lavergne,gilles.venturini}@univ-tours.fr, http://www.antsearch.univ-tours.fr/webrtic ∗∗Laboratoire d’Informatique de l’Université Paris-Nord 99, avenue Jean-Baptiste Clément, 93430 Villetaneuse, France [email protected], http://www-lipn.univ-paris13.fr/...

We present a new semantics for Description Logic programs [1] (dlprograms) that combine reasoning about ontologies in description logics with non-monotonic rules interpreted under answer set semantics. Our semantics is equivalent to that of [1], but is more logical in style, being based on the logic QHT of quantified here-and-there that provides a foundation for ordinary logic programs under an...