loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Gerald S. Plesniewicz 1 and Valery B. Tarasov 2

Affiliations: 1 Applied Mathematics Department, National Research University MPEI, Krasnokazarmennaya 14, Moscow, Russia ; 2 CIM Department, Bauman Moscow State Technical University, 2ndBaumanskaya 5, Moscow, Russia

Keyword(s): Knowledge Bases, Ontologies, Workflows, Concept Languages, Logical Inference, Analytic Tableaux.

Abstract: The main purpose of the present paper is to show how concept languages of the system “Binary Model of Knowledge” can be used for specifying workflow ontologies. The system is under development in the Applied Mathematics and Artificial Intelligence Department of National Research University MPEI (Moscow). In particular, the system includes the language LTS of temporal specification. The language includes the sentences matching the sentences of the Boolean and metric extensions of Allen’s interval logic. For the extended logics we present the complete systems of inference rules (in style of analytic tableaux).

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.191.13.255

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Plesniewicz, G. and Tarasov, V. (2020). On Specifying and Analysing Domain Ontologies for Workflows in “Binary Model of Knowledge". In Proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020) - KEOD; ISBN 978-989-758-474-9; ISSN 2184-3228, SciTePress, pages 205-212. DOI: 10.5220/0010134902050212

@conference{keod20,
author={Gerald S. Plesniewicz. and Valery B. Tarasov.},
title={On Specifying and Analysing Domain Ontologies for Workflows in “Binary Model of Knowledge"},
booktitle={Proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020) - KEOD},
year={2020},
pages={205-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010134902050212},
isbn={978-989-758-474-9},
issn={2184-3228},
}

TY - CONF

JO - Proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020) - KEOD
TI - On Specifying and Analysing Domain Ontologies for Workflows in “Binary Model of Knowledge"
SN - 978-989-758-474-9
IS - 2184-3228
AU - Plesniewicz, G.
AU - Tarasov, V.
PY - 2020
SP - 205
EP - 212
DO - 10.5220/0010134902050212
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic