Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2023
Main Authors:	Reznichenko, V.A., Chystiakova, I.S.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2023
Subjects:	description logic temporal description logic DL LTL ALC LTLALC UDC 004.62
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/523
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

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

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

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)

Mapping of the descriptive logic into RDF using binary relational data model
by: Chystiakova, I.S.
Published: (2021)

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

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

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

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

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

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

Theoretical and applied aspects of relations and operations for sequences of time intervals
by: Kudym, K.A., et al.
Published: (2025)

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

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

Ontology-oriented data integration on the Semantic Web
by: Chystyakova, I.S.
Published: (2025)

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)

Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)

Segmentation of geospatial rasters: analysis of the temporal characteristics of the AREAONAREAOVERLAYER algorithm
by: Tsaryniuk, O.V., et al.
Published: (2025)

Logics of quasiary predicates of quantifier-equational level
by: Nikitchenko, M.S., et al.
Published: (2015)

First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)

Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
by: Shkilniak, О.S., et al.
Published: (2024)

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

Propositional logics of partial predicates with composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2019)

Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)

Composition nominative modal logics of partial non-monotone predicates and their calculi
by: Shkilniak, O.S., et al.
Published: (2018)

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

Composition-nominative logics of free-quantifier levels
by: Shkilniak, S.S., et al.
Published: (2018)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2020)

What is Big Data
by: Reznichenko, V.A.
Published: (2019)

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

Ontological approach to the description of the reservoir's passport
by: Tikhonov, Y.L.
Published: (2018)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
by: Shkilniak, О.S., et al.
Published: (2023)

Algebras of general non-deterministic predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Analytical review of approaches to integration of software systems
by: Dyvak, Y.A.
Published: (2021)

Method of forming multi-leveled sequential patterns
by: Moldavskaya, A.V.
Published: (2018)