Link prediction using a probabilistic description logic

Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We propose algorithms for link prediction that use a probabilistic ontology to enhance the analysis of the domain and the unavoidable uncertainty in the task (the ontology is specified in the probabilistic description logic crALC). The scalability of the approach is investigated, through a combination of semantic assumptions and graph-based features. We evaluate empirically our proposal, and compare it with standard solutions in the literature.

Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Description of two new species of Ischyroceridae (Crustacea : Amphipoda) from the coast of Southeastern Brazil

Taxonomic descriptions and figures are provided for 2 new species of Ischyroceridae (Cerapus jonsoni sp. nov. and Notopoma fluminense sp. nov.) from samples of Southwestern Atlantic, between the latitudes 22 and 24 S. Cerapus jonsoni sp. nov. is easily distinguished from others species of the genera recorded in Atlantic Ocean by dacyli of pereopods 6 and 7 with 1 accessory spine. Notopoma fluminense sp. nov. is characterized by 5 setal teeth on outer plate of maxilla 1, only 1 accessory spine on pereopod 7 dactylus and pleopod 3 absent.

Revision of the fungus-growing ant genera Mycetophylax Emery and Paramycetophylax Kusnezov rev. stat., and description of Kalathomyrmex n. gen. (Formicidae: Myrmicinae: Attini)

Based on the morphology of workers, gynes and males, we revise the taxonomy of nominal taxa traditionally included by authors in the fungus-growing ant genus Mycetophylax. Our results indicate that Mycetophylax Emery (Myrmicocrypta brittoni Wheeler, 1907, type species, by designation of Emery, 1913; junior synonym of Cyphomyrmex conformis Mayr, 1884 by Kempf, 1962) includes M. conformis, M. simplex (Emery, 1888), and M. morschi (Emery, 1888) new combination (formerly in Cyphomyrmex), with several synonymies. Mycetophylax bruchi (Santschi, 1916) does not belong to the same genus and is diagnosed, in addition to other characters, by a psammophore arising at the anterior margin of the clypeus. For this species we are resurrecting from synonymy Paramycetophylax Kusnezov, 1956 (Mycetophylax bruchi as type species, by original designation, with M. cristulatus as its new synonym). Myrmicocrypta emeryi Forel, 1907 is the only attine in which females lack the median clypeal seta and have the antennal insertion areas very much enlarged and anteriorly produced, with the psammophore setae arising from the middle of the clypeus and not at its anterior margin as in Paramycetophylax. Notwithstanding its inclusion in Mycetophylax by recent authors, it is here recognized as belonging to a hitherto undescribed, thus far monotypic genus, Kalathomyrmex new genus (Myrmicocrypta emeryi as its type species, here designated). We redescribe workers, gynes and males of all species in the three genera and describe for the first time gynes of Mycetophylax conformis and M. simplex, males of M. simplex and M. morschi, and gynes of P. bruchi. Furthermore we present a key to the workers of the taxa treated here (most formerly included under the name Mycetophylax), a key to workers of the Mycetophylax in the revised sense, SEM pictures and high resolution AutoMontage(C) photographs of the species, along with maps of collection records and a summary of biological observations.

Description of the larva of Potamophilops cinereus (Blanchard) from Southeastern Brazil (Coleoptera, Elmidae, Larainae)

Larvae of Potamophilops cinereus (Blanchard, 1841) from Brazil, Sao Paulo, Ribeirao Grande (Fazenda Intervales, Rio Carmo) are described for the first time and illustrated. The larvae were found associated with adults. The larva of P. cinereus is most similar to larvae of species of the Mexican and Central American genera Disersus Sharp and Hispaniolara Brown, but can be easily distinguished chiefly by the head being not visible when seen from above, due to being concealed by the anterior projection of the pronotum. Comparisons of the three genera are presented. Photographs of the adult habitus of P. cinereus are also furnished. A key to the larvae of the genera of Larainae of Brazil is included.

Revisionary studies on the enigmatic neotropical ant genus Stegomyrmex Emery, 1912 (Hymenoptera : Formicidae : Myrmicinae), with the description of two new species

The recent increase in leaf litter ants sampling effort in Neotropical wet forests has revealed new and interesting records of the highly specialized myrmicine ant genus Stegomyrmex Emery, previously considered as extremely rare. We present a modified diagnosis for the genus and describe Stegomyrmex bensoni n. sp. and S. olindae n. sp., based on, respectively, workers, males, and gyne (central-north Brazil) and on a single worker (northern Brazil). Stegomyrmex vizottoi Diniz (southeastern Brazil) is redescribed and compared with S. olindae n. sp.; these species present significant differences in size, sculpturation, and sting apparatus morphology. The males of S. vizottoi are described for the first time. A key for workers and queens and a distribution map for the five know Stegomyrmex species are provided.

A new Brazilian species of Loxandrus LeConte, 1852, with description of immatures and notes on natural history (Coleoptera: Carabidae: Loxandrini)

Loxandrus oophagus sp. nov. is described (type-locality: Uberlandia, State of Minas Gerais, Brazil). Larvae, pupae and adults of the new species of the carabid beetle were collected on foam nests of the anuran Leptodactylus fuscus (Schneider, 1799) in the surroundings of Uberlandia, 18 degrees 55S, 48 degrees 17W (Brazil, Minas Gerais), at 750 m altitude. The new species is compared with the similar Loxandrus quinarius Will & Liebherr, 1997, only known from Santa Cruz, Bolivia, differing by the morphology of tarsomeres. Larvae prey on anuran eggs. Description of the immatures and the natural history of the species are provided. The larva differs from the known larvae of Loxandrus species mainly by being eruciform, glabrous and depigmented, its small head and legs, and the lack of stemmata and urogomphi, representing an unusual last instar type among the Carabidae.

Revision of the Neotropical robber fly genus Cnodalomyia Hull (Diptera, Asilidae, Asilinae) with description of two new species from Brazil

The genus Cnodalomyia includes only two Brazilian species: C. obtusa Hull, 1962 and C. catarinensis Lamas and Mellinger, 2008. Studying material deposited in the Museu de Zoologia da Universidade de Sao Paulo (MZUSP), the authors found a long series of unidentified specimens of the genus, some of which are specimens of C. obtusa labelled with the same data as the type series as well as other specimens from different localities, representing an enlargement of the known geographic records of the species. This material, together with the types of C. catarinensis, enables this revision. A redescription of the genus and of its type species, C. obtusa, including descriptions and illustrations of its spermathecae and egg, until now never described, the description and illustration of two new species (C. artigasi sp. nov. and C. papaveroi sp. nov.), the diagnosis and egg description of C. catarinensis and an identification key to all included species are presented herein.

Revision of the Neotropical genus Carrerapyrgota Aczel (Diptera, Pyrgotidae) with the description of two new species

The Neotropical genus Carrerapyrgota Aczel is restricted to the South America (Brazil and Argentina). The genus is composed of two previously described species, which are revised herein: C. miliaria Aczel and C. personata (Lutz & Lima). Two new Brazilian species are described: C. aczeli from Sao Paulo and C. bernardii from Bahia. Illustrations of the external morphology of adults and male and female terminalia are also included. An identification key to the species is presented, as well as a brief discussion of the biology and distribution of the genus.

Anatomical description of Solen cf. exiguus DUNKER from Thailand (Bivalvia: Solenidae)

An anatomical description of the solenid Solen cf. exiguus DUNKER 1862, collected in the Gulf of Thailand, is provided. The anatomical features include high antero-posterior elongation; mantle lobes widely fused with each other; powerful pallial muscles; fused siphons with capacity of autotomy; wide and partially hollow foot; complete separation between gastric style sac and adjacent portion of intestine; all possible common characters of the family. Some so far exclusive attributes include short anterior pallial tentacles; pair of muscular valves at base of siphons; and arrangement of tentacles at siphonal tip. A short discussion on the taxonomy of the Solen exiguus/leanus complex is also included.

Taxonomic Revision of the Genus Scorpiodoras (Siluriformes: Doradidae) with Resurrection of Scorpiodoras calderonensis and Description of a New Species

Three species of Scorpiodoras are recognized: S. calderonensis, S. heckelii, and S. liophysus; the latter species is described herein. Scorpiodoras calderonensis occurs in the upper Amazon basin, including the Solimoes, Jurua, Japura, and Tefe rivers. Its type locality, originally stated as ""Calderon"", is elucidated as Tabatinga, Brazil. Scorpiodoras heckelii is the most widespread species, occurring in the Orinoco, Branco, Negro, and Amazonas rivers downstream of its confluence with Rio Negro. Scorpiodoras liophysus is only known from the middle Rio Madeira basin and presents a morphological feature unique within the genus: gas bladder without secondary bladder. An osteological description of the genus is provided, as well as redescriptions of S. calderonensis and S. heckelii. Additionally, a key allowing identification of the species is presented, as well as a biogeographic discussion.

Review of the genus Microphilypnus Myers, 1927 (Teleostei: Gobioidei: Eleotridae) from the lower Amazon basin, with description of one new species

Microphilypnus Myers, 1927 is a genus with three nominal species (M. amazonicus and M. macrostoma from the lower Amazon basin, and M. ternetzi from Orinoco), and is among the most poorly studied groups of Neotropical fishes. In this paper, M. ternetzi and M. macrostoma are redescribed and validated and M. amazonicus is regarded as synonym of M. ternetzi. Also, a new species, M. acangaquara, is described from the lower Amazon.

Description of a new species of Calliostoma (Gastropoda, Calliostomatidae) from Southeastern Brazil

Calliostoma tupinamba is a new species from Southeastern Brazil, ranging from southern Rio de Janeiro to northern Sao Paulo, and found only on coastal islands, on rocks and sessile invertebrates at 3 to 5 meters of depth. Shell and soft part morphology is described here in detail. Calliostoma tupinamba is mainly characterized by a depressed trochoid shell; eight slightly convex whorls; a sharply suprasutural carina starting on the third whorl and forming a peripheral rounded keel; and a whitish, funnel-shaped and deep umbilicus, measuring about 5%-10% of maximum shell width. Calliostoma tupinamba resembles C. bullisi Clench & Turner, 1960 in shape, but differs from it in being taller and wider, having a smaller umbilicus and lacking a strong and large innermost spiral cord at its base. Finally, an identification key of Brazilian Calliostoma species is presented.

TAXONOMY OF THE SOUTH AMERICAN DWARF BOAS OF THE GENUS TROPIDOPHIS BIBRON, 1840, WITH THE DESCRIPTION OF TWO NEW SPECIES FROM THE ATLANTIC FOREST (SERPENTES: TROPIDOPHIIDAE)

A taxonomic study on the South American dwarf boas of the genus Tropidophis revealed the existence of two new species in the Atlantic Forest bionic. As a result, we recognize five mainland species, three in the Atlantic Forest and two in northwestern South America. Based on general distribution and morphological orientation, the type locality of T. paucisquamis is restricted to Estacao Biologica de Boraceia (EBB), municipality of Salesopolis, state of Sao Paulo, Brazil; furthermore, a lectotype for T. taczanowskyi is designated. We provide data on the hemipenial morphology of two South American Tropidophis, showing that the quadrifurcate condition described for West Indian taxa also occurs in mainland congeners. The distributions of the three Atlantic Forest species are congruent with patterns of diversification of other vertebrate taxa associated with cold climates prevalent at high elevations. Refugial isolation and riverine barriers may account for such speciation events.

Mating behaviour, nympho-imaginal development and description of a new Mesabolivar species (Araneae: Pholcidae) from the Brazilian dry forest

A new species of Mesabolivar is described from Brazilian forests: Mesabolivar delclaroi. The mating behaviour, postembryonic development, number of egg sacs and eggs, birth rate, number of instars, developmental time until adulthood, sex ratio and size of cephalothorax (per instar) were recorded. The sexual behaviour was described and categorized into four steps: courtship, pre-copulation, copulation and post-copulation. After hatching, individuals presented five instars until maturity. The mean number of eggs (42 +/- 16.6) and live births (31.5 +/- 3.4) of the first egg sac were significantly greater than that of a second one (23.8 +/- 3.8, and 19.25 +/- 3.9, respectively). The developmental time from birth to adulthood (130.8 +/- 9.6 days) did not differ significantly between egg sacs produced (128.61 +/- 11.1). The size of the cephalothorax did not differ among adults or between sexes. The sex ratio revealed a shift in favour of females (4: 3).