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