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.

Lithothamnion superpositum (Corallinales; Rhodophyta): First description for the Western Atlantic or rediscovery of a species?

P>Nongeniculate Corallinaceae are poorly known in Brazil. In our endeavor to identify this group of seaweeds along the Brazilian coast we came across some specimens that fit well into the accepted circumscription of Litothamnion Heydrich. Within this genus they could be identified to what has been called L. superpositum Foslie. The specimens were represented by nongeniculate, free living specimens (rhodoliths); lumpy to fruticose growth-form, presenting flared epithallial cells in transversal section; multiporate tetrasporangial conceptacles, with roof protruding above or flush with the surrounding thallus surface; chambers 250-525 mu m in diameter and 150-230 mu m high, roof structured by filaments with 3-5 cells long; and pores in depression. Among the species described from the Brazilian coast, L. heteromorphum (Foslie) Foslie presented anatomical and reproductive characteristics similar to the referred species described from southern Africa and Australia. Therefore, we propose to consider L. heteromorphum as a heterotypic synonym of L. superpositum and extending its distribution to the Western Atlantic.

Cytogenetic characterization of Metynnis maculatus (Teleostei; Characiformes): the description in Serrasalminae of a small B chromosome bearing inactive NOR-like sequences

Mitotic chromosomes of Metynnis maculatus (KNER 1860) (Teleostei, Characiformes), a fish species that occurs in the Amazon and Parana-Paraguay river basins, were analyzed for the first time by Giemsa and Ag-NOR staining, C-banding and fluorescence in situ hybridization (FISH) with 18S and 5S rDNA sequences. The basic chromosome number of the species is 2n=62 (32M+22SM+4ST+4A) and, in addition to the 62 regular chromosomes, one small acrocentric supernumerary B chromosome was found in part of the specimens analyzed. Four active NORs were present, and constitutive heterochromatin blocks were found in the pericentromeric region of several chromosomes. A heterochromatic block was also present in the interstitial portion of the submetacentric NOR-bearing pair and the B chromosome was entirely heterochromatic. FISH using an 18S rDNA probe confirmed the results obtained with AgNO(3) staining, and an additional signal was also present on the B chromosomes. 5S rDNA sequences mapped only to the largest acrocentric pair. This is the first description of supernumerary B chromosomes in Serrasalminae, and this karyotype characterization may be useful in further studies about chromosome evolution in this fish group.

The genus Prosphaerosyllis (Polychaeta: Syllidae: Exogoninae) in Brazil, with description of a new species

In studies carried out off the north-eastern and south-eastern coast of Brazil, three species of Prosphaerosyllis were found: P. isabellae, which was already recorded for Brazilian waters; P. xarifae, a newly recorded species for the area; and P. brachycephala sp. nov., a new to science species. Prosphaerosyllis brachycephala sp. nov., is characterized by having swollen anterior part of the body, prostomium retractable within the peristomium and anterior segments, short antennae, short peristomial and dorsal cirri, and falcigers with short, unidentate blades throughout. All these species are herein described and compared to the most similar congeners.

Cladistic analysis of the Stygninae and description of a new species of Protimesius Roewer, 1913 (Opiliones: Stygnidae)

A new species of Stygnidae is described from the state of Bahia, Brazil. Protimesius bahiensis sp. nov. can be distinguished from the remaining species of the genus by the combination of: male femur IV unarmed and cylindrical; male patella IV with a row of large dorsal acute tubercles, increasing in size distally and male tibia IV with one mesodistal tubercle; ventral plate of the penis with three pairs of distal curved setae and one pair of intermediate setae, smaller than the rest. A cladistic analysis of the subfamily is presented. Stygninae is divided in two groups of genera: (Ricstygnus, Stygnus, Sickesia), with a wide distribution and (Pickeliana (Protimesius (Phareus (Stenophareus (Auranus (Verrucastygnus, Stenostygnoides)))))), associated to the Guiana Shield, Amazon basin and Northeastern Brazil. The monophyly of Protimesius is supported by the apex of pedipalpal tibia sockets bifid (homoplastically present in Verrucastygnus and Stenostygnoides) and by the presence of scopulae with non-spatulated hairs.

A new micro-whip scorpion species from Brazilian Amazonia (Arachnida, Schizomida, Hubbardiidae), with the description of a new synapomorphy for Uropygi

Surazomus uarini n. sp. is described and illustrated based on specimens collected by beating on understory vegetation of Amazonian ""terra firme"" upland rain forests. A new cuticular structure, possibly a gland opening, is described on the female tarsus I and terminal flagellum. A putatively homologous structure is reported from the same body parts in all Undescribed species of Rowlandius Reddell and Cokendolpher 1995; Stenochrus portoricensis Chamberlin 1922; Mastigoproctus maximus (Tarnani 1889), and Thelyphonellus amazonicus (Butler 1872); suggesting it new synapomorphy for the clade Uropygi (i.e., Schizomida + Thelyphonida).

On the first terrestrial ostracod of the Superfamily Cytheroidea (Crustacea, Ostracoda): description of Intrepidocythere ibipora n. gen. n. sp from forest leaf litter in Sao Paulo State, Brazil

Of the three superfamilies of Ostracoda present in fresh water, only the Cytheroidea had thus far no records in terrestrial environments. Here, we report on a new genus and species, Intrepidocythere ibipora n. gen. n. sp., of the ostracod superfamily Cytheroidea, from forest leaf litter in Sao Paulo State, Brazil. Judging from morphological similarities, this new genus is believed to be closely related to the genus Elpidium. Possible pathways that led to the colonisation of terrestrial habitats are discussed, and an overview is given on the distribution of the known terrestrial ostracod lineages. The present findings strengthen the idea that terrestrial ostracods are more common than previously thought, at least in tropical areas.

First record of Stygnidae for the state of Espirito Santo and description of a new Protimesius (Arachnida : Opiliones : Laniatores)

Protimesius osvaldoi sp. nov. is described from the Reserva Biologica de Sooretama, state of Espirito Santo, Southeastern Brazil, being the First record of Stygnidae from this State and the southernmost record of the family in the Brazilian Atlantic Forest (hitherto, the family was recorded down to Bahia only), extending in 210 km south of the previously known distribution. This is a large species, with armature of leg IV very reduced and penial morphology differing from the closest counterparts mainly in the ventral plate, which recedes deeply at the lateral borders and has the distal margin curved ventrally and by the presence of two small intermediate setae. Protimesius Roewer, 1913 consisted hitherto of 17 species, recorded from northern/northeastern Brazil and Amazonia of adjacent Countries. A key is given for the 17 species of Protimesius for which males are known.

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.

The genus Ananteris Thorell, 1891 (Scorpiones, Buthidae) in southeast Brazil, with the description of three new species

A new synthesis of the geographical distribution of the genus Ananteris Thorell, 1891 (Scorpiones, Buthidae) in Brazil is proposed. Three new species, Ananteris chagasi sp. n., Ananteris kuryi sp. n., and Ananteris bernabei sp. n. are described from the States of Bahia, Espirito Santo and Minas Gerais. Only isolated records of Ananteris species where known up to now, for the States of Minas Gerais and Bahia. The record of an Ananteris species from the State of Espirito Santo is new. The total number of Ananteris species is now raised to 67 and from this, 16 species are found in Brazil. The geographical distribution of the genus is considerably enlarged in the country.

Description of Toca, a new neotropical spider genus (Araneae, Ctenidae, Calocteninae)

Toca new genus is proposed to include two new species: the type species T. bossanova new species from Rio de Janeiro, Brazil, and T samba new species from Parana and Minas Gerais, Brazil. Toca may be related to Caloctenus Keyserling and Gephyroctenus Mello-Leitao, with which it shares the scales on the abdominal dorsum and the epigynum as a single, slightly sclerotized, fold. The genus can be distinguished among the Calocteninae genera by its unique genital structures.

The identity of Mygale brunnipes CL Koch 1842 (Araneae, Theraphosidae), with a redescription of the species and the description of a new genus

We describe Kochiana new genus to accommodate a small Brazilian theraphosine species described originally as Mygale brunnipes by Koch (1842), resulting in Kochiana brunnipes new combination. Recently, specimens were rediscovered in northeastern Brazilian Atlantic rainforest. A preliminary cladistic analysis using equal weights parsimony and implied weights, was carried out to examine its phylogenetic placement. Kochiana new genus was monophyletic in all trees regardless of weighting scheme or concavity used. There is preliminary evidence for Kochiana new genus monophyly and weak evidence for its placement as sister group of Plesiopelma. Kochiana new genus can be characterized by the presence of a hornshaped spermatheca in females and males with a palpal bulb having prolateral accessory keels and a well developed medial crest on the embolus apex.

Revalidation of Pterinopelma Pocock 1901 with description of a new species and the female of Pterinopelma vitiosum (Keyserling 1891) (Araneae: Theraphosidae: Theraphosinae)

We revalidate the theraphosid genus Pterinopelma Pocock 1901, describe the female of P. vitiosum for first time and Pterinopelma sazimai sp. nov. from Brazil. These two species were included in a matrix with 35 characters and 32 taxa and were analyzed both with all characters having same weight and with implied weights. Searches considering all characters non-additive or some additive were also carried out. The preferred tree, obtained with implied weights, concavity 6 and all characters non-additive shows that Pterinopelma is a monophyletic genus sister to the clade Lasiodora (Vitalius + Nhandu). The presence of denticles on the prolateral inferior male palpal bulb keel is a synapomorphy of the genus.

On the Generic Identity of Siagonodon brasiliensis, with the Description of a New Leptotyphlopid from Central Brazil (Serpentes: Leptotyphlopidae)

The geographic variation and hemipenial morphology of Siagonodon brasiliensis are described based on a comprehensive sample, allowing the reappraisal of its generic identity, and the proposal of a new nomenclatural combination. We suggest that the presence of two supralabials, as mentioned in the original description of S. brasiliensis, is not a common feature for this species, occurring at low frequencies throughout its geographic distribution. Based on a diagnosis presented in a recently published paper, as well as on additional external traits and on hemipenial characters, we recognize Siagonodon brasiliensis as a species of the genus Tricheilostoma. In addition, a new species of worm snake of the genus Siagonodon is described from the savannas of the state of Tocantins, Brazil. The new species differs from other congeners by having a slightly acuminate snout in lateral and ventral views, subcircular rostral in dorsal view, and 12 scale rows around middle of tail. The diagnosis of the genus Siagonodon is revised and expanded based on direct observation of morphological characters.

Small mammals of the mid-Araguaia River in central Brazil, with the description of a new species of climbing rat

The mid-Araguaia River basin in central Brazil is considered a priority area for biodiversity conservation, and Parque Estadual do Cantao (PEC) is one of the most important protected areas in this ecotone between Cerrado and Amazonia. This area suffers an intensive human pressure with high rates of deforestation, and still remains poorly studied in terms of biodiversity. From June 2007 to November 2008 we sampled small mammals from both banks of the mid-Araguaia River, in the states of Tocantins and Para. Data are given about morphological traits, geographic distribution and natural history of 22 species of small non-volant mammals (eight marsupials and 14 rodents) surveyed at PEC and its surroundings. We also present mitochondrial phylogenetic analyses that allow species identification within the genera: Oecomys, Oligoryzomys and Rhipidomys, and delineate an undescribed species of Thrichomys. Based on morphologic and molecular data, we describe a new species of Rhipidomys previously assigned to R. nitela, which is apparently endemic to the Araguaia-Tocantins basin in the Cerrado. Additionally, our phylogenetic analyses provide support for the role played by the Araguaia River as an important geographic barrier for two sister species of Rhipidomys.