Onto4AIR2: An ontology to manage theses from open repositories

2021 ◽  
pp. 1-10
Author(s):  
María Auxilio Medina Nieto ◽  
Jorge de la Calleja Mora ◽  
Claudia Zepeda Cortés ◽  
Eduardo López Domínguez
Keyword(s):  
Satisfaction Survey ◽  
National Council ◽  
Proof Of Concept ◽  
Educational Organizations ◽  
Positive Perception ◽  
Assessment Technique ◽  
Sample Data ◽  
Formal Definitions ◽  
Questions And Answers ◽  
Machine Readable

This paper describes Onto4AIR2, an ontology to manage theses from open repositories, this fosters unique and formal definitions of concepts from the Mexican repositories domain in English and Spanish languages, its goal is to support the construction of machine-readable datasets that are semantically labeled for further consultations in educational organizations. The ontology instances are sample data of theses from the National Repository of Mexico, an initiative promoted by the National Council of Science and Technology. The paper describes advantages derived from the formalisms of the ontology, and describes an assessment technique where participants are developers and potential users. Developers followed a competency questions-based approach and determined that the ontology represents questions and answers using its terminology; whereas potential users participated in a satisfaction survey; the results showed a positive perception. At present, the level of the ontology is proof of concept.

Report of the Retiring President

1930 ◽  
Vol 23 (5) ◽  
pp. 327-328
Author(s):  
H. C. Barber
Keyword(s):  
Secondary Mathematics ◽  
National Committee ◽  
National Council ◽  
Educational Organizations

The National Council makes possible the organization of all our teachers of secondary mathematics into a unit. Such organization is important. It increases the opportunity for formulation and study of our professional problems. It helps us to take our place among educational organizations in this country and abroad. It enables us to speak with considerable effectiveness in regard to educational matters which concern us. It makes possible the continuance of the campaign initiated by The National Committee on Mathematical Requirements.

scholarly journals Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization

2015 ◽  
Vol 32 (6) ◽  
pp. 908-917 ◽  
Author(s):  
Goksel Misirli ◽  
Matteo Cavaliere ◽  
William Waites ◽  
Matthew Pocock ◽  
Curtis Madsen ◽  
...  
Keyword(s):  
Semantic Information ◽  
Biological Systems ◽  
Formal Semantics ◽  
Proof Of Concept ◽  
Rule Based ◽  
Model Reuse ◽  
Modelling Framework ◽  
Automated Interpretation ◽  
Machine Readable ◽  
Programmatic Access

Abstract Motivation: Biological systems are complex and challenging to model and therefore model reuse is highly desirable. To promote model reuse, models should include both information about the specifics of simulations and the underlying biology in the form of metadata. The availability of computationally tractable metadata is especially important for the effective automated interpretation and processing of models. Metadata are typically represented as machine-readable annotations which enhance programmatic access to information about models. Rule-based languages have emerged as a modelling framework to represent the complexity of biological systems. Annotation approaches have been widely used for reaction-based formalisms such as SBML. However, rule-based languages still lack a rich annotation framework to add semantic information, such as machine-readable descriptions, to the components of a model. Results: We present an annotation framework and guidelines for annotating rule-based models, encoded in the commonly used Kappa and BioNetGen languages. We adapt widely adopted annotation approaches to rule-based models. We initially propose a syntax to store machine-readable annotations and describe a mapping between rule-based modelling entities, such as agents and rules, and their annotations. We then describe an ontology to both annotate these models and capture the information contained therein, and demonstrate annotating these models using examples. Finally, we present a proof of concept tool for extracting annotations from a model that can be queried and analyzed in a uniform way. The uniform representation of the annotations can be used to facilitate the creation, analysis, reuse and visualization of rule-based models. Although examples are given, using specific implementations the proposed techniques can be applied to rule-based models in general. Availability and implementation: The annotation ontology for rule-based models can be found at http://purl.org/rbm/rbmo. The krdf tool and associated executable examples are available at http://purl.org/rbm/rbmo/krdf. Contact: [email protected] or [email protected]

scholarly journals MENGUKUR INDEKS KEPUASAN MASYARAKAT (IKM) TERHADAP PELAYANAN PUBLIK PADA ORGANISASI SEKTOR PUBLIK KELURAHAN

NATAPRAJA ◽  
2019 ◽  
Vol 7 (1) ◽  
pp. 105-120
Author(s):  
Ahmad Sururi
Keyword(s):  
Completion Time ◽  
Research Method ◽  
Administrative Reform ◽  
Satisfaction Survey ◽  
Community Satisfaction ◽  
Satisfaction Index ◽  
Urban Village ◽  
Sample Data ◽  
Public Sector Organizations ◽  
Bureaucratic Reform

The purpose of this study was to find out how much the level of community satisfaction with public services in urban public sector organizations, namely Cipare Serang Urban Village. The research method used is a quantitative approach. The population in this study amounted to 80 people with an error rate of 1% and obtained results of 44 people as a sample. Data collection techniques use observation (observation), interviews (interviews) and questionnaires (questionnaires). The research instrument as stated in the Minister of Administrative Reform and Bureaucratic Reform Regulation Number 14 of 2017 concerning Guidelines for Preparing the Community Satisfaction Survey. The results of the study, it can be concluded that the Community Satisfaction Index in Cipare Village has gone well. This can be seen from 9 (nine) appropriate indicators (Permenpan-RB) Number 14 of 2017 with the average service quality in the Good category with the IKM conversion value of = 77,650. However, there are still shortcomings in the completion time indicator and indicators for handling complaints, suggestions and inputs in the unfavorable category.

Positioning and Formalizing the REA Enterprise Ontology

2008 ◽  
Vol 22 (2) ◽  
pp. 219-248 ◽  
Author(s):  
Frederik Gailly ◽  
Wim Laurier ◽  
Geert Poels
Keyword(s):  
Knowledge Representation ◽  
Unified Modeling Language ◽  
Formal Ontology ◽  
Proof Of Concept ◽  
Engineering Knowledge ◽  
Unified Modeling ◽  
Modeling Software ◽  
Application Potential ◽  
Enterprise Ontology ◽  
Machine Readable

ABSTRACT: Recent Resource, Event, Agent (REA) research has focused on defining and theoretically justifying the ontology's contents. Here, we elaborate on more practical issues related to REA. First, we classify REA and its applications using ontology classification schemes and application frameworks. This analysis clarifies REA's application potential but also reveals weaknesses that may impede its operationalization. Next, we propose a new REA ontology specification that uses a Unified Modeling Language (UML) profile for graphically representing ontologies. This new specification is more complete and precise than previously available specifications, without compromising understandability. It can easily be transformed into a machine-readable representation for automatic processing, which is a prerequisite for the successful application of REA in business modeling, software engineering, knowledge representation, and interoperability creation. The paper ends with a proof of concept application in which a formal Ontology Web Language (OWL) specification of REA is fed into the Prote´ge´ knowledge representation tool and subsequently used for the development of an enterprise schema.

scholarly journals 3D Knitted Preforms Using Large Circular Weft Knitting Machines

2021 ◽  
Author(s):  
Christoph Peiner ◽  
Henning Löcken ◽  
Leon Reinsch ◽  
Thomas Gries
Keyword(s):  
Product Development ◽  
Development Process ◽  
Single Step ◽  
Product Development Process ◽  
Process Conditions ◽  
Proof Of Concept ◽  
Process Knowledge ◽  
Agile Process ◽  
The Stability ◽  
Machine Readable

Abstract3D-knits are typically produced on flat knitting or special circular knitting machines in a time-consuming process. The utilisation of a sewing-like pattern opens up the potential of a 10–50 times faster production on common large circular knitting machines as compared to conventional flat knitting machines. Since common large circular knitting machines are not designed for this technology, the limitations and the stability of process conditions have been rarely studied. To further proof the feasibility and increase technological maturity, agile product development is conducted. As a concept product, a sports bra with customised cups is developed and demonstrated, which is knitted in a single step in approx. 5 min using the sewing-like pattern on a large circular knitting machine. The agile process is utilised to build process knowledge, develop a methodology for product design and to defined a descriptive process terminology. In order to further accelerate and digitize the production process, an algorithm is developed and implemented to convert CAD-data into machine readable knitting structures. The paper presents the basics of the 3D-Knit one large circular knitting machines and a defined terminology. Furthermore, process knowledge is built up and from this a sequence of development steps is derived. The development of a 3D-knitted sports bra is presented as a proof of concept of the technology. Further, the first steps for digitalising the product development process are given. The results open up application possibilities in sportswear, upholstery and aerospace with increased productivity and hence cost reduction.

Direct measurement of electron-diffraction-pattern intensities using an energy loss spectrometer

1989 ◽  
Vol 47 ◽  
pp. 668-669
Author(s):  
A. G. Jackson ◽  
M. Rowe
Keyword(s):  
Thermal Effects ◽  
Dynamic Range ◽  
Scattering Amplitude ◽  
Dynamical Theory ◽  
Site Symmetry ◽  
Proof Of Concept ◽  
Parallel Acquisition ◽  
Kinematic Approximation ◽  
Speed Up ◽  
Structure Calculations

Diffraction intensities from intermetallic compounds are, in the kinematic approximation, proportional to the scattering amplitude from the element doing the scattering. More detailed calculations have shown that site symmetry and occupation by various atom species also affects the intensity in a diffracted beam. [1] Hence, by measuring the intensities of beams, or their ratios, the occupancy can be estimated. Measurement of the intensity values also allows structure calculations to be made to determine the spatial distribution of the potentials doing the scattering. Thermal effects are also present as a background contribution. Inelastic effects such as loss or absorption/excitation complicate the intensity behavior, and dynamical theory is required to estimate the intensity value.The dynamic range of currents in diffracted beams can be 104or 105:1. Hence, detection of such information requires a means for collecting the intensity over a signal-to-noise range beyond that obtainable with a single film plate, which has a S/N of about 103:1. Although such a collection system is not available currently, a simple system consisting of instrumentation on an existing STEM can be used as a proof of concept which has a S/N of about 255:1, limited by the 8 bit pixel attributes used in the electronics. Use of 24 bit pixel attributes would easily allowthe desired noise range to be attained in the processing instrumentation. The S/N of the scintillator used by the photoelectron sensor is about 106 to 1, well beyond the S/N goal. The trade-off that must be made is the time for acquiring the signal, since the pattern can be obtained in seconds using film plates, compared to 10 to 20 minutes for a pattern to be acquired using the digital scan. Parallel acquisition would, of course, speed up this process immensely.

Sign in / Sign up

Export Citation Format

Share Document