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

Table interpretation of the temporal description logic LTLALC

Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks to this, conceptual of subject areas modeling has become one of the fields of a...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2023
Автори:	Reznichenko, V.A., Chystiakova, I.S.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2023
Теми:	description logic temporal description logic DL LTL ALC LTLALC UDC 004.62
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/523
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

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

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

Mapping of the descriptive logic into RDF using binary relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2021)

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

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

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

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

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

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

Theoretical and applied aspects of relations and operations for sequences of time intervals
за авторством: Kudym, K.A., та інші
Опубліковано: (2025)

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

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

Ontology-oriented data integration on the Semantic Web
за авторством: Chystyakova, I.S.
Опубліковано: (2025)

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Segmentation of geospatial rasters: analysis of the temporal characteristics of the AREAONAREAOVERLAYER algorithm
за авторством: Tsaryniuk, O.V., та інші
Опубліковано: (2025)

Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: Shkilniak, S.S.
Опубліковано: (2019)

Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)

Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)

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

Composition-nominative logics of free-quantifier levels
за авторством: Shkilniak, S.S., та інші
Опубліковано: (2018)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)

What is Big Data
за авторством: Reznichenko, V.A.
Опубліковано: (2019)

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

Ontological approach to the description of the reservoir's passport
за авторством: Tikhonov, Y.L.
Опубліковано: (2018)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Analytical review of approaches to integration of software systems
за авторством: Dyvak, Y.A.
Опубліковано: (2021)

Method of forming multi-leveled sequential patterns
за авторством: Moldavskaya, A.V.
Опубліковано: (2018)