Abstract
In the use of ontologies as knowledge information systems (KOS) for purposes of representation, organization and information retrieval, one of the biggest challenges is the ontology development process, which is complex and requires specific technical knowledge of the developers. In the recent years, several methodologies have been developed to support the ontologies building, which have steps well established, but not always well detailed for developers, causing problems in the ontologies development. This paper describes a methodology for the ontologies development, called OntoForInfoScience, which has a differential the detail of the activities of the ontology development cycle, explaining more clearly technical terms, logical and philosophical issues involved in the construction of ontologies. As current practical results of OntoForInfoScience, we presented part of the content of two ontologies developed with such methodology: (i) Hemonto: a biomedical ontology on the human blood components used for hematology and hemotherapy; (ii) Ontolegis: a legal domain ontology that represents the knowledge related to Brazilian legislative information on medical law. It is concluded that the OntoForInfoScience was very useful for the construction of formal ontological representations in both domains modeled and their details allowed to help the developers in logical and philosophical questions of the process of development and in the understanding of technical concepts of ontologies.

Abstract
Eventual consistency (EC) is a relaxed data consistency model that, driven by the CAP theorem, trades prompt consistency for high availability. Although, this model has shown to be promising and greatly adopted by industry, the state of the art only assumes that replicas can crash and recover. However, a Byzantine replica (i.e., arbitrary or malicious) can hamper the eventual convergence of replicas to a global consistent state, thus compromising the entire service. Classical BFT state machine replication protocols cannot solve this problem due to the blocking nature of consensus, something at odd with the availability via replica divergence in the EC model. In this work in progress paper, we introduce a new secure highly available protocol for the EC model that assumes a fraction of replicas and any client can be Byzantine. To respect the essence of EC, the protocol gives priority to high availability, and thus Byzantine detection is performed off the critical path on a consistent data offset. The paper concisely explains the protocol and discusses its feasibility. We aim at presenting a more comprehensive and empirical study in the future.

Abstract

Abstract
The uptake of electric vehicles (EV) will require important modifications in traditional grid planning and load forecasting techniques. Existing literature suggests that the integration of EVs will be more adversarial to elements of the existing electricity infrastructure in terms of power supply (kW) than energy (kWh) delivery. While several studies analyzed the grid impact of electric vehicle fleets, few consider the adoption process itself which may lead to strong spatial variations of the utilization of charging infrastructure. The presented approach extends spatial load forecasting, introducing diffusion theory elements to analyze spatio-temporal clustering of EV charging demand. Using open-access census and grid data, this work develops a deterministic framework to forecast spatial patterns of EV charging applied to a real-world environment. Outcomes suggest substantial spatial clustering of EV adoption patterns, showing substation overrating for EV penetration rates of 25% and above with 7.4kW charging power.

Abstract
We study neutron stars (NSs) in an ungravity (UG) inspired model. We examine the UG effects on tlie static properties of the selected NSs, in different mass and radius regimes, i.e., ultralow, moderate, and ultrahigh mass NSs, using a polytropic equation of state approach. Based on the observational data, we obtain bounds on the characteristic length and scaling dimension of the UG model. Furthermore, we obtain dynamic properties, such as inertial moment (I), Love number (Love), and quadrupole moment (Q) of a slowly rotating NS in the presence of the exterior gravity and ungravity fields. The UG model is also examined with respect to the I-Love-Q universal relation.

Abstract