{"entities":{"Q685338":{"pageid":687187,"ns":120,"title":"Item:Q685338","lastrevid":47188720,"modified":"2025-12-31T23:08:57Z","type":"item","id":"Q685338","labels":{"en":{"language":"en","value":"A theory of nonmonotonic inheritance based on annotated logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417256"}},"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":"Q685338$78440221-60E8-4447-ACF6-5E8AA99ED713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20fcdc670a3d5692dfde7e2e7f52b59fcc782a2a","datavalue":{"value":{"text":"A theory of nonmonotonic inheritance based on annotated logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685338$EDC5828C-AD37-40D0-990B-54A45D87EA10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5891dcd0ce901dd960d0ef7325b86924c818c574","datavalue":{"value":"0778.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685338$0FC97BBC-97C6-456D-9903-B891BF830F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ec0e4e0cced1b3d96eef5e89c5e6f056f1f610","datavalue":{"value":"10.1016/0004-3702(93)90033-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685338$B00EC8F2-D243-4197-B1F7-91E9DF096C76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3875110186352248618216b81fa4d2122e5be3ad","datavalue":{"value":{"entity-type":"item","numeric-id":169913,"id":"Q169913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$570ABB17-C442-4DD3-AA59-06EF0637EE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08b937e0ab9a74f2f0b6de42933eb99eb08c5bd","datavalue":{"value":{"entity-type":"item","numeric-id":685337,"id":"Q685337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$AF29E8D5-3352-4997-AD91-C78652EC9EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$B99FD48A-C63A-4320-92B0-2DADD4B27BE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729108c69527af72f2ca1b9041a9358219bdc1fc","datavalue":{"value":{"time":"+1994-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685338$53473FDC-72B1-4A1D-AEAB-8DD41495FF9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96d718fce6831e06267d1f03f05e30695e9d1a38","datavalue":{"value":"We propose a logical language for representing networks with nonmonotonic multiple inheritance. The language is based on a variant of annotated logic. The use of annotated logic provides a rich setting that allows to disambiguate networks whose topology does not provide enough information to decide how properties are to be inherited. The proposed formalism handles inheritance via strict as well as defeasible links. We provide a formal account of the language, describe its semantics, and show how a unique intended model can be associated with every inheritance specification written in the language. Finally, we present an algorithm that correctly propagates inherited properties according to the given semantics. The algorithm is also complete in the sense that it computes the set of all properties that must be inherited by any given individual object, and then terminates.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685338$0439C228-1634-41B6-9C4E-F7698C5F11FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685338$DB0F2482-7CAF-4B8A-B0AD-C773D2C9BB17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a0a5f9ff4c1f1ef7382e6f3df0d5cef4d649f3","datavalue":{"value":"417256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685338$6EA9612C-E4F6-4786-A3EB-794F2E5A62E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc19c8815c11ade39d8ab46378e880776372dcb5","datavalue":{"value":"networks with nonmonotonic multiple inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q685338$22FA2B56-5709-44E1-9800-A2B942789884","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":"Q685338$7BEAB69E-1CE3-4E83-8EEE-AA21C11A3147","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9936db905a61879f25da5bcdfc659c2437132753","datavalue":{"value":"https://doi.org/10.1016/0004-3702(93)90033-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q685338$7DB76F08-29E5-4704-98D1-6C7F81FF089A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1e1a0fe3a7b1540c6ef08af6e5cb303a534097f","datavalue":{"value":"W2074510157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685338$A53ED0A6-22D5-4862-B263-C338F02E3BB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc1a65955f9d6222da1260ea0ca5f14b77c3da0","datavalue":{"value":{"entity-type":"item","numeric-id":3200585,"id":"Q3200585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$DF6D235D-1670-4FDD-9B77-5E1B8EFBBBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$517D4BA0-7620-4083-8867-EF6D932E75FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d482f64dc32214208a1dac51ed6b08eadbfb","datavalue":{"value":{"entity-type":"item","numeric-id":3768366,"id":"Q3768366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$0255ABD7-1295-4B31-A857-8A4E933C1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$CF897185-CADF-408F-8212-207CE095FF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5823f862e0778527b8ffb195b979f07ae97fbd20","datavalue":{"value":{"entity-type":"item","numeric-id":1103607,"id":"Q1103607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$EE773F0C-B4F4-4D74-9251-C17BEFEC866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$1F3C4901-FF77-4C14-BBD3-B6C0BF806312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634f33c6989edf6f6984b6e2aab501586edeb607","datavalue":{"value":{"entity-type":"item","numeric-id":2638811,"id":"Q2638811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$B9C967ED-778C-4D1C-AD39-1232AA654747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a28588d59de811af09a1d765f6da8f58b178e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3798294,"id":"Q3798294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$0FAB419F-4244-4367-893A-5B30D22399E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$C478F878-4183-48B0-9C0C-491EE1BC4A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c11d772868337b5e20c7d064c45e72aa728c595","datavalue":{"value":{"entity-type":"item","numeric-id":685497,"id":"Q685497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$830FA3CD-251B-4400-BF93-CF2C0B9C46D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3307090af521f626287c0ffe76d759d895536701","datavalue":{"value":{"entity-type":"item","numeric-id":3198883,"id":"Q3198883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$0E246A94-55FC-4C36-BCD6-C9B1E28FD58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd263dd5909e783f6105dcddfc14612cf63db548","datavalue":{"value":{"entity-type":"item","numeric-id":3200591,"id":"Q3200591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$A45F0B54-9D4E-4119-816A-3AF2EB5D2B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$5DB20549-E449-4AD6-8C24-67A1B28E8522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a698b74182f8539e08ec5cab34d90e3772b382","datavalue":{"value":{"entity-type":"item","numeric-id":3198887,"id":"Q3198887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$D8158BDC-ADDE-4E54-9F38-C8A86C3D27CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$94D6A81C-01CF-4525-96BB-ED36440848AB","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":"Q685338$D1BF9E91-A97F-48A0-98C9-0B5AF19B102E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058f062727950d52cf1c781351f7d5770f804bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3200595,"id":"Q3200595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$B3072E4D-62A7-4F21-A9E8-AD2EE43CA60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431017db88fd3b93438629df2a1e02653969c565","datavalue":{"value":{"entity-type":"item","numeric-id":1124380,"id":"Q1124380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$D316AF7E-D97F-4A0B-83A0-17DAAEED0C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eeeafcae5ebf7af89e00e5d274045fb644eb87","datavalue":{"value":{"entity-type":"item","numeric-id":3200596,"id":"Q3200596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$E9023D8B-F940-4572-8DC9-E261A13E62F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41175386de351d750c59cee9bd83fb6bfaa0c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3829538,"id":"Q3829538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$3E944EF5-2EFE-44E2-9046-F354182E72E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6053278ad8ab4cca5aeee0e3f4904ae4bd51cb89","datavalue":{"value":{"entity-type":"item","numeric-id":3992826,"id":"Q3992826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685338$45915903-7267-4419-8D46-FB512DAC1CA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804914618fa384a20319ecb401627700aee95bd7","datavalue":{"value":{"entity-type":"item","numeric-id":3200591,"id":"Q3200591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbd8dbdf8a6b2a206f0a996eaacfe8a5d571cbd","datavalue":{"value":{"amount":"+0.7892054915428162","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":"Q685338$B109D47B-1BB3-4B16-8997-15E27AD885D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce0ada8dda61454a11d099920d7e331ed0f928b","datavalue":{"value":{"entity-type":"item","numeric-id":2638811,"id":"Q2638811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09451b590a518fd49204d54ae80d9dc2afde5f9","datavalue":{"value":{"amount":"+0.7804581522941589","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":"Q685338$4AF3ECE6-3FC8-46DC-A53B-E765593262C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5e97cb78df1730cc14d0190cabada79e9da87e","datavalue":{"value":{"entity-type":"item","numeric-id":3198883,"id":"Q3198883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748d0848702e6bb3a2457e6cf4d3ba5e8ce53d22","datavalue":{"value":{"amount":"+0.7797670960426331","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":"Q685338$BB74C270-4AA9-4D7F-BEE4-0910E97617C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7590c9473bea22a56d1208fe23e59963e512753","datavalue":{"value":{"entity-type":"item","numeric-id":1193489,"id":"Q1193489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f63dec0cfaf05dc0c7020d7f681624a4c4c95a","datavalue":{"value":{"amount":"+0.7765137553215027","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":"Q685338$5FDF747D-2DAA-498D-99B8-B350A2F84091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe64abf7b06ea33ff9f0fb1400f597408c1c4588","datavalue":{"value":{"entity-type":"item","numeric-id":3993670,"id":"Q3993670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f63dec0cfaf05dc0c7020d7f681624a4c4c95a","datavalue":{"value":{"amount":"+0.7765137553215027","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":"Q685338$B81FD7F3-E423-47BF-9D52-9C335E2A7CF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685338"}}}}}