An Investigation into OWL for Concrete Syntax Specification Using UML Notations

被引：1

作者：

Thomas, Anitta ^{[1
]}

Gerber, Aurona J. ^{[2
,3
]}

van der Merwe, Alta ^{[2
]}

机构：

[1] Univ South Africa, Sch Comp, Sci Campus,Florida Pk, Johannesburg, South Africa

[2] Univ Pretoria, Dept Informat, Pretoria, South Africa

[3] CSIR Meraka, Ctr Artificial Intelligence Res, Pretoria, South Africa

来源：

DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016 | 2016年 / 9781卷

关键词：

UML notations; Concrete syntax specification; RCC-8; OWL; Ontology; Ontology reasoner; VISUAL LANGUAGES;

D O I：

10.1007/978-3-319-42333-3_15

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The Web Ontology Language OWL is a prominent ontology language for specifying ontologies. Although OWL ontologies are well-used for representing and reasoning about knowledge in various domains, they are sparsely studied for visual language specification. The work in this paper, therefore, explores OWL for visual language specification by specifying the concrete syntax of selected UML class diagram notations in an ontology. The selected diagram notations are specified as spatial configurations of primitive elements and qualitative base spatial relationships of Region Connection Calculus-8 (RCC-8). Furthermore, the automated reasoning features of ontology reasoners are investigated to verify the completeness and the correctness of the specification. The verification results indicate that the given specification needs to be revised to support applications to draw the selected notations. The value of such a specification in supporting a semantic diagram interpretation application is demonstrated using the automated instance classification feature of ontology reasoners.

引用

页码：197 / 211

页数：15

共 50 条

[31] Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification
Aoki, Yoshitaka
Matsuura, Saeko
2014 IEEE 1ST INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET), 2014, : 18 - 25
[32] A review of the generation of requirements specification in natural language using objects UML models and domain ontology
Abdalazeim, Alaa
Meziane, Farid
AI IN COMPUTATIONAL LINGUISTICS, 2021, 189 : 328 - 334
[33] Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
Daniyal, Ali
Abidi, Syed Sibte Raza
KNOWLEDGE REPRESENTATION FOR HEALTH-CARE: DATA, PROCESSES AND GUIDELINES, 2010, 5943 : 88 - 99
[34] Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Noguera, Manuel
Hurtado, Maria V.
Luisa Rodriguez, Maria
Chung, Lawrence
Luis Garrido, Jose
SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (08) : 726 - 760
[35] Tool Support for Automatic Model Transformation Specification using Concrete Visualisations
Avazpour, Iman
Grundy, John
Grunske, Lars
2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 718 - 721
[36] Specification of integrity-preserving operations in information systems by using a formal UML-based language
Laleau, R
Polack, F
INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (12) : 693 - 704
[37] An Automatic Test Suite Regeneration Technique Ensuring State Model Coverage Using UML Diagrams and Source Syntax
Khatun, Afrina
Sakib, Kazi
2016 5TH INTERNATIONAL CONFERENCE ON INFORMATICS, ELECTRONICS AND VISION (ICIEV), 2016, : 88 - 93
[38] Investigation of the mortality of a local barn owl population using key factor analysis
Tóth, Z
Horváth, G
Müller, E
ITALIAN JOURNAL OF ZOOLOGY, 2005, 72 (03) : 229 - 234
[39] A data mapping specification environment using a concrete business form-based metaphor
Li, YQ
Grundy, J
Amor, R
Hosking, J
IEEE 2002 SYMPOSIA ON HUMAN CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2002, : 158 - 166
[40] An experimental investigation on the viability of using fine concrete recycled aggregate in concrete production
Sarhat, S. R.
SUSTAINABLE CONSTRUCTION MATERIALS AND TECHNOLOGIES, 2007, : 53 - 57

← 1 2 3 4 5 →