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

Gerald Plesniewicz, Valery Tarasov


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