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.

A revision of Evaniscus (Hymenoptera, Evaniidae) using ontology-based semantic phenotype annotation

The Neotropical evaniid genus Evaniscus Szepligeti currently includes six species. Two new species are described, Evaniscus lansdownei Mullins, sp. n. from Colombia and Brazil and E. rafaeli Kawada, sp. n. from Brazil. Evaniscus sulcigenis Roman, syn. n., is synonymized under E. rufithorax Enderlein. An identification key to species of Evaniscus is provided. Thirty-five parsimony informative morphological characters are analyzed for six ingroup and four outgroup taxa. A topology resulting in a monophyletic Evaniscus is presented with E. tibialis and E. rafaeli as sister to the remaining Evaniscus species. The Hymenoptera Anatomy Ontology and other relevant biomedical ontologies are employed to create semantic phenotype statements in Entity-Quality (EQ) format for species descriptions. This approach is an early effort to formalize species descriptions and to make descriptive data available to other domains.

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

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.

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.

A revision of the Neotropical Solenopsidini ant genus Oxyepoecus Santschi, 1926 (Hymenoptera: Formicidae: Myrmicinae): 2. Final. Key for species and revision of the Rastratus species-group

In the first paper of this series (Albuquerque & Brandão, 2004) we revised the Vezenyii species group of the exclusively Neotropical solenopsidine (Myrmicinae) ant genus Oxyepoecus. In this closing paper we update distribution information on the Vezenyii group species and revise the other Oxyepoecus species-group (Rastratus). We describe two species (Oxyepoecus myops n. sp. and O. rosai n. sp.) and redescribe previously known species of the group [O. daguerrei (Santschi, 1933), O. mandibularis (Emery, 1913), O. plaumanni Kempf, 1974, O. rastratus Mayr, 1887, and O. reticulatus Kempf, 1974], adding locality records and comments on the meagre biological data of these species. We also present an identification key to Oxyepoecus species based on workers.

A new consensus for Trypanosoma cruzi intraspecific nomenclature: second revision meeting recommends TcI to TcVI

In an effort to unify the nomenclature of Trypanosoma cruzi, the causative agent of Chagas disease, an updated system was agreed upon at the Second Satellite Meeting. A consensus was reached that T. cruzi strains should be referred to by six discrete typing units (T. cruzi I-VI). The goal of a unified nomenclature is to improve communication within the scientific community involved in T. cruzi research. The justification and implications will be presented in a subsequent detailed report.

Revision of the species of the genus Cathorops (Siluriformes: Ariidae) from Mesoamerica and the Central American Caribbean, with description of three new species

The ariid genus Cathorops includes species that occur mainly in estuarine and freshwater habitats of the eastern and western coasts of southern Mexico, Central and South America. The species of Cathorops from the Mesoamerica (Atlantic slope) and Caribbean Central America are revised, and three new species are described: C. belizensis from mangrove areas in Belize; C. higuchii from shallow coastal areas and coastal rivers in the Central American Caribbean, from Honduras to Panama; and C. kailolae from río Usumacinta and lago Izabal basins in Mexico and Guatemala. Additionally, C. aguadulce, from the río Papaloapan basin in Mexico, and C. melanopus from the río Motagua basin in Guatemala and Honduras, are redescribed and their geographic distributions are revised.

Revision of the genus Physoclypeus Hendel, 1907 (Diptera, Lauxaniidae), with description of seven new species

The genus Physoclypeus Hendel, 1907 has its distribution restricted to the Neotropical region. In this study, its species have been redescribed, three new combinations have been proposed, three lectotypes have been designated, seven new species have been described, and an identification key to the species is presented. An updated list of species of Physoclypeus is presented as: P. annulatus Hendel, 1925; P. coquilletti (Hendel, 1908); P. farinosus (Hendel, 1925); P. flavus (Wiedemann, 1830); P. hendeli sp. nov. (Type locality, Jamaica, N. Irish Town); P. lineatus (Williston, 1896) new comb.; P. montanus (Becker, 1919) new comb.; P. plaumanni sp. nov. (Type locality, Brazil, Santa Catarina); P. risaraldensis sp. nov. (Type locality, Colombia, Risaralda); P. saltensis sp. nov. (Type locality, Argentina, Salta); P. scutellatus (Curran, 1926) new comb.; P. unimaculatus sp. nov. (Type locality, Mexico, Vera Cruz); P. vitattus sp. nov. (Type locality, Brazil, Santa Catarina) and P. zebrinus sp. nov. (Type locality, Costa Rica, Limón).

Revision of the Neotropical trahiras of the Hoplias lacerdae species-group (Ostariophysi: Characiformes: Erythrinidae) with descriptions of two new species

Hoplias lacerdae was originally described from the rio Ribeira de Iguape, Iporanga, São Paulo State. The Hoplias lacerdae group is defined as containing generally large trahiras with the medial margins of dentaries running parallel to each other and lacking teeth on the basihyal compared to the H. malabaricus group in which the medial margins of the dentaries converge towards the mandibular symphysis and which have teeth on the basihyal. A taxonomic revision of the group based on meristic and morphometric data identified five distinct species: H. lacerdae distributed in the rio Ribeira de Iguape and rio Uruguai; H. intermedius from the rio São Francisco, upper rio Paraná basin, and rio Doce; H. brasiliensis from rivers of the Atlantic Coastal drainage from the rio Paraguaçu to the rio Jequitinhonha; H. australis new species, endemic to the rio Uruguai; and H. curupira new species present in northern South America, including the rios Negro, Trombetas, Tapajós, Xingu, Tocantins and Capim in the Amazon basin, upper rio Orinoco near the rio Casiquiare (Venezuela), and coastal rivers of Guyana and Suriname. A lectotype for Hoplias intermedius and a neotype for H. brasiliensis are designated.

Systematic Revision of the granulatus Group of Urophonius Pocock, 1893 (Scorpiones, Bothriuridae), with Description of a New Species from Central Chile

A systematic revision of the granulatus group of the bothriurid scorpion genus Urophonius Pocock, 1893 is presented. Urophonius pizarroi, n. sp., a new species from central Chile, is described. Urophonius granulatus Pocock, 1898, Urophonius somuncura Acosta, 2003, and Urophonius tregualemuensis Cekalovic, 1981, are redescribed using modern standards. The adult males of U. somuncura and U. tregualemuensis are described for the first time. A distribution map and key to the species of the granulatus group are provided, along with a discussion of their phenology.

Structure revision and assignment of absolute stereochemistry of a marine C-21 bisfuranoterpene

The C-21 bisfuranoterpene (-)-isotetradehydrofurospongin-1 (6), previously isolated from a Western Australian Spongia sp., has been reisolated from a specimen of Spirastrella papilosa collected during scientific trawling operations in the Great Australian Eight. A 2D NMR analysis of 6 has prompted reassignment of the published structure 5, while degradation and chiral HPLC analysis have allowed determination of the absolute stereochemistry.

Revision of the larval morphology (Zoea I) of the family Hippolytidae (Decapoda, Caridea), with a description of the first stage of the shrimp Hippolyte obliquimanus Dana, 1852

The aim of this study was to summarize the available data on larval morphology of the first zoea of the family Hippolytidae and describe the first zoeal stage of H. obliquimanus from two geographically distinct populations, Brazilian and Caribbean in order to discuss inter- and intraspecific variability. Ovigerous females of Hippolyte obliquimanus were collected at Cahuita (Limon, Costa Rica) and at Ubatuba (Sao Paulo, Brazil). We compiled the published descriptions of all available hippolytid Zoea I (66 spp., 21%), and all zoeae share several characteristics. However, such morphological features cannot be used to distinguish the first zoeae of Hippolytidae from other caridean larvae. Historically, the presence of an exopodal seta at the maxillule and the absence of the anal spine/papilla have been considered as characteristic for the Zoea I of the genus Hippolyte. The results of our revision, however, did not support these conclusions: although H. obliquimanus showed an exopodal seta at the maxillule, four congeners did not bear such structure; moreover, H. obliquimanus as well as one other congener have an anal spine/papilla. All morphological characters observed in the first zoeal stage of H. obliquimanus are shared with others species of the family Hippolytidae. Intraspecific variability in Hippolyte obliquimanus was detected in one morphological aspect: the first zoea had four denticles on the ventral margin of the carapace in the Brazilian population, while specimens from the Costa Rican population had three.

Taxonomic revision of Gripopteryx (Pictet, 1841) (Plecoptera: Gripopterygidae)

The genus Gripopteryx is revised and two new species are described, G. japi n. sp. from southeastern Brazil, and G. clemira n. sp. from northeastern Brazil. The male of G. brasiliensis Samal, 1921 and the female of G. flinti Froehlich, 1993 are described. New figures for G. maculosa Jewett, 1960, for the male of G. reticulata Brauer, 1866, and for the female of G. brasiliensis are provided. Keys to adult males and to nymphs are provided.