{"entities":{"Q2336201":{"pageid":2346944,"ns":120,"title":"Item:Q2336201","lastrevid":57312819,"modified":"2026-03-30T09:29:38Z","type":"item","id":"Q2336201","labels":{"en":{"language":"en","value":"Semantic consistency checking in building ontology from heterogeneous sources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131380"}},"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":"Q2336201$6EE7F0E9-F45F-435E-AAFE-32E394C2CB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798517ec781fb91830c62e07e3a3858c3e663c0b","datavalue":{"value":{"text":"Semantic consistency checking in building ontology from heterogeneous sources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336201$7BC5ABFF-40E7-4570-9262-4B15BF192B74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae12e70ca0c7f8f32c2a0133f5a45d67dd3a7bdd","datavalue":{"value":"1437.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$AE38C6F9-3FA6-4435-8BF5-E108044E467A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ae7dc85d855ee8df55d315c22576dbcf25d199","datavalue":{"value":"10.1155/2014/181938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$EA823C1F-3128-4DA9-BDFB-34EC3C30D217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c296ea357295d0c63ac331467eba26817415823","datavalue":{"value":{"entity-type":"item","numeric-id":1667078,"id":"Q1667078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$40CD0D77-91A3-426F-97E7-DBC7944B7335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4a5a54a621b19d48a1bdb28e9166ed9e18d050b","datavalue":{"value":{"entity-type":"item","numeric-id":1666121,"id":"Q1666121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$2C37EDAA-7B8B-4247-9F2B-863DDE8E97BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$F074DB04-56DC-4DFA-AF1B-26C996A435BE","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":"Q2336201$B28C13BC-F7EE-40E6-933D-5E931342118E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2336201$B8F60F27-9AE4-4B77-AE5B-9CB5361D27D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81e1173543147b0e879c7b88a3e360ddaecffa03","datavalue":{"value":"Summary: Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology. In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology, which could extract a domain ontology from structured and semistructured data sources semiautomatically. The method translates the middle model into the Kripke structure, and consistency assertions into CTL formulae, so a consistency checking problem is promoted to a global model checking. Moreover, the feasibility and correctness of the transformation is proved, and case studies are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336201$52BFB726-B834-4286-9613-F1C16008A3C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$C7B54A4D-93EB-4912-B2B0-B7D9FCDED028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$D17F6C97-CC22-46ED-A8E1-7047903FB3EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17ac0e0051d8875de6d1a8fffb6254ff629fe7ed","datavalue":{"value":"7131380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$49A74605-9697-4D90-B025-3A643FBBF759","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$3E4CDC7A-0266-4A88-962A-C0C7A472FB90","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":"Q2336201$2BF437C0-019F-46B3-95CD-426ECF379F5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4551d5578e4069b644b1c650d18e57b1b46b8bbe","datavalue":{"value":"https://doi.org/10.1155/2014/181938","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336201$13941B38-D1E6-4DCB-AE3B-A8E5449C247F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fe1910f8bf4dd77a2254ffb3f25919f1aeaea3b","datavalue":{"value":"W2119978016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$FF656BB5-964E-4D0E-BF77-6D9FE36A6C56","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b55c0f5048e9d0a765fedb7cfddde6f52e5c2c9","datavalue":{"value":"Q59050113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336201$1ED96BDF-5CD5-483B-BB1A-541515A3B3CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4904cf5db3f3bae422c4c5e1b2c7f304abbb8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1749228,"id":"Q1749228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$D5DF0CCF-B61B-46AD-ABCA-507BCB64B2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$9F17991C-7D9E-4CE2-9818-A5688FE75C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$93050A13-7538-4357-9383-ADDB0036C43C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629d54a7c2bc25c8fe1d77450a15d0de26bda0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3044643,"id":"Q3044643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f19a87b6510b85cf1272624efde6720523e975f","datavalue":{"value":{"amount":"+0.93490046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336201$3691C440-9F46-46E8-9830-B88026C833F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e97194a643a1010c23298112155fa0e6b14bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3046821,"id":"Q3046821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80dca81a55a4d4a55cbab5b5079cb094d0cac27","datavalue":{"value":{"amount":"+0.8635591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2336201$8034645A-8732-4788-84B9-056F26BA30EB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336201$CF8C7491-9E5D-43A6-8B68-AB0AC5C4D41D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2336201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2336201"}}}}}