Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2023
Hauptverfasser:	Reznichenko, V.A., Chystiakova, I.S.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2023
Schlagworte:	description logic temporal description logic DL LTL ALC LTLALC UDC 004.62
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/523
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

Integration of the family of extended description logic languages with relational data model
von: Reznichenko, V.A., et al.
Veröffentlicht: (2018)

Integration of the description logics axiomatic into relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2018)

Integration of the description logics with operations at role constructors into relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2018)

Mapping of the descriptive logic into RDF using binary relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2021)

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

Mapping of the relational algebra to the description logic
von: Chystiakova, І.S.
Veröffentlicht: (2018)

Descriptive logic using in Web-service problems
von: Zakharova, O.V.
Veröffentlicht: (2017)

Binary Relational Data Model
von: Chystiakova, I.S., et al.
Veröffentlicht: (2018)

Description of the web service process. Tabular interpretation
von: Reznichenko, V.A., et al.
Veröffentlicht: (2025)

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

Theoretical and applied aspects of relations and operations for sequences of time intervals
von: Kudym, K.A., et al.
Veröffentlicht: (2025)

Ontological similar systems for analysis of texts of natural language
von: Kryvyi, S.L., et al.
Veröffentlicht: (2018)

Defining and resolving Web-services discovery problems using description logics formalism
von: Zakharova, O.V.
Veröffentlicht: (2018)

Ontology-oriented data integration on the Semantic Web
von: Chystyakova, I.S.
Veröffentlicht: (2025)

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

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Segmentation of geospatial rasters: analysis of the temporal characteristics of the AREAONAREAOVERLAYER algorithm
von: Tsaryniuk, O.V., et al.
Veröffentlicht: (2025)

Logics of quasiary predicates of quantifier-equational level
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)

Model of information object for digital library and its verification
von: Novitsky, A.V., et al.
Veröffentlicht: (2020)

Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)

Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

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

Usage of AI-planning techniques to solve problems of Web-services composition
von: Zakharova, O.V.
Veröffentlicht: (2018)

Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)

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

What is Big Data
von: Reznichenko, V.A.
Veröffentlicht: (2019)

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

Ontological approach to the description of the reservoir's passport
von: Tikhonov, Y.L.
Veröffentlicht: (2018)

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

Algebras of general non-deterministic predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Analytical review of approaches to integration of software systems
von: Dyvak, Y.A.
Veröffentlicht: (2021)

Method of forming multi-leveled sequential patterns
von: Moldavskaya, A.V.
Veröffentlicht: (2018)