Systematic revision and cladistic analysis of the Brazilian subfamily Sodreaninae (Opiliones: Gonyleptidae)

Sodreaninae is reviewed and all ten species are combined under its type genus, Sodreana Mello-Leitao, 1922, according to a cladistic analysis of morphological characters, which revealed a pectinate pattern of clades. The subfamily is endemic to the Brazilian Atlantic rainforest from Santa Catarina state to Rio de Janeiro state. Sodreana is herein considered a senior synonym of Stygnobates Mello-Leitao, 1927, Zortalia Mello-Leitao, 1936, Gertia B. Soares & H. Soares, 1946 and Annampheres H. Soares, 1979. The following new combinations are proposed: Sodreana barbiellinii (Mello-Leitao, 1927), Sodreana hatschbachi (B. Soares & H. Soares, 1946), Sodreana inscripta (Mello-Leitao, 1939), Sodreana leprevosti (B. Soares & H. Soares, 1947b), Sodreana bicalcarata (Mello-Leitao, 1936). Sodreana granulata (Mello-Leitao, 1937) is revalidated from the synonymy of Sodreana sodreana Mello-Leitao, 1922. Three new species are described: Sodreana glaucoi from Ilhabela and Boraceia, Sao Paulo state; S. curupira from Parque Nacional da Serra dos Orgaos, Rio de Janeiro state, and S. caipora from Ubatuba, Sao Paulo state. Sodreaninae species are restricted to forested areas and most occur in the southern part of the coastal Atlantic rainforest, one species occurs in interior Atlantic rainforest. The biogeographical analysis (Brooks Parsimony Analysis) resulted in a single and fully resolved most parsimonious tree with three main: components: northern (Bahia and Serra do Espinhaco), southern (Santa Catarina, Parana, Serra do Mar of Sao Paulo), and central (Espirito Santo, Serra da Bocaina, southern state of Rio de Janeiro, Serra dos Orgaos, Serra da Mantiqueira, Serra do Mar of Sao Paulo).

Morphometric analysis and taxonomic revision of the Vriesea paraibica complex (Bromeliaceae)

The species related to Vriesea paraibica (Bromeliaceae, Tillandsioideae) have controversial taxonomic limits. For several decades, this group has been identified in herbarium collections as V. x morreniana, an artificial hybrid that does not grow in natural habitats. The aim of this study was to assess the morphological variation in the V. paraibica complex through morphometric analyses of natural populations. Two sets of analyses were performed: the first involved six natural populations (G1) and the second was carried out on taxa that emerged from the first analysis, but using material from herbarium collections (G2). Univariate ANOVA was used, as well as discriminant analysis of 16 morphometric variables in G1 and 18 in G2. The results of the analyses of the two groups were similar and led to the selection of diagnostic traits of four species. Lengths of the lower and median floral bracts were significant for the separation of red and yellow floral bracts. Vriesea paraibica and V. interrogatoria have red bracts; these two species are differentiated by the widths of the lower and median portions of the inflorescence and by scape length. These structures are larger in the former and smaller in the latter. Of the species with yellow floral bracts, V. eltoniana is distinguished by longer leaf blades and scapes and V. flava is characterized by its shorter sepal lengths. (C) 2009 The Linnean Society of London, Botanical Journal of the Linnean Society, 2009, 159, 163-181.

Base Revision for Ontology Debugging

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description logic (DL). As the usual belief revision operators cannot be directly applied to DLs, we propose new operators that can be used with more general logics and show that, in particular, they can be applied to the logics underlying OWL-DL and Lite.

Reasoning about Requirements Evolution Using Clustered Belief Revision

During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. These inconsistencies cannot always be resolved immediately. As a result, we argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process. Clustered belief revision allows for the grouping of requirements with similar functionality into clusters and the assignment of priorities between them. By analysing the result of a cluster, an engineer can either choose to rectify problems in the specification or to postpone the changes until more information becomes available.

A revision of the genus Pulaeus Den Heyer, with descriptions of a new genus and four new Brazilian species (Acari: Prostigmata: Cunaxidae)

A new genus, Lupaeus gen. nov., is created to contain part of the described species in the genus Pulaeus Den Heyer. A key to the genera of the tribe Pulaeini, to which these two genera belong, and one auxiliary key to the species of Brazil and South Africa, are provided. Four new species, viz. Pulaeus myrtaceus sp. nov., P. quadrisolenidius sp. nov., Lupaeus lectus sp. nov. and L. lobidorsalis sp. nov. are described and figured. P. martini Den Heyer, 1981 is designated as type species for the new genus. New nomenclatural combinations are reported.