Revision and cladistic analysis of Isoctenus and description of a new neotropical genus (Araneae, Ctenidae, Cteninae)

A cladistic analysis was applied to test the monophyly of the genus Isoctenus. The data matrix comprised 28 taxa scored for 53 morphological and two behavioural characters. The analysis resulted in two equally parsimonious trees of 89 steps. The strict consensus was used to discuss the relationships of Isoctenus and related Cteninae genera. Ctenopsis Schmidt is synonymized with Isoctenus. Isoctenus foliifer Bertkau, I. strandi Mello-Leitao, I. eupalaestrus Mello-Leitao, I. janeirus (Walckenaer), I. coxalis (Pickard-Cambridge), I. corymbus Polotow, Brescovit & Pellegatti-Franco and I. malabaris Polotow, Brescovit & Ott are maintained in Isoctenus. Four species currently included in Ctenus are transferred to Isoctenus: I. griseolus (Mello-Leitao) comb. nov., I. taperae (Mello-Leitao) comb. nov., I. herteli (Mello-Leitao) comb. nov. and I. minusculus (Keyserling) comb. nov. The following specific names are synonymized: Ctenus sanguineus Walckenaer, C. semiornatus Mello-Leitao and Ctenopsis stellata Schmidt with Isoctenus janeirus (Walckenaer), Ctenus mourei Mello-Leitao with Isoctenus herteli (Mello-Leitao) and Ctenus pauper Mello-Leitao with Isoctenus strandi Mello-Leitao. Isoctenus sigma Schenkel, described from French Guiana, is transferred to Ctenus. Four species are newly described: Isoctenus areia sp. nov. from Paraiba, Brazil, I. charada sp. nov. and I. segredo sp. nov. from Parana, Brazil, and I. ordinario sp. nov. from south and south-eastern Brazil and north-eastern Argentina. Isoctenus latevittatus Caporiacco is considered species inquirenda. Parabatinga gen. nov. is proposed to include Ctenus brevipes Keyserling. The following synonymies are established: Ctenus taeniatus Keyserling, C. tatarandensis Tullgren, C. anisitsi Strand, C. atrivulvus Strand, C. mentor Strand, C. brevipes brevilabris Strand, Isoctenus masculus Mello-Leitao and Ctenus birabeni Mello-Leitao with Parabatinga brevipes (Keyserling) comb. nov. (C) 2009 The Linnean Society of London, Zoological Journal of the Linnean Society, 2009, 155, 583-614.

Revalidation and revision of the genus Magulla Simon 1892 (Araneae, Mygalomorphae, Theraphosidae)

The genus Magulla Simon 1892 is revalidated and redescribed. The female of the type species M. obesa Simon 1892 is redescribed and the male is described for the first time. Magulla janeirus (Keyserling 1891) is considered a valid species. Magulla symmetrica Bucherl 1949 is transferred to Plesiopelma Pocock 1901, and considered a junior synonym of P. insulare (Mello-Leitao 1923). Additionally, two new species are described from Brazil: M. buecherli n. sp. from Ilhabela, Sao Paulo and M. brescoviti n. sp. from Sao Francisco de Paula, Rio Grande do Sul.

A revision of the spider genera Chaetopelma ausserer 1871 and Nesiergus simon 1903 (Araneae, theraphosidae, ischnocolinae)

Chaetopelma Ausserer 1871 and Nesiergus Simon 1903 are revised. Cratorrhagus Simon 1891 is considered a junior synonym of Chaetopelma. Cratorrhagus tetramerus (Simon 1873) and the female of Cratorrhagus concolor (Simon 1873) are conspecific with C. olivaceum (C. L. Koch 1841). Ischnocolus gracilis Ausserer 1871, Ischnocolus syriacus Ausserer 1871, Chaetopelma shabati Hassan 1950 and Ischnocolus jerusalemensis Smith 1990 are also treated here as junior synonyms of C. olivaceum. Chaetopelma adenense Simon 1890 is proposed as a junior synonym of Ischnocolus jickelii L. Koch 1875. Chaetopelma gardineri Hirst 1911 is transferred to Nesiergus. Hence, Chaetopelma comprises three valid species: C. olivaceum (C. L. Koch 1841); C. karlamani Vollmer 1997; C. concolor (Simon 1873) n. comb. from the Middle East and northeastern Africa. Nesiergus, which appears endemic to the Seychelles archipelago, now comprises three valid species: N. gardineri (Hirst 1911) n. comb.; N. halophilus Benoit 1978; N. insulanus Simon 1903.

Revision of Orthophytum (Bromeliaceae): the species with sessile inflorescences

Orthophytum is a bromeliad genus restricted to Brazil with records for the states of Paraiba, Pernambuco, Alagoas, Sergipe, Bahia, Espirito Santo and Minas Gerais. The genus is usually divided in two informal groups based on the presence or absence of a peduncle. This paper presents a taxonomic revision of the 12 species in the group with sessile inflorescences and descriptions of the genus and species, nomenclatural and ecological notes, as well as illustrations are provided. The new species Orthophytum ulei is described. The conservation status for each species is evaluated using the World Conservation Union (IUCN) criteria.

Revision of the Asian spider genus Pandava Lehtinen (Araneae: Titanoecidae): description of five new species and first record of Titanoecidae from Africa

The spider genus Pandava Lehtinen previously included two species, P. laminata (Thorell) and P. hunanensis Yin and Bao, known from Asia and the Pacific Islands. The genus is diagnosed by the reduced tegular process on the male palp and the anterior position of the copulatory openings on the female epigynum. In this paper, we present updated descriptions for the known species of Pandava and we describe five new species: Pandava shiva sp. nov. from Pakistan, Pandava sarasvati sp. nov. from Myanmar; Pandava ganesha sp. nov., Pandava kama sp. nov. and Pandava ganga sp. nov., all from India. We also update the generic distribution including the first records of Titanoecidae from Africa.

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.