Methods for Domain Specialization of Verification-Oriented Process Ontologies
| Autor: | Vladimir Zyubin, Olesya Borovikova, Natalya Olegovna Garanina, Igor S. Anureev |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
021110 strategic
defence & security studies Semantic HTML Computer science Semantic Web Rule Language Programming language Process ontology 0211 other engineering and technologies 02 engineering and technology Ontology (information science) Protégé Ontology language computer.software_genre Control and Systems Engineering Formal specification Signal Processing 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Formal verification computer Software |
| Zdroj: | Automatic Control and Computer Sciences. 54:740-751 |
| ISSN: | 1558-108X 0146-4116 |
| DOI: | 10.3103/s014641162007007x |
| Popis: | User-friendly formal specification and verification of concurrent and distributed systems for various domains, such as automatic control systems, telecommunications, and business processes, are active research topics due to their practical significance. In this paper, we present methods of developing verification-oriented domain-specific process ontologies used to describe concurrent systems of subject domains. One of the advantages of such ontologies is their formal semantics, which provides formal verification of the described systems. Our method is based on an abstract verification-oriented process ontology. We use two methods of domain specialization of the abstract process ontology. The declarative method relies on specializing classes of the original ontology, introducing new declarative classes, and using a new set of axioms to set restrictions on classes and relations of the abstract ontology. The constructive method uses semantic markup and pattern matching techniques to link domain concepts to classes of the abstract process ontology. We provide detailed ontological specifications for these techniques. Our methods preserve the formal semantics of the original process ontology; therefore, formal verification methods can be applied to the resulting domain-specific process ontologies. We demonstrate that the constructive method is a refined version of the declarative method. We illustrate our methods on the example of constructing an ontology for standard elements of automatic control systems: we develop declarative descriptions of the classes and restrictions of the domain-specific ontology in the Protege system in the Web Ontology Language (OWL) using inference rules written in the Semantic Web Rule Language (SWRL) and construct a system of semantic markup patterns that implements standard elements of automatic control systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink