{"entities":{"Q2375721":{"pageid":2386464,"ns":120,"title":"Item:Q2375721","lastrevid":56716656,"modified":"2026-03-19T04:00:55Z","type":"item","id":"Q2375721","labels":{"en":{"language":"en","value":"OntCheck: an ontology-driven static correctness checking tool for component-based models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175982"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$7EB01944-F6EC-4ED6-95E2-571075DF6CB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cec2658b7c24b73285beb5a436c261b62cb48b1","datavalue":{"value":{"text":"OntCheck: an ontology-driven static correctness checking tool for component-based models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375721$54135DD0-99C2-44EA-BCF6-9A3177840663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff7423ff69bcd32c29bf801c5c7cee982e14a38d","datavalue":{"value":"1267.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$429F436F-169B-4B08-83E5-81F685B46940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9fc584c029e504daa3c44e7ca2e7141f1d84e0d","datavalue":{"value":"10.1155/2013/934349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$87506666-8C31-43C7-85CF-D77D5D427CBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dcc65ea6e44dd104ad963195a19520e5a095d47","datavalue":{"value":{"entity-type":"item","numeric-id":1322689,"id":"Q1322689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$D2E84E0B-C31B-4D35-84EA-AA907E0F67A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea63c10de86b65224f06f9960912f3933e5e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":2375720,"id":"Q2375720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$D80A582D-A6B7-46BB-B163-A1BBE3798A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3627b82cbdcf824882c2564acab074471f4e73a9","datavalue":{"value":{"entity-type":"item","numeric-id":372855,"id":"Q372855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$27530484-55B1-42EE-8C1A-B1ECB8275516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$E44E01F4-36ED-4164-8E16-FD24FE217892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375721$989D37C9-29D6-4BD4-BF5A-93797D814C71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a143da51e18ac237f1a5b1a22a4b6c3325a92bd","datavalue":{"value":"Summary: Component-based models are widely used for embedded systems. The models consist of components with input and output ports linked to each other. However, mismatched links or assumptions among components may cause many failures, especially for large scale models. Binding semantic knowledge into models can enable domain-specific checking and help expose modeling errors in the early stage. Ontology is known as the formalization of semantic knowledge. In this paper we propose an ontology-driven tool for static correctness checking of domain-specific errors. two kinds of important static checking, semantic type and domain-restrcted rules, are fulfilled in a unified framework. We first propose a formal way to precisely describe the checking requirements by ontology and then separately check them by a lattice-based constraint solver and a description logic reasoner. Compared with other static checking methods, the ontology-based method we proposed is model-externally configurable and thus flexible and adaptable to the changes of requirements. The case study demonstrates the effectiveness of our method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375721$25BA0D94-5339-4920-A5BE-BE28D93E89B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$8F429093-7F3F-4E68-92FC-326F7646031B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4125e1dc9cc4013815d06d30f0538c8912541efe","datavalue":{"value":"6175982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$9798A2E6-02A5-4C01-9BB8-FB91E5F8C6C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3acf3f7b8c13ecb109b240672df6ff52929ef819","datavalue":{"value":"Q59007025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$9487EB83-023A-4E40-9996-317221512B6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0829dbe86038ebf166e85d3ffc458cfa18c7a65","datavalue":{"value":{"entity-type":"item","numeric-id":25911,"id":"Q25911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$77885C6C-D373-4EB9-8CD4-4B4B2E384568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$30EDF17C-CFA4-4F4B-AB19-8EEB707CE9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9de48e5ed16a4f1b19ddac063d5ea05707ecb87","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$8C7CEB26-0118-4661-934E-038318DD4DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$A0ADA513-ADD3-4924-A00B-FE22773EAF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7586dd2f9630ea9876567477c63eade3b96c7904","datavalue":{"value":{"entity-type":"item","numeric-id":29370,"id":"Q29370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$35B01F3C-58F2-482E-8655-F0E62452B3CF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$E73F0ECD-1CD6-42BE-8B51-B7B787056C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5de27436c1908b1e4d83fd731088b4a37d6788af","datavalue":{"value":"https://doi.org/10.1155/2013/934349","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375721$6B405735-AC5C-4F77-B08D-F09BA84B5B12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e83de6f0816411a4b0b2e588d52c884e4a561285","datavalue":{"value":"W2052190196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$C629AF69-984A-4F72-9C5A-F970E7C358CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1975964ca00ecd081b743d3f0fdaffe3d141cd","datavalue":{"value":{"entity-type":"item","numeric-id":4938746,"id":"Q4938746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$FC03E49B-4669-4292-A90F-A16CA3739E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f9c3c22273e8fa59a43a5b9fd38d8a7838ea46","datavalue":{"value":{"entity-type":"item","numeric-id":2729064,"id":"Q2729064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$08C4446B-0A3A-48DF-BA32-3A229C02863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c696a933fde7d3c26b3e02c732e3d49b983d6c4","datavalue":{"value":{"entity-type":"item","numeric-id":1818076,"id":"Q1818076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$9CB62A39-C9A8-4DC4-A982-4E6216CAFAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972a8bf34e7833efe7d50db13efe7b7a685cc396","datavalue":{"value":{"entity-type":"item","numeric-id":4508365,"id":"Q4508365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$A9504475-A986-4EC1-A517-F1C9B85806E2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e0cd0b6bbb464cd56d88bc8e5325e606ce593b93","datavalue":{"value":"journals/jam/LinZG13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375721$52DBB1D9-C9DD-4E1C-8FC0-8FEEC7ED7391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95175ec1eb8da4c0584ad96130f36053fecfe4b1","datavalue":{"value":{"entity-type":"item","numeric-id":4649262,"id":"Q4649262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76e652a07122b8353eef332ebfa36889ed88899","datavalue":{"value":{"amount":"+0.6615437269210815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375721$E81CC712-E8C5-4F1A-99B2-86751E93200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1052ae5fff4416f08d055a557cdff6af32a6bca9","datavalue":{"value":{"entity-type":"item","numeric-id":3105095,"id":"Q3105095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf55c68ee89b8be9b537d30b07f3e0bfc533ff1","datavalue":{"value":{"amount":"+0.6601290702819824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375721$487D0380-B2F4-49EB-85B8-3C2113E0AB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc02279d0d754f0e754d9298236a76443ef7b51e","datavalue":{"value":{"entity-type":"item","numeric-id":3525108,"id":"Q3525108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecbef0d8c6bbab6eeecba95d6174e8b4d154f31","datavalue":{"value":{"amount":"+0.6544289588928223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375721$1D0157C9-73CB-4C07-9EB4-16D1CFE57163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e738b1d921d739ee4119b3689c1daaabdcab22","datavalue":{"value":{"entity-type":"item","numeric-id":5309502,"id":"Q5309502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b3664117ea8aee2c8e7c6076a9cafaf1ae5405","datavalue":{"value":{"amount":"+0.6466940641403198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375721$A9935157-DC7C-4A3A-90D9-746F6EEF0FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ba74f36482fbf00c56cd8387ef7b2b4ff080c","datavalue":{"value":{"entity-type":"item","numeric-id":2065528,"id":"Q2065528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebf8c73775bd34ac03c57b93f80faaef5f73e0f","datavalue":{"value":{"amount":"+0.6413552761077881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2375721$F03E8E71-79AE-403A-A3B7-2ADE9434DA24","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375721$7EEC86AE-A2F0-4C07-8D7B-6984127F471F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2375721","badges":[]}}}}}