433 Hits in 7.6 sec

Ontology-Based Transformation and Verification of UML Class Model

Abdul Hafeez, Syed Abbas, Aqeel-ur Rehman
2020 ˜The œinternational Arab journal of information technology  
The empirical study shows that the proposed approach scales in the presence of the large and complex model  ...  This paper mainly focuses on ontology-based transformation and verification of the UML class model elements which have not been addressed in any existing verification methods e.g. xor association constraint  ...  he/she cannot review the same book and vice versa.  ... 
doi:10.34028/iajit/17/5/9 fatcat:liic5fqyxjbyxlz2avqw3dhkji

A review of the generation of requirements specification in natural language using objects UML models and domain ontology

Alaa Abdalazeim, Farid Meziane
2021 Procedia Computer Science  
This includes studying the generation of natural language from a formal model, review the generation of natural language from ontologies, and finally reviews studies about check to generate natural language  ...  This includes studying the generation of natural language from a formal model, review the generation of natural language from ontologies, and finally reviews studies about check to generate natural language  ...  find=cosort) to convert XML into UML and vice versa and the GATE ( tool for natural language processing.  ... 
doi:10.1016/j.procs.2021.05.102 fatcat:ehjiod3kdvectoibcc2q5kpjny

Consistency of UML class, object and statechart diagrams using ontology reasoners

Ali Hanzala Khan, Ivan Porres
2015 Journal of Visual Languages and Computing  
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for  ...  We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool.  ...  tools and vice versa.  ... 
doi:10.1016/j.jvlc.2014.11.006 fatcat:2jgeqtvmnvabfbbmzshk24tnuy

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2

Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo
2022 Future Internet  
We formally prove that Graphol is equivalent to OWL 2, i.e., it can capture every OWL 2 ontology and vice versa.  ...  In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/fi14030078 fatcat:uvy5e7rheraolfcsgovpghbcia

A Comparative Study of Approaches of Ontology Driven Software Development

Hele-Mai HAAV
2018 Informatica  
Benefits and challenges of each of the discussed approaches are presented. The analysis is based on literature and projects reviews in the fields of ontology engineering, MBSD and ODSD.  ...  The goal of the paper is to identify current ODSD approaches and to provide qualitative and comparative analysis of the collection of identified approaches.  ...  This work was partially supported by the Institutional Research Grant IUT33-13 of the Estonian Research Council.  ... 
doi:10.15388/informatica.2018.175 fatcat:l46wtghk7rcnpgaqnrsyxw5w6a

CBI 2020 TOC

2020 2020 IEEE 22nd Conference on Business Informatics (CBI)  
Service Models -Development and Evaluation 260 Christian Hrach (Leipzig University) and Rainer Alt (Leipzig University) Case-Study-Based Review of Approaches for Transforming UML Class Diagrams to OWL  ...  and Vice Versa 270 Marek Suchánek (Czech Technical University in Prague) and Robert Pergl (Czech Technical University in Prague) Factors Promoting Software Project Escalation: A Systematic Review 280  ... 
doi:10.1109/cbi49978.2020.00004 fatcat:ppxo3pn35vawfddjoljydvtvvq

Conceptual modeling using domain ontologies

Frederik Gailly, Geert Poels
2010 Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM '10  
The usefulness of the approach for the quality assurance of conceptual schemas is demonstrated by evaluating the domainspecific quality of a sample of UML class diagrams intended as enterprise models.  ...  The approach is illustrated for enterprise modeling using UML and the Resource Event Agent (REA) enterprise ontology.  ...  Figure 1 : 1 Domain ontology-based conceptual modeling approach Figure 2 : 2 UML class diagram model of REA's core concepts and relations Figure 4 : 4 UML class diagram for the parts purchasing transaction  ... 
doi:10.1145/2060329.2060367 fatcat:67dp5xsuqbcire3m5npft5y5ea


I. Gräßler, J. Pottebaum
2020 Proceedings of the Design Society: DESIGN Conference  
Literature research indicates that there are only very few approaches to utilise the potential of virtual and augmented reality for supporting tasks in model based (systems) engineering.  ...  AbstractThe value of models is well recognised in product and systems engineering. Modelling languages and diagrams are used to capture mental models and to handle model complexity.  ...  Practically speaking, this means to add a link from a 2D schematic diagram to a CAD model or even a part within a CAD model -and vice versa.  ... 
doi:10.1017/dsd.2020.158 fatcat:mtmazkiqpzhxrkd3hdpgpteg2m

Using Knowledge Graph Structures for Semantic Interoperability in Electronic Health Records Data Exchanges

Shelly Sachdeva, Subhash Bhalla
2022 Information  
This study aims to discover knowledge representation to achieve semantic health data exchange. OpenEHR and CEN TC251 EN 13606 use archetype-based technology for semantic interoperability.  ...  The paper examines a set of formalisms for the suitability of describing, representing, and reasoning about archetypes.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/info13020052 fatcat:see6kyiqlncyjgfzahucbbjqty

Business Semantics as an Interface between Enterprise Information Management and the Web of Data: A Case Study in the Flemish Public Administration [chapter]

Christophe Debruyne, Pieter De Leenheer
2013 Lecture Notes in Business Information Processing  
We first show how fact-oriented approaches differ from approaches in terms of, amongst others, expressiveness, complexity, and decidability and how this formalism is easier for users to render their knowledge  ...  All the processes and examples will be taken from industry cases throughout the lecture.  ...  Acknowledgements The authors would like to thank the Flemish government for the case study.  ... 
doi:10.1007/978-3-642-36318-4_9 fatcat:44r47cnzbnbbvmpxvfj5swblxe

Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review

Ahmet Soylu, Patrick De Causmaecker, Davy Preuveneers, Yolande Berbers, Piet Desmet
2011 International Journal of Metadata, Semantics and Ontologies  
efforts in literature required to realise a merged approach.  ...  The core contribution of this paper lies in providing an elaborate and exploratory discussion of the problem and solution spaces along with a multidisciplinary meta-review and identification of complementary  ...  Acknowledgements This paper is based on research funded by the Industrial Research Fund (IOF) and conducted within the IOF knowledge platform "Harnessing collective intelligence to make e-learning environments  ... 
doi:10.1504/ijmso.2011.046595 fatcat:y4u2l35hfzfxni2ggu3osdabsi

Adapting Ontologies to Content Patterns using Transformation Patterns

Vojtech Svátek, Ondrej Sváb-Zamazal, Miroslav Vacura
2010 International Semantic Web Conference  
Ontology content patterns are meant to be used not only for new ontologies but also for reengineering of existing ontologies.  ...  We explore how the recently developed PatOMat transformation framework could be applied to ease the adaptation of 'legacy' ontologies to a widely used content pattern from the  ...  The authors are indebted to Eva Blomqvist, Aldo Gangemi and Valentina Presutti for inspiring discussions and hints regarding the content patterns.  ... 
dblp:conf/semweb/SvatekSV10 fatcat:2z7kyzmugvhofnc27zsg3gdgeq

IFC Schemas in ISO/TC 211 Compliant UML for Improved Interoperability between BIM and GIS

Knut Jetlund, Erling Onstein, Lizhen Huang
2020 ISPRS International Journal of Geo-Information  
Many studies have investigated the integration of application schemas and data instances according to the BIM model IFC and the GIS model CityGML.  ...  This study investigates integration between core abstract concepts from IFC and ISO/TC 211 standards for GIS—independent of specific application schemas.  ...  However, not all IFC geometry types are defined in ISO 19107 and vice versa.  ... 
doi:10.3390/ijgi9040278 fatcat:4f5mmzurxnaczek7u2ceidkpoi

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines [chapter]

Veruska Zamborlini, Rinke Hoekstra, Marcos da Silveira, Cédric Pruski, Annette ten Teije, Frank van Harmelen
2014 Lecture Notes in Computer Science  
UML class diagram for the TMR4I (partial) Model context of a Guideline.  ...  Jafarpour’s approach [3] defines both (i) a OWL+SWRL based formalism for representing and executing CIGs (CPG-DKO) and (i) an OWL+SWRL based formalism for combining two CIGs.  ... 
doi:10.1007/978-3-319-13704-9_44 fatcat:khq5h25wdzhyvc7jpq2vk75f4u


2009 International Journal of Cooperative Information Systems  
Our approach is based on Model Driven Development (MDD) which aims to change the focus of software development from code to models.  ...  We first define an architecture for Semantic Web enabled MASs and then provide a MAS metamodel which consists of the first class meta-entities derived from this architecture.  ...  The authors wish to thank the software development team of the SEAGENT laboratory and the ODEON Co. for their great effort and collaboration in this study. The authors also thank Dr. E.  ... 
doi:10.1142/s0218843009002014 fatcat:ssoayiriobc7vl7mvsqtsm3x3u
« Previous Showing results 1 — 15 out of 433 results