Зображення обкладинки

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...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	Novitsky, A.V., Reznichenko, V.A.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2020
Теми:	digital library semantic digital library linked data information object mapping UML-OWL description logic reasoning engine UDC 004.94
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/395
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Optimal Digital System for Research Library
за авторством: Lobuzin, I. V.
Опубліковано: (2014)

Digitization of Historical and Cultural Heritage: Technology and Management
за авторством: Lobuzin, I. V.
Опубліковано: (2012)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
за авторством: Andon, P.I., та інші
Опубліковано: (2018)

Extending UML specification for semantic modeling objects
за авторством: Novitsky, A.V.
Опубліковано: (2018)

Descriptive logic using in Web-service problems
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Integration of the description logics axiomatic into relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2018)

Integration of the description logics with operations at role constructors into relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2018)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
за авторством: Zakharova, O.V.
Опубліковано: (2023)

ECONOMY DIGITALIZATION AS A DIGITAL TRANSFORMATION TOOL OF UKRAINE
за авторством: Mosiichuk, Iryna, та інші
Опубліковано: (2020)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
за авторством: Iaremchuk, Iu. Е.
Опубліковано: (2013)

Implementation of mappings between the description logic and the binary relational data model on the RDF level
за авторством: Chystiakova, I.S.
Опубліковано: (2021)

Digital platform for managing investment projects within the "government-business-society" relations based on partnership
за авторством: Petrova, I.
Опубліковано: (2024)

Methods of recognition by the agent of the unknown environment
за авторством: Yalovets, A.L.
Опубліковано: (2019)

Defining and resolving Web-services discovery problems using description logics formalism
за авторством: Zakharova, O.V.
Опубліковано: (2018)

Geographic information intelligent systems based on modern information technologies for digital terrain modelling
за авторством: Vdovychenko, V.V., та інші
Опубліковано: (2025)

Integration of the family of extended description logic languages with relational data model
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2018)

The technique of using Description Logics in the process of constructing a composite service at the functional level
за авторством: Zakharova, O.V.
Опубліковано: (2018)

Using metadata to resolve big data problems
за авторством: Zakharova, O.V.
Опубліковано: (2019)

Mappings of the description logic ALC into the binary relational data struc-ture
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2017)

Binary Relational Data Model
за авторством: Chystiakova, I.S., та інші
Опубліковано: (2018)

Considering risks when using information technology
за авторством: Diachenko, V.
Опубліковано: (2024)

Table interpretation of the temporal description logic LTLALC
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2023)

MULTIFUNCTIONAL DIGITAL RECEIVER-SPECTROMETER
за авторством: Vasilyev, O. Y., та інші
Опубліковано: (2014)

Usage of AI-planning techniques to solve problems of Web-services composition
за авторством: Zakharova, O.V.
Опубліковано: (2018)

WIDEBAND DIGITAL RECEIVER/PULSE ANALYZER
за авторством: Vynogradov, V. V., та інші
Опубліковано: (2015)

Detection of breast cancer presenting as a mass in women with dense breasts — digital breast tomosynthesis versus full-field digital mammography
за авторством: Babkina, T.M., та інші
Опубліковано: (2023)

Description of the web service process. Tabular interpretation
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2025)

A research of invisible errors in bibliographic data input and its impact on the quality and search accessibility
за авторством: Петренко , М. В.
Опубліковано: (2021)

Fuzzy system for determining the quality of digital images of documents to be microfilmed
за авторством: Egorov, P. N.
Опубліковано: (2016)

60 Years of Databases (final part)
за авторством: Reznichenko, V.A.
Опубліковано: (2023)

Ontological similar systems for analysis of texts of natural language
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Weather anomaly monitoring method based on sensor network technology
за авторством: Rahozin, D.V.
Опубліковано: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)

Digitization of archival and historical data on destroyed cultural heritage objects within the Zelenyi Hai archaeological complex of the 8th-13th centuries
за авторством: Pavlenko, Ivan, та інші
Опубліковано: (2025)

Mapping of the relational algebra to the description logic
за авторством: Chystiakova, І.S.
Опубліковано: (2018)

Methods and techniques for management of ontolodgy-based knowledge representation models in the context of BIG data
за авторством: Novitsky, A.V.
Опубліковано: (2022)

Theoretical basis for a new approach to the problem of identifying the results of cloning in digital images stored in lossy formats
за авторством: Kobozeva, A. A., та інші
Опубліковано: (2015)

Гібридна згорткова мережа для обробки зображень рентгенівських знімків для виявлення захворювання COVID-19
за авторством: Федорченко , Є. М., та інші
Опубліковано: (2022)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

AI (not) against AI
за авторством: Nesterenko, Oleksandr, та інші
Опубліковано: (2025)