Semantic rules for machine diagnostics: Execution and management
Rule-based diagnostics of equipment is an important task in industry. In this paper we present how semantic technologies can enhance diagnostics. In particular, we present our semantic rule language sigRL that is inspired by the real diagnostic languages used in Siemens. SigRL allows to write compac...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2017
|
| _version_ | 1826265430697705472 |
|---|---|
| author | Kharlamov, E Savkovic, O Xiao, G Penaloza, P Mehdi, G Roshchin, M Horrocks, I |
| author_facet | Kharlamov, E Savkovic, O Xiao, G Penaloza, P Mehdi, G Roshchin, M Horrocks, I |
| author_sort | Kharlamov, E |
| collection | OXFORD |
| description | Rule-based diagnostics of equipment is an important task in industry. In this paper we present how semantic technologies can enhance diagnostics. In particular, we present our semantic rule language sigRL that is inspired by the real diagnostic languages used in Siemens. SigRL allows to write compact yet powerful diagnostic programs by relying on a high level data independent vocabulary, diagnostic ontologies, and queries over these ontologies. We study computational complexity of SigRL: execution of diagnostic pro- grams, provenance computation, as well as automatic verification of redundancy and inconsistency in diagnostic programs. |
| first_indexed | 2024-03-06T20:23:35Z |
| format | Conference item |
| id | oxford-uuid:2ea6f9d0-75ef-4f0b-af4b-8bdcaf44fd8d |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:23:35Z |
| publishDate | 2017 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:2ea6f9d0-75ef-4f0b-af4b-8bdcaf44fd8d2022-03-26T12:50:11ZSemantic rules for machine diagnostics: Execution and managementConference itemhttp://purl.org/coar/resource_type/c_5794uuid:2ea6f9d0-75ef-4f0b-af4b-8bdcaf44fd8dSymplectic Elements at OxfordAssociation for Computing Machinery2017Kharlamov, ESavkovic, OXiao, GPenaloza, PMehdi, GRoshchin, MHorrocks, IRule-based diagnostics of equipment is an important task in industry. In this paper we present how semantic technologies can enhance diagnostics. In particular, we present our semantic rule language sigRL that is inspired by the real diagnostic languages used in Siemens. SigRL allows to write compact yet powerful diagnostic programs by relying on a high level data independent vocabulary, diagnostic ontologies, and queries over these ontologies. We study computational complexity of SigRL: execution of diagnostic pro- grams, provenance computation, as well as automatic verification of redundancy and inconsistency in diagnostic programs. |
| spellingShingle | Kharlamov, E Savkovic, O Xiao, G Penaloza, P Mehdi, G Roshchin, M Horrocks, I Semantic rules for machine diagnostics: Execution and management |
| title | Semantic rules for machine diagnostics: Execution and management |
| title_full | Semantic rules for machine diagnostics: Execution and management |
| title_fullStr | Semantic rules for machine diagnostics: Execution and management |
| title_full_unstemmed | Semantic rules for machine diagnostics: Execution and management |
| title_short | Semantic rules for machine diagnostics: Execution and management |
| title_sort | semantic rules for machine diagnostics execution and management |
| work_keys_str_mv | AT kharlamove semanticrulesformachinediagnosticsexecutionandmanagement AT savkovico semanticrulesformachinediagnosticsexecutionandmanagement AT xiaog semanticrulesformachinediagnosticsexecutionandmanagement AT penalozap semanticrulesformachinediagnosticsexecutionandmanagement AT mehdig semanticrulesformachinediagnosticsexecutionandmanagement AT roshchinm semanticrulesformachinediagnosticsexecutionandmanagement AT horrocksi semanticrulesformachinediagnosticsexecutionandmanagement |