Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A Verification Method of the Correctness of Requirements Ontology
View through CrossRef
In a requirements elicitation using ontology, the quality of elicited requirements fully depends on the quality of requirements ontology. In this paper, a verification method of the correctness of requirements ontology is proposed in order to improve the quality of requirements ontology. We provide a rule description language to specify properties that requirements ontology should satisfy. Then, by checking whether the rules are consistent with requirements ontology, we verify the correctness of the ontology. Both the verification method and a prototype system based on the method will be illustrated with examples.
Title: A Verification Method of the Correctness of Requirements Ontology
Description:
In a requirements elicitation using ontology, the quality of elicited requirements fully depends on the quality of requirements ontology.
In this paper, a verification method of the correctness of requirements ontology is proposed in order to improve the quality of requirements ontology.
We provide a rule description language to specify properties that requirements ontology should satisfy.
Then, by checking whether the rules are consistent with requirements ontology, we verify the correctness of the ontology.
Both the verification method and a prototype system based on the method will be illustrated with examples.
Related Results
Platform Verification - Aview From Amember Of Industry
Platform Verification - Aview From Amember Of Industry
ABSTRACT
Concerns have been raised in many sectors regarding the safety and reliability of offshore platforms. In this paper, the history of offshore operations a...
Shenzi 16-Inch Oil Export SCR CVA Verification
Shenzi 16-Inch Oil Export SCR CVA Verification
Abstract
In 2006 Enterprise developed a 16-inch oil export system from Shenzi field located in Green Canyon Block 653 in the Gulf of Mexico, approximately 120 nau...
ПЕРСПЕКТИВИ ОНТОЛОГІЧНОГО МОДЕЛЮВАННЯ ЯК ЗАСОБУ ВЕРИФІКАЦІЇ РЕЗУЛЬТАТІВ ПСИХОЛОГІЧНОГО ДОСЛІДЖЕННЯ (НА ПРИКЛАДІ ВИВЧЕННЯ ЯВИЩ ГРИ)
ПЕРСПЕКТИВИ ОНТОЛОГІЧНОГО МОДЕЛЮВАННЯ ЯК ЗАСОБУ ВЕРИФІКАЦІЇ РЕЗУЛЬТАТІВ ПСИХОЛОГІЧНОГО ДОСЛІДЖЕННЯ (НА ПРИКЛАДІ ВИВЧЕННЯ ЯВИЩ ГРИ)
Purpose. Methodological differences in the verification standards for the results of scientific knowledge between individual psychological branches represented in the domestic and ...
Development and Evaluation of an Adolescents' Depression Ontology for Analyzing Social Data
Development and Evaluation of an Adolescents' Depression Ontology for Analyzing Social Data
This study aims to develop and evaluate an ontology for adolescents' depression to be used for collecting and analyzing social data. The ontology was developed according to the &am...
An ontology-based approach to engineering ethicality requirements
An ontology-based approach to engineering ethicality requirements
AbstractIn a world where Artificial Intelligence (AI) is pervasive, humans may feel threatened or at risk by giving up control to machines. In this context, ethicality becomes a ma...
Extracting and Merging Contextualized Ontology Modules
Extracting and Merging Contextualized Ontology Modules
Ontology module extraction, from a large ontology, leads to the generation of a specialized knowledge model that is pertinent to specific problems. Existing ontology module extract...
Exploiting Modularity for Ontology Verification
Exploiting Modularity for Ontology Verification
Within knowledge representation, ontologies are logical theories that support software integration and decision support systems. Ontology verification is concerned with the relatio...
Discussion on Application Verification Method of Xinyan Electronic Components
Discussion on Application Verification Method of Xinyan Electronic Components
Abstract
This article first analyzes the verification of Xinyan electronic components, including functional verification, performance verification, and process verif...