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.

On AGM for Non-Classical Logics

The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what is still missing for each approach.

A systematic revision of Goniosomatinae (Arachnida : Opiliones : Gonyleptidae), with a cladistic analysis and biogeographical notes

Goniosomatine harvestmen have strongly armed pedipalps, generally large bodies and, commonly, very long legs (sometimes more than 20 cm), and are distributed in the Brazilian Atlantic forest, from southern Bahia to Santa Catarina. Since they are conspicuous animals and individuals of some species tend to concentrate in caves (and also under rock boulders), they have been (and still are) the target of several studies, especially those focusing on reproductive and defensive behavior, population ecology, physiology, chromosomes, etc. In spite of their importance for biological studies (some species constitute important and frequently used models for these studies), the taxonomy of Goniosomatinae has faced some problems, including misidentification, a large number of undescribed species and the lack of a phylogenetic hypothesis for the relationships among its species (which would allow evolutionary studies to be made). The last taxonomic changes in the subfamily were made 60 years ago. Considering a taxonomic revision and cladistic analysis of the subfamily to be of paramount importance, the main scope of the present paper is to provide a cladistic analysis and taxonomic revision of the species of Goniosomatinae and a new arrangement of genera (and species). The main taxonomic changes are given as follows. Six genera are recognised within the subfamily: Goniosoma; the newly described genus Pyatan; the reestablished genera Serracutisoma, Heteromitobates and Mitogoniella; and Acutisoma. New generic synonyms include: Glyptogoniosoma = Goniosomella = Lyogoniosoma = Metalyogoniosoma = Xulapona = Goniosoma, Acutisomelloides = Pygosomoides = Spelaeosoma = Serracutisoma; and Acutisomella = Heteromitobates. Newly described species include: Goniosoma capixaba; G. apoain; Pyatan insperatum DaSilva, Stefanini-Jim & Gnaspini; Serracutisoma pseudovarium; S. fritzmuelleri; S. guaricana; Heteromitobates anarchus; H. harlequin; H. alienus; Mitogoniella taquara; M. unicornis; and Acutisoma coriaceum. New combinations include: Goniosoma macracanthum (Mello-Leitao, 1922); G. unicolor (Mello-Leitao, 1932); G. carum (Mello-Leitao, 1936); Serracutisoma proximum (Mello-Leitao, 1922); S. banhadoae (Soares & Soares, 1947); S. molle (Mello-Leitao, 1933); S. thalassinum (Simon, 1879); S. catarina (Machado, Pinto-da-Rocha & Ramires, 2002); S. inerme (Mello-Leitao, 1927); S. spelaeum (MelloLeitao, 1933); Heteromitobates inscriptus (Mello-Leitao, 1922); H. albiscriptus (Mello-Leitao, 1932); Mitogoniella modesta (Perty, 1833); and M. badia (Koch, 1839). Reestablished combinations include: Mitogoniella indistincta MelloLeitao, 1936 and Acutisoma longipes Roewer, 1913. New speci. c synonyms include: Acutisomella cryptoleuca = Acutisomella intermedia = Goniosoma junceum = Goniosoma patruele = Goniosoma xanthophthalmum = Metalyogoniosoma unum = Goniosoma varium, Goniosoma geniculatum = Goniosoma venustum; Goniosomella perlata = Progoniosoma minense = Goniosoma vatrax, Glyptogoniosoma perditum = Progoniosoma cruciferum = Progoniosoma tijuca = Goniosoma dentipes; Leitaoius iguapensis = Leitaoius viridifrons = Serracutisoma proximum; Acutisoma marumbicola = Acutisoma patens = Serracutisoma thalassinum; Progoniosoma tetrasetae = Serracutisoma inerme; and Acutisoma monticola = Leitaoius nitidissimus = Leitaoius xanthomus = Mitogoniella mutila = Acutisoma longipes. The following species are considered species inquirenda: Goniosoma lepidum Gervais, 1844; G. monacanthum Gervais, 1844; G. obscurum Perty, 1833; G. versicolor Perty, 1833; and Mitogoniella badia (Koch, 1839). The monotpic genus Goniosomoides Mello-Leitao, 1932 (and its species, G. viridans Mello-Leitao, 1932) is removed from Goniosomatinae and considered incertae sedis.

Revision of the new wandering spider genus Ohvida and taxonomic remarks on Celaetycheus Simon, 1897 (Araneae: Ctenidae)

The new ctenid genus Ohvida is proposed to include eight species: Ohvida fulvorufa (Franganillo, 1931) comb. nov. (type species) (=Celaetycheus cabriolatus Franganillo, 1930 syn. nov.; = C. cabriolatus pardosiformis Franganillo, 1930 syn. nov.; = C. fulvorufus afoliatus Franganillo, 1931 syn. nov.), O. isolata (Bryant, 1940) comb. nov., O. vernalis (Bryant, 1940) comb. nov., O. brevitarsus (Bryant, 1940) comb. nov., O. coxanus (Bryant, 1940), comb. nov., and three new species, O. turquino sp. nov. (all species from Cuba), and O. andros sp. nov. and O. bimini sp. nov. (both species from The Bahamas). Species of Ohvida differ from all other ctenid spiders by the presence of a retrodorsal projection on the cymbium of the male pedipalp and by a basal position of the lateral spurs on the female epigyne. The genus Celaetycheus Simon, 1897 is reviewed to only include its type species, C. flavostriatus Simon, 1897 from Brazil. We propose the following synonyms and new combinations: Ctenus ottleyi (Petrunkevitch, 1930) (= Celaetycheus strenuus Bryant, 1942 syn. nov. and C. modestus Bryant, 1942 syn. nov.); Ctenus delesserti (Caporiacco, 1947) comb. nov., and Leptoctenus paradoxus (F.O. P.-Cambridge, 1900) comb. nov. Celaetycheus modestus Bryant, 1942 is considered incertae sedis.

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.