scientific article; zbMATH DE number 7589539

DOI10.18255/1818-1015-534-549zbMath1497.68301MaRDI QIDQ5866352

I. S. Anureev, Olesya Ignat'Evna Borovikova, Natal'Ya Olegovna Garanina, Vladimir Zyubin

Publication date: 21 September 2022

Full work available at URL: http://mathnet.ru/eng/mais696

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal verificationpattern matchingspecializationautomatic control systemprocess ontologysemantic markupontology axioms

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• swrl

Cites Work

• Handbook on Ontologies
• A Multi-agent Text Analysis Based on Ontology of Subject Domain
• Abstract State Machines
• Handbook of Model Checking