On Specifying and Analysing Domain Ontologies for Workflows in “Binary Model of Knowledge"

Gerald S. Plesniewicz, Valery B. Tarasov

2020

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

Paper Citation

in Harvard Style

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) - Volume 2: KEOD; ISBN 978-989-758-474-9, SciTePress, pages 205-212. DOI: 10.5220/0010134902050212

in Bibtex Style

@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) - Volume 2: KEOD},
year={2020},
pages={205-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010134902050212},
isbn={978-989-758-474-9},
}

in EndNote Style

TY - CONF

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