Model of information object for digital library and its verification

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.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	Інститут програмних систем НАН України 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, F.I., та інші
Опубліковано: (2018)

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

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)

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

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

World Experience in the Digitalization of Public Administration in the Development of the Tourist and Recreational Sphere
за авторством: Boretska, N., та інші
Опубліковано: (2021)

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)

Platform Strategiarchy as a Tool for Reducing Information Asymmetry, Taking into Account the Scale, Cardinality and Order of the Strategy
за авторством: Vyshnevskyi, O.
Опубліковано: (2023)

The Economic Impact of Cloud Technologies on the Industry 4.0 Development
за авторством: Reznikov, R.
Опубліковано: (2023)

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

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

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

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

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

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

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)

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

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

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

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

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

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)

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

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)

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

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

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

Semantic annotation of Web-services
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Authentication Method of Interaction Parties Based on Reccurent Sequences
за авторством: Yaremchuk, Yu. Е.
Опубліковано: (2013)

The usage of computer vision in the system of digital cutting of materials
за авторством: Tumanov, V.V., та інші
Опубліковано: (2018)

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

ASSESSMENT OF DYNAMICS OF UNFAVORABLE HYDROLOGICAL AND HYDROGEOLOGICAL PROCESSES BASED ON SATELLITE DATA AND DIGITAL ELEVATION MODELS (THE POLESIE REGION OF UKRAINE IS AN EXAMPLE)
за авторством: LYALKO, V. I., та інші
Опубліковано: (2012)

Traces of editing in digital phonograms performed by method of excision and transposition of fragments
за авторством: Rybalsky, O. V., та інші
Опубліковано: (2016)