scientific article; zbMATH DE number 7589539

DOI10.18255/1818-1015-534-549zbMATH Open1497.68301MaRDI QIDQ5866352FDOQ5866352

Authors: Natal'Ya Olegovna Garanina, Igor S. Anureev, Olesya Ignat'Evna Borovikova, Vladimir Zyubin 

Publication date: 21 September 2022

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

pattern matchingspecializationformal verificationautomatic 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)

Cites Work

• Abstract State Machines
• Handbook on ontologies
• Handbook of model checking
• A Multi-agent Text Analysis Based on Ontology of Subject Domain

Uses Software

• swrl

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5866352)