Cover Image

Model of information object for digital library and its verification

An approach for formal verification of UML 2.0 using mapping OWL-DL in UML 2.0 is proposed. As a result, an original approach for mapping OWL-DL to UML 2.0 through description logic has been proposed. The completeness of the mapping of UML-OWL through stereotypes and labeled UML 2.0 values at the le...

Full description

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	Novitsky, A.V., Reznichenko, V.A.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2020
Subjects:	digital library semantic digital library linked data information object mapping UML-OWL description logic reasoning engine UDC 004.94
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/395
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Optimal Digital System for Research Library
by: Lobuzin, I. V.
Published: (2014)

Digitization of Historical and Cultural Heritage: Technology and Management
by: Lobuzin, I. V.
Published: (2012)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
by: Andon, P.I., et al.
Published: (2018)

Extending UML specification for semantic modeling objects
by: Novitsky, A.V.
Published: (2018)

Descriptive logic using in Web-service problems
by: Zakharova, O.V.
Published: (2017)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
by: Zakharova, O.V.
Published: (2023)

Integration of the description logics axiomatic into relational data model
by: Chystiakova, I.S.
Published: (2018)

Integration of the description logics with operations at role constructors into relational data model
by: Chystiakova, I.S.
Published: (2018)

ECONOMY DIGITALIZATION AS A DIGITAL TRANSFORMATION TOOL OF UKRAINE
by: Mosiichuk, Iryna, et al.
Published: (2020)

Methods of recognition by the agent of the unknown environment
by: Yalovets, A.L.
Published: (2019)

Weather anomaly monitoring method based on sensor network technology
by: Rahozin, D.V.
Published: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
by: Zhyliuk, Y., et al.
Published: (2025)

Implementation of mappings between the description logic and the binary relational data model on the RDF level
by: Chystiakova, I.S.
Published: (2021)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
by: Iaremchuk, Iu. Е.
Published: (2013)

Conceptual model of a manufacturing enterprise’s digital ecosystem in the context of Industry 4.0.
by: Loza, S.
Published: (2025)

Digital platform for managing investment projects within the "government-business-society" relations based on partnership
by: Petrova, I.
Published: (2024)

The technique of using Description Logics in the process of constructing a composite service at the functional level
by: Zakharova, O.V.
Published: (2018)

Defining and resolving Web-services discovery problems using description logics formalism
by: Zakharova, O.V.
Published: (2018)

Geographic information intelligent systems based on modern information technologies for digital terrain modelling
by: Vdovychenko, V.V., et al.
Published: (2025)

Mappings of the description logic ALC into the binary relational data struc-ture
by: Reznichenko, V.A., et al.
Published: (2017)

Integration of the family of extended description logic languages with relational data model
by: Reznichenko, V.A., et al.
Published: (2018)

Using metadata to resolve big data problems
by: Zakharova, O.V.
Published: (2019)

Table interpretation of the temporal description logic LTLALC
by: Reznichenko, V.A., et al.
Published: (2023)

Binary Relational Data Model
by: Chystiakova, I.S., et al.
Published: (2018)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

Considering risks when using information technology
by: Diachenko, V.
Published: (2024)

The Economic Impact of Cloud Technologies on the Industry 4.0 Development
by: Reznikov, R.
Published: (2023)

Ontological similar systems for analysis of texts of natural language
by: Kryvyi, S.L., et al.
Published: (2018)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

MULTIFUNCTIONAL DIGITAL RECEIVER-SPECTROMETER
by: Vasilyev, O. Y., et al.
Published: (2014)

Use of thesauruses for search of complex information objects on Web on the basis of ontologies
by: Rogushina, J.V.
Published: (2019)

Usage of AI-planning techniques to solve problems of Web-services composition
by: Zakharova, O.V.
Published: (2018)

WIDEBAND DIGITAL RECEIVER/PULSE ANALYZER
by: Vynogradov, V. V., et al.
Published: (2015)

Fuzzy system for determining the quality of digital images of documents to be microfilmed
by: Egorov, P. N.
Published: (2016)

Mapping of the relational algebra to the description logic
by: Chystiakova, І.S.
Published: (2018)

Description of the web service process. Tabular interpretation
by: Reznichenko, V.A., et al.
Published: (2025)

Detection of breast cancer presenting as a mass in women with dense breasts — digital breast tomosynthesis versus full-field digital mammography
by: Babkina, T.M., et al.
Published: (2023)

Digitization of archival and historical data on destroyed cultural heritage objects within the Zelenyi Hai archaeological complex of the 8th-13th centuries
by: Pavlenko, Ivan, et al.
Published: (2025)

Module-based scientific physics engine architecture
by: Bernatovych, A.A., et al.
Published: (2023)

Semantic annotation of Web-services
by: Zakharova, O.V.
Published: (2017)