{"entities":{"Q1115428":{"pageid":1126177,"ns":120,"title":"Item:Q1115428","lastrevid":42886225,"modified":"2025-07-15T17:39:55Z","type":"item","id":"Q1115428","labels":{"en":{"language":"en","value":"A four-valued semantics for terminological logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085626"}},"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":"Q1115428$04F191E5-842F-4C00-BC0A-A3F6110CD2A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ca21009495bd267a71c3897227e91e69f79dfe4","datavalue":{"value":{"text":"A four-valued semantics for terminological logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115428$B4EFB3BF-EDF4-4228-9A3C-BAA520A45E4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"085c7208a4f19b5c0270534f29f124e12ca1abae","datavalue":{"value":"0664.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$F6BF2CA9-B85F-4BA7-B881-D83DDEE0F4A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fce12bc9b0ae7ed1342f2d59a8f08aef16cd1d","datavalue":{"value":"10.1016/0004-3702(89)90036-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$95BA1AF8-2377-48F0-929C-79C98C607B4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ead71bb496cbcb553019c9478b7d6a0b70e1c59","datavalue":{"value":{"entity-type":"item","numeric-id":1115427,"id":"Q1115427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115428$3C980A08-C4CE-4727-9C9E-A6F73C5DD69A","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":"Q1115428$246B2077-4474-4775-B5F8-9DE70D7A2EC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1115428$20ADF72F-E88F-4A08-AC73-188857E9498A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5367c637f0139c0feab1ab08218b8cdfbfabc0de","datavalue":{"value":"A certain formal semantics for terminological logics formalizing the notion of frames is proposed. The four-valued semantics considered here includes the possibility to have inconsistent knowledge about some proposition without being totally inconsistent. A detailed discussion concerning the proposed semantics is given in the fourth section of the paper. For concepts and roles in canonical form, Theorem 1 in the fifth section gives a sound and complete characterization of subsumption. Next, an algorithm for subsumption for canonical form concepts and roles is derived from the given characterization. Technical results, mainly the proofs of the asserted properties as soundness and completeness corresponding to the proposed algorithm, are given in Appendix A.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$E1FF654B-596A-456D-B795-2E9D4795EF30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$7E38E819-2C32-4E0B-8024-B7CA4897C4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$11555E43-7CFE-4A2D-978F-CCE061EDEBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$BB1CA3E4-AD96-47A4-B1B1-C845219D77D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$932E376B-EE31-4725-89C0-8CBAC0BB19BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3170f92da0c4c193909a7b184e59e5b0c6c20d43","datavalue":{"value":"4085626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$4D725F52-D293-40E7-9BD6-09CC22AC5B80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$99E4BDE6-E09F-4A9C-A338-67385D97B270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02edbc66619cbb96ce05e33e9a7ae5aa92c5d226","datavalue":{"value":"terminological logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$F1D42088-4C66-461D-A167-F79FA51BBF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$70C6828C-4592-4A11-9B6B-53BCF8A9C58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07cae7c113b41460d6dd7d1639a35ca06361ec40","datavalue":{"value":"inconsistent knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$0A5FC605-F04C-4540-920D-93B5F2E0E6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$F2693B41-79E6-42BF-B10F-96E3D9C209E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115428$A634AB21-6735-4EE8-8272-9A296BD37D3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00dcf12b9a602d9c5eb5566a233851af0f0ed4fd","datavalue":{"value":{"entity-type":"item","numeric-id":469832,"id":"Q469832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115428$7156106E-6C88-4E9B-8D41-02566A51A9BE","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":"Q1115428$A04AF085-A13D-41A4-8895-2851D09A6C6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b33ea6dc6654475f8f746b45df918a1798f0c86e","datavalue":{"value":"https://doi.org/10.1016/0004-3702(89)90036-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115428$0B3CC5FD-D46B-4CD3-BD1D-9EFC93112F44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b724f2d131bd66a08e6ee0c8c835ceaadbed631","datavalue":{"value":"W2064119752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115428$6B44492B-6C23-4FC5-AC43-8778BF0A1B1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115428$8095988D-D20D-48C5-9C55-D0799E11E12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115428$057C0C9E-3856-4E86-A880-CB2C5E753B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2815fc1dcac3d3af1a233b6e9efdc1646b9856","datavalue":{"value":{"entity-type":"item","numeric-id":1104128,"id":"Q1104128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115428$052FF462-CE5B-4933-8B4D-63E8FE7191D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339312962715ac6f2e23382c79f65e9bb5ff1a12","datavalue":{"value":{"entity-type":"item","numeric-id":5740451,"id":"Q5740451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115428$E25667B6-68CF-4DBD-8613-06E680EC7B87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3379421ea6d2a162700d4a2c7087f24c00ba0b34","datavalue":{"value":{"entity-type":"item","numeric-id":1346215,"id":"Q1346215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c70681077e143807f4f8b099adf240c56499f26","datavalue":{"value":{"amount":"+0.9437572","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":"Q1115428$120DCB88-2843-4FF1-AD39-38D030E6D8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef01bd208e768ab5bb2cd030b0b5db6373994e00","datavalue":{"value":{"entity-type":"item","numeric-id":1121868,"id":"Q1121868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b230c44b18da44cd0e5fdbb6b5cae2d87e7e18","datavalue":{"value":{"amount":"+0.92701405","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":"Q1115428$CDEDB84B-3727-49C1-9257-E1FE7454AAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8da8f10c21b92ca85b11b9cc30a73c0e767fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":1876086,"id":"Q1876086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b7a1f88b201bef555375379a12d549d9cf3f07","datavalue":{"value":{"amount":"+0.91760623","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":"Q1115428$AE129ADB-5C0C-4FDF-9C17-9B647E7664C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc1112d40dcecbcb50d4357a6501573a61bd188","datavalue":{"value":{"entity-type":"item","numeric-id":5099993,"id":"Q5099993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87efd299f1e0d66f05867b3e5e3b5968a7ee85cc","datavalue":{"value":{"amount":"+0.89898884","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":"Q1115428$49FA2F64-BE21-4362-B706-F2B872D60AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6e95c5006c3649b71195a94fd618d40d0063d2","datavalue":{"value":{"entity-type":"item","numeric-id":4610338,"id":"Q4610338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9662fd96c8df73250efdb3791db9f464b377d1d3","datavalue":{"value":{"amount":"+0.89854956","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":"Q1115428$2D3C9CF3-475B-49F7-B33C-6DA3D9388A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cd51421d5965693886603d846e86304d5b3273","datavalue":{"value":{"entity-type":"item","numeric-id":3567773,"id":"Q3567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cadeef4e28bf6ab956326a0c4d2e90f3653ddec","datavalue":{"value":{"amount":"+0.8946471","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":"Q1115428$A5DA5ADB-53EF-4B9D-B711-8C010B5296D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf2e07187e1998a0a32a830cda0f99509ad1f01","datavalue":{"value":{"entity-type":"item","numeric-id":4999462,"id":"Q4999462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86806a2f488dccbca6497b48fb3e45d04a92b154","datavalue":{"value":{"amount":"+0.89299566","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":"Q1115428$019129D4-73A5-4968-B7C2-48F5FE85F972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfef2d4b3a38528ae2893a2dd9fff499870a311e","datavalue":{"value":{"entity-type":"item","numeric-id":3018991,"id":"Q3018991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9d261e713bdd655bde293dd3980b5fb8eb36fe","datavalue":{"value":{"amount":"+0.8916833","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":"Q1115428$D026FFC9-9E21-4B41-AF43-5320DE229793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e889bd2b80410876ae1e408f75ca48bb896f9","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d3dc8ed5e8581996c6017dff2bce7291403c12","datavalue":{"value":{"amount":"+0.8872436","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":"Q1115428$61C81758-2269-45E8-BAC7-36D51FA70A75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1115428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1115428"}}}}}