{"entities":{"Q1114440":{"pageid":1125189,"ns":120,"title":"Item:Q1114440","lastrevid":49238479,"modified":"2026-01-06T20:11:30Z","type":"item","id":"Q1114440","labels":{"en":{"language":"en","value":"Inferring negative information from disjunctive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083030"}},"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":"Q1114440$8F607741-AF3F-4D92-8FE2-07AF4C491A8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e498c19398232580fefaabba78469d6d8bd598e","datavalue":{"value":{"text":"Inferring negative information from disjunctive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114440$B7345624-D71B-4012-A76C-C6092711556F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d45972ae60b4f7a05164ea02c6f16bb256d67fe","datavalue":{"value":"0662.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$13E99DF3-782C-4F64-A512-0B33453E8844","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eade20798f930eb5185dd78ab9ce30ae9bfa5792","datavalue":{"value":"10.1007/BF00297247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$4D798FE0-53A1-4D1D-973A-3EE73E8C8472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb287f6fc535237ff737ede8746c54c1c06ed4b7","datavalue":{"value":{"entity-type":"item","numeric-id":207606,"id":"Q207606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$AF16CF23-463A-46AF-9F04-969C32574394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"208ac1ecaa576a9cd87315bc45c9115be9ba29b4","datavalue":{"value":{"entity-type":"item","numeric-id":1092678,"id":"Q1092678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$55266347-94A4-4005-968B-4CE8FE1457BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$929898E1-E1FD-4BE9-9B90-B39D884234D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114440$B51609BC-0B4E-4F2E-B037-E8E841A788AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1419740947f00dc901d4932ac954a92f385f92fd","datavalue":{"value":"Basic concepts of disjunctive databases are defined. Various rules for inferring negative clauses are compared (open and closed world assumption - OWA and CWA, negation as failure, generalized CWA, extended generalized CWA, extended CWA, perfect model rule - PMR). The criteria of comparison are conciseness, efficiency, consistency, decrease, inclusive interpretation of disjunction and (logical) invariability.    Two equivalent definitions of a new inference rule, the ``disjunctive database rule'' - DDR - are given. The first of them is based on the concept of a closed set of a database (a subset of the Herbrand base for the first order language of the database). The second definition is based on the least fixed point of a mapping from the lattice of Herbrand interpretations for a database into itself. Properties of the DDR are investigated. The results are extended to the class of layered databases (with predicate hierarchy), where the DDR is implemented as a ``negation as positive failure'' or an ``acyclic negation as positive failure''.    The effectivity of implementation and the problem of query evaluation are discussed. With respect to the given criteria, DDR compares favourably with the generalized CWA and PMR. DDR offers a straightforward mechanism for exclusive/inclusive interpretation of disjunction and for predicate protection from inference rule application. Some open problems involving disjunctive databases are reviewed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$FBB3FDDB-5CB9-4445-AD4A-B73734C75758","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$E05322A9-A60A-4964-A01E-B973F4BF17BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$102E0DF5-A365-46FF-A81B-A4306DAC0040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$5A34AB92-A90A-48A9-8D36-C597C7E03EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e425a1dafb4e7550beb547cf49380d8ba00c4a4","datavalue":{"value":"4083030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$4F26F058-05D9-45A3-A5F6-3D756DBD7FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$569693B4-DBFA-49BF-87E8-DA1ACFC00018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$6AEDCEDB-7E2D-4B6B-AEE5-FD1FE1A596EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f73d941c1546b71781cb05bb057fc31c4c1ec1","datavalue":{"value":"indefinite database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$810866A8-FF21-4EDB-BABE-330642164F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$90DCB877-E067-46F2-9EE1-A9FE8FBB66F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$AD4BFFA7-6CCD-4830-8029-E0993F3B7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$7E8E3AAD-3E9B-4E3F-9DC5-9158641D9BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebeae4cdb5ca662c88eb096f9b586c4c2b084d6","datavalue":{"value":"disjunctive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114440$023DC0F2-1EC8-4B1D-BA03-C8C39ADB0242","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":"Q1114440$86B4D275-847E-461A-B801-B3AAC5CB4361","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$D518509C-414B-487D-910E-87644049F8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$6514457E-B30B-468E-8D08-0EA69923BCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$10884ACA-8904-4199-9835-DBFEA557F7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b7a1d134a856bc125567aa80d7392f42d01ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3706525,"id":"Q3706525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$68255F46-D4CC-468B-B235-59AE3A8747F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9420bb9d5b7e2566718e9c0eb7217865766a4b","datavalue":{"value":{"entity-type":"item","numeric-id":3719865,"id":"Q3719865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$D67713C5-DF79-40D9-95BD-F60DCC716764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9045b20825c460c978bdcf1e5b4c82b3edfc6b50","datavalue":{"value":{"entity-type":"item","numeric-id":3922204,"id":"Q3922204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$F49D00E0-BB67-4276-B234-70221A9DD757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$13068E4B-6A06-4C62-8CC9-35D1C2A97117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1ca2c50c4664b32c07d84a689e4d82d9d4b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702535,"id":"Q3702535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$B375C0BB-0BDC-44A3-90BE-EF86951B524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$13370934-95EF-4801-8DF8-8A856AE7913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$81731F30-15A7-41CF-BA80-2F58920B4100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$CE0B9274-9393-4239-B9C3-D8CCE6297EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0d118b33aef90aecd3a8ab820b8ba2782296b","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114440$246FDD13-6EC4-4AB0-A0AD-A4DDE3FE7A7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"779acd05f0d88009047eb101d6471c7cb6c9660c","datavalue":{"value":"https://doi.org/10.1007/bf00297247","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114440$07DBC7FD-F078-4D60-99E4-FE14CBE5F376","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"851ea7ca30540261ff609ce86e6905ba335cf654","datavalue":{"value":"W1967701834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114440$79C9B113-8B06-45AE-9B19-823184158798","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77558e7c8cabebd488cad30ced901c9b040170e","datavalue":{"value":{"entity-type":"item","numeric-id":3105006,"id":"Q3105006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0e635e361d5285c2cd9ce4b18b6196f9900865","datavalue":{"value":{"amount":"+0.8649336695671082","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":"Q1114440$FB906050-7D4B-4E6A-99DA-ED2060140FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed72e667dffc42a1355f2605337e6ae146b465d","datavalue":{"value":{"entity-type":"item","numeric-id":3125092,"id":"Q3125092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f0eafe58a5f6cbb77ab336dda211a6c2d6fe25","datavalue":{"value":{"amount":"+0.8311877250671387","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":"Q1114440$1D5F1773-E582-4717-81E3-4F6C9A84202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f220619bbb119835cc0b010cd89e30984096cf","datavalue":{"value":{"entity-type":"item","numeric-id":4504012,"id":"Q4504012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe86b259ecffd8386a7378d3d820a178933fc16","datavalue":{"value":{"amount":"+0.8093878626823425","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":"Q1114440$369EBE31-4E9B-43C1-8E89-FF08DE161D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3d7a108aa066c5af910fd45bb2436c39f565ba","datavalue":{"value":{"entity-type":"item","numeric-id":1853503,"id":"Q1853503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe86b259ecffd8386a7378d3d820a178933fc16","datavalue":{"value":{"amount":"+0.8093878626823425","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":"Q1114440$B81C761A-96EB-4067-AE32-BEC0141EFA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abede96576e88c44b8bdc9ac84942190a2d7352","datavalue":{"value":{"entity-type":"item","numeric-id":1901123,"id":"Q1901123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7dc764f7d370cf6540a7a00d95143016cc250b","datavalue":{"value":{"amount":"+0.8037430047988892","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":"Q1114440$ED8D1854-01E7-46F4-B3D9-71624FACA97B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114440"}}}}}