{"entities":{"Q866190":{"pageid":868038,"ns":120,"title":"Item:Q866190","lastrevid":64944066,"modified":"2026-04-11T23:16:38Z","type":"item","id":"Q866190","labels":{"en":{"language":"en","value":"A programmable approach to revising knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128648"}},"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":"Q866190$65417C29-CF14-49ED-AD3C-6332C5B0D975","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89dd553a468e9d06a78cdc3dd0e4782e12aceaad","datavalue":{"value":{"text":"A programmable approach to revising knowledge bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866190$7215914C-0FFE-41E2-9437-42AB1046571F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a392227effa49857bc17666e109f70ed50a5e3b7","datavalue":{"value":"1161.68788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866190$609D0CC8-06C8-41F0-88D4-E52F117769F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01526c02f28b41b9f3a3d1a59e1a780221c30cdd","datavalue":{"value":{"entity-type":"item","numeric-id":866188,"id":"Q866188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866190$0A6CD6EA-3502-43DA-8138-48B49454DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bf4b1bf94036b5252d1b8d5cd4b3a1ff96c3d77","datavalue":{"value":{"entity-type":"item","numeric-id":866189,"id":"Q866189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866190$0F85C03C-180E-4E95-9BCA-AF5AAB5AAEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866190$2EB7A03A-CEAF-438C-B8C0-CF22F09F4C6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866190$74B48413-70A1-4EDB-99EE-9861A11D3191","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866190$457C1EFF-BF95-4923-A908-2CFC03AB239F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6149d2483538d3a14b45a16b483b3effd57c24f","datavalue":{"value":"This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866190$7DFEFF47-C84C-4700-8308-103336614420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866190$E3DF4984-506A-451F-A6D8-6BBEC60DC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866190$44E502E2-EC40-45CF-909F-77BBCE460AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866190$B01B7F75-C64C-442B-9501-45094BBC8963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866190$3977AB53-EE96-4A94-9F7F-EFB16E0E3B41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"679f898e4a270051b722b9c11fa491503618995c","datavalue":{"value":"5128648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866190$24A7F69D-2E8B-4C91-BAA0-021B92BDBC8E","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":"Q866190$15935ED8-7361-482B-9091-C839A7B933E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7263412e6ec9f7e8b1378501d04f82d47d08d435","datavalue":{"value":{"entity-type":"item","numeric-id":1400054,"id":"Q1400054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44433c57653302389fa578cc19b46f8bbb6e23b","datavalue":{"value":{"amount":"+0.91923165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$9B1338CA-E746-4493-84C0-466B4742B5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a63a882f87e00b81604aa63d98b58205d4a8961","datavalue":{"value":{"entity-type":"item","numeric-id":3533147,"id":"Q3533147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2747e2813b712b5be4c0033977769c7f91a447d","datavalue":{"value":{"amount":"+0.91003346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$C8D384CE-E98B-46C1-A813-3821AD0EE28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b301945394c4a9631eaea0b3f722562bdb121","datavalue":{"value":{"entity-type":"item","numeric-id":4293716,"id":"Q4293716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c98acdb60b0c7169275a5fae94947999ac373","datavalue":{"value":{"amount":"+0.89560676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$CA70960A-2A0D-4218-B37F-0F4F6AE1E4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eace8f02565b6dfbfaf94e2977145675a256ad3b","datavalue":{"value":{"entity-type":"item","numeric-id":1602965,"id":"Q1602965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359a7c01aae92fe30d736079bcda5b726f1a617e","datavalue":{"value":{"amount":"+0.88715494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$66C0D81F-4EDE-4F16-9DF5-814D014B682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeb2aaeba4a86b3a8126913f2f4bdbd988194a9","datavalue":{"value":{"entity-type":"item","numeric-id":4229567,"id":"Q4229567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4451c3f71b43761a9cd7590b5ce812cd631d6e0d","datavalue":{"value":{"amount":"+0.8833084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$2FE0A8DB-1232-46D7-B109-54158DB92F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a9d0a2d317f4ab12a555c4dc131b42730a466f","datavalue":{"value":{"entity-type":"item","numeric-id":1189876,"id":"Q1189876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae4aec278491a9783330d35a1041dcccfbe6b5e","datavalue":{"value":{"amount":"+0.8817165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$3D3FE6AE-B1D7-48CD-ADC7-06B00635AA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8af5939a747076e4e7efe78b4a87cd3f4e37c11","datavalue":{"value":{"entity-type":"item","numeric-id":4546702,"id":"Q4546702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d34c4dd04346e540163ba7727d915f1b0e6193","datavalue":{"value":{"amount":"+0.8811565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$C6E2DE95-6457-4D9D-B67A-8E102B5A7515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4296697b1ebd8412dc125e2089c4038f7beeb29","datavalue":{"value":{"entity-type":"item","numeric-id":4450849,"id":"Q4450849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6817db41c33f5a65544b747661a654d2383d821","datavalue":{"value":{"amount":"+0.8772737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866190$4FF8B6D5-F842-4469-8A19-7E4E6F13BB42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A programmable approach to revising knowledge bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_programmable_approach_to_revising_knowledge_bases"}}}}}