{"entities":{"Q686642":{"pageid":688491,"ns":120,"title":"Item:Q686642","lastrevid":63718389,"modified":"2026-04-11T15:04:25Z","type":"item","id":"Q686642","labels":{"en":{"language":"en","value":"A logic for programming with complex objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 428585"}},"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":"Q686642$1DDD2465-3928-4D8C-9B05-9DE4A64E9078","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec877508ae785b73b91f551a8212fba07f031d23","datavalue":{"value":{"text":"A logic for programming with complex objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q686642$E38893D7-5227-463E-AE1E-EEBC77C60B23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8ceeee9609718638c5c1d45cb726b2818e4b57d","datavalue":{"value":"0785.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$AFD6B288-34B9-4D32-9852-F2BC87027049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2853c40877a150696733b962038bbbd1cee610a","datavalue":{"value":"10.1016/0022-0000(93)90021-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$C0AF1E59-0DDE-4850-9D2B-FEBEDEEE0758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$89856B00-8470-434C-95DA-361BC2954B49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$584998B2-3A34-43C2-8E25-322ADAE422DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9ee486378a5fb0f84338329fe78e00d0957904b","datavalue":{"value":{"time":"+1993-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q686642$450D7A32-260D-44FC-9CCB-6D376A5979C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7976b09311503efc94a9ef399ef5786617319ec","datavalue":{"value":"A repaired and significantly extended version of Meier's \\(O\\)-logic is presented. The logic is aiming to combine object-oriented and deductive approaches to databases: the authors present a logic language with a well-defined semantics that extends predicate calculus and accomodates deducing with complex objects and object identity.   The syntax of the proposed logic is based on an alphabet consisting of object constructors, single-valued attributes, set-valued attributes, class names, object variables, logical connectives and quantifiers. A model theory is given and it is shown how predicates can be encoded as \\(O\\)-terms and a direct semantics is presented that does not appeal to this encoding.   Concepts of a deductive database, query and answer are defined. In a series of examples certain capabilities for set-grouping and inheritance modeling are given. Inconsistency-tolerant attributes are introduced. It is proven that \\(O\\)-logic is a syntactic variant of a predicate-calculus- based language. A sound and complete (resolution-based) proof procedure is presented.   A logic programming semantics is outlined and it is shown that perfect model semantics can be adapted to \\(O\\)-logic. A note is devoted to the relationship of the \\(O\\)-logic to frame based languages in AI.","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$AC7BBE19-9189-4AE5-B1F0-68BA09505A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$6D0E6687-9986-4797-8701-39B7DBB57399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$AD957DED-0350-4CF0-88D6-84705161007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$79BCA112-E726-46BC-85A9-4826968B1A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$859E75CF-AD9E-45B3-A701-073A43AADB7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db1466544e5f004807581ad4d4bedb985a25f7e7","datavalue":{"value":"428585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$645E05DE-8A76-4C67-A1DA-03AF570DCEDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d8340814a61d97ed83302af7f63087f6b9945e","datavalue":{"value":"object-oriented databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$FF6F380E-5531-47C3-9AD2-8008143BC9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ad7a2e2a9ccd4727bf00b085f12c8ef6a8ce0a","datavalue":{"value":"deducibe databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$B352BA0A-8468-4684-89A2-28C26B308BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef49a4a6c5014f13c2ba1c89905b7703a67f73dd","datavalue":{"value":"complex objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$E0B65467-DB47-421C-8B68-9220E43B6FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad8b68d9060f64356ffbf1a1284f059a2495904","datavalue":{"value":"object identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$00B0F869-C584-489F-9192-7B4C15D54494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c73b2fface4ec257480b4fae84e91b592004fc","datavalue":{"value":"object logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$6364D340-387C-451B-82F0-ACF0F44166FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b936c2cf0d2a2cc2c937c5c808a2700e1a2d5fa","datavalue":{"value":"Meier's \\(O\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$0520D46B-69FF-43A0-83E2-349697D0C214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q686642$4429EEAE-4519-4191-8128-5A64B2C4C8C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f16d300f1af622676dccb372accc3bc0c9d577af","datavalue":{"value":{"entity-type":"item","numeric-id":588374,"id":"Q588374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$3F4F8190-5367-4432-83E9-631E27B4E94C","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":"Q686642$CCCCB4BA-2C74-4306-A7FD-B3170EDF8CEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cbb3aa48ddda3763cade8fec263288721c7002","datavalue":{"value":{"entity-type":"item","numeric-id":3158521,"id":"Q3158521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$2B4F257B-2606-4B66-A994-F94C97DFFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$40E0F52C-8CC0-4407-8A06-0B830343E2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19bcc8ceeae09bfe2823325d7d61b377dc18bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5597535,"id":"Q5597535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$3DB796BC-4585-4E27-A486-C72288F0791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f7af87c85d92c5774b1ac0ff37f2736cd97c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239606,"id":"Q1239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$E6325C8A-A703-4249-8158-C97D01A790FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$39C63B20-67E4-419B-8554-C4F27306445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$15312E37-AFF5-4334-834C-94F18DB9D0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e65d73ae8ce50631a13a2e25599a048bc2eda73","datavalue":{"value":{"entity-type":"item","numeric-id":4158479,"id":"Q4158479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$E27111C5-988D-44C3-8D8F-8469BB77D599","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":"Q686642$CC666314-2B6E-4DEF-8662-EDADB90E6997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1910b377ac42e096bae487e500284d3b5a4554","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$BA061A54-384A-4CD8-AA2C-DF72A57B0749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383596c7821a999d1b94718b8988596046380f7","datavalue":{"value":{"entity-type":"item","numeric-id":688558,"id":"Q688558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$95B18777-E604-4F17-9BF2-5A9D2E5DB957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$64230D5F-89D4-4D59-8DAE-6D29BE7B09FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$3B191F43-2D64-4193-80C2-220D2A8190D6","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":"Q686642$CF695D2C-A0AC-4BBD-8BC3-199FF4FC76EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80968684c63305a20ba2db314ea71acb0a7de57c","datavalue":{"value":{"entity-type":"item","numeric-id":3814847,"id":"Q3814847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$648A77CC-8C0D-40F7-9D13-1EB0A2E775E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71da3a0fe68bda320e93745444f707cd5e728286","datavalue":{"value":{"entity-type":"item","numeric-id":3777499,"id":"Q3777499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$6D9302A3-9F21-4FD3-82F8-7EF59C1A44C0","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":"Q686642$F6AA077E-9BDB-499A-9A36-FA34F0E4F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db4828c7fab26ad356c64453834c24c3294ede","datavalue":{"value":{"entity-type":"item","numeric-id":3348436,"id":"Q3348436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q686642$FC4E6695-B0C6-4587-B90B-382E952F5D53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a7f6397ed8517684282d63c432afeb4c0baf752","datavalue":{"value":"https://doi.org/10.1016/0022-0000(93)90021-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q686642$3CF4A797-3328-4F21-AE45-1B926A18F2BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10ea87a57eca14d729a8ef28616eecea7f349255","datavalue":{"value":"W1998775102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q686642$29491461-1BFB-4196-AB17-16A1EDE4A530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ba3038fd3db031e5d33c616f57d63ef877e453","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1aac0beeefd9309e76e461d0a9cc76560720a9","datavalue":{"value":{"amount":"+0.8243830800056458","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":"Q686642$590907DF-34A5-4557-8A6D-93CE7273965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e6084f64a9ee70ae91071b642c983a0709062c","datavalue":{"value":{"entity-type":"item","numeric-id":918674,"id":"Q918674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e45eb6a3bb772ce22fd003e48535a7e5c94838","datavalue":{"value":{"amount":"+0.8182957172393799","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":"Q686642$2DBF4B19-4C6A-4633-8084-C20E867B5A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8746bf17d029aa3250e77493cb13b45fec4d92","datavalue":{"value":{"entity-type":"item","numeric-id":4287504,"id":"Q4287504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf4fc1c60d41b34b58e9ca48a75805c91257c3d","datavalue":{"value":{"amount":"+0.8167524933815002","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":"Q686642$B4598F30-E9AF-433B-93D9-375E1B897DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89808e4700bc092fba6a53fdd097a71379c6c207","datavalue":{"value":{"entity-type":"item","numeric-id":1368186,"id":"Q1368186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf4fc1c60d41b34b58e9ca48a75805c91257c3d","datavalue":{"value":{"amount":"+0.8167524933815002","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":"Q686642$55540D55-6042-4FC4-B8EB-C07015D645AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d435c36c68e786ecc1bdff6905dcd3e89d9e43aa","datavalue":{"value":{"entity-type":"item","numeric-id":4858576,"id":"Q4858576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38d2f0266347df590c84bb54dce94a79ba598bf","datavalue":{"value":{"amount":"+0.7992628812789917","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":"Q686642$E93E7005-D8A9-4D52-9505-26D51A7631D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for programming with complex objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_for_programming_with_complex_objects"}}}}}