{"entities":{"Q1114429":{"pageid":1125178,"ns":120,"title":"Item:Q1114429","lastrevid":66157641,"modified":"2026-04-12T07:56:23Z","type":"item","id":"Q1114429","labels":{"en":{"language":"en","value":"Set containment inference and syllogisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083020"}},"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":"Q1114429$6A05CD98-2B2C-42F6-9958-9260393FF205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96efbcd87f3d01e9a32502c05aff76f022eb4187","datavalue":{"value":{"text":"Set containment inference and syllogisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114429$877083BE-FD4F-4823-80F7-6E3656EE78DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a114821bb96d9bb33985c2a4a0a34e07655e26d5","datavalue":{"value":"0662.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$735358C9-50E5-47E8-B5F0-4B35EEA23D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cd8890ec2508c5988deae25e27d011f098a22ca","datavalue":{"value":"10.1016/0304-3975(86)90011-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$5444B00D-D55C-4381-8B1D-0888A95CFBFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f5fa4e349202b183360a326accd3b7ff4c5a51f","datavalue":{"value":{"entity-type":"item","numeric-id":429438,"id":"Q429438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$E3E6BCCA-1835-46E5-A2F8-4C2A3E8021E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59aec1aa4fbcdb45a08454db6c9c78e39f85cebb","datavalue":{"value":{"entity-type":"item","numeric-id":1114428,"id":"Q1114428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$0ECAB888-7C4F-48C4-9912-B08133BC609C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$3502F558-5EB2-4D74-B7D3-4C20CAC9B647","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":"Q1114429$92F7C495-702E-4EDC-892C-6FE4D7D27BC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"171f4cdd886ed0b6743a3a800c431a091acb7a05","datavalue":{"value":"Type hierarchies and type inclusion is standard in many knowledge representation schemes. In this paper, it is shown how to determine consistency and inference for collections of statements of the form: ``mammal isa vertebrate''. These containment statements relate to contents of two sets or types. The work here is new in permitting statements with negative information: disjointness of sets, or non- inclusion of sets. It is shown that binary containment inference is solved by rules essentially equivalent to Aristoteles' syllogisms. Necessary and sufficient conditions for consistency as well as sound and complete sets of inference rules, are presented for binary containment. The sets of inference rules are compact, and lead to polynomial-time inference algorithms, so permitting negative constraints does not result in intractability for this problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114429$327D698F-6817-43B7-A0F7-EE9F93289441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$0EFC8A02-7FA8-41AA-82E8-45AC8FB8BDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$71C6304C-A25F-44B9-B2F5-C1739C62280F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$B28BB362-5A3C-4A51-AF43-FA4D9A057178","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1320f5528e6b5e6b5ccdfa3151317cc368269a74","datavalue":{"value":"4083020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$69B642AD-6285-420D-AEE7-0B0396FB5B54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84b62918c8ece441c28ce62e80dec713783fc3cc","datavalue":{"value":"knowledge representation schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114429$1E5AD4B5-44A9-4772-AC48-B1E029268738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114429$09047BF5-F631-4B0B-A676-779F1F5BCFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be00d46d452537bfd68f7da9120d2bdfca1279a0","datavalue":{"value":"binary containment inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114429$5DA2A234-C008-4B27-9B76-5CDF43360EB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c02eab19fe38022208c1aa0259cbb3e7842cae11","datavalue":{"value":{"entity-type":"item","numeric-id":1059387,"id":"Q1059387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$AC9A4022-4019-479E-8ADC-96D440FFF0D1","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":"Q1114429$30C29C8D-ED96-42FE-9007-059BD5AF0B92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e4cc127d121cce4c04eed9ec183679d6b2689c7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90011-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114429$B6F94953-8740-4439-BFD2-3BBAF391FCD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27c4ced8579227db0e40d04bd8aa2ef3d6146047","datavalue":{"value":"W2010611126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114429$C4FBD41B-1EF4-41B0-B083-444BDBBE4E54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$7DA17F3B-766D-4C19-A5FE-427C7CEC4D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e13640741728296f19b0ce184cd77725fd58dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3696560,"id":"Q3696560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$504532D7-82BF-4C3D-B995-467875005A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb182bc633207b057d2bc1234a27fa1a002dee4","datavalue":{"value":{"entity-type":"item","numeric-id":4742734,"id":"Q4742734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$E38AC5D8-65BD-4A92-B421-6959A67FE915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$1D6B84D9-55EB-4D07-8F24-73E3236581B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$0EF6830D-981D-4B38-8F17-90367F110E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$87314E10-D3A4-48A7-9D10-F3B92E283212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d1d1cb66d27d2e53aba37392ad47b61e11f859","datavalue":{"value":{"entity-type":"item","numeric-id":3326832,"id":"Q3326832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114429$01A4A638-0D93-428D-87ED-D98CEFD52BB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f74f44e5c39da8c5b3c0525e1344e0c8a163ac","datavalue":{"value":{"entity-type":"item","numeric-id":692203,"id":"Q692203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536e64ed18a3cc382062694a66e1680951aec831","datavalue":{"value":{"amount":"+0.7324479818344116","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":"Q1114429$DA0D4407-1F04-42E2-8DDC-20ACF513E713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ea2b8dd1d0272a11f2ed06d4e239c53bd726c1","datavalue":{"value":{"entity-type":"item","numeric-id":1380407,"id":"Q1380407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5474bb5bf033a750b34db57deb193d7bf737f3d5","datavalue":{"value":{"amount":"+0.7074132561683655","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":"Q1114429$61298153-02C7-4807-8840-0E841F69C881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c438a58924de2b8232c8e42a6dc014b3d28531","datavalue":{"value":{"entity-type":"item","numeric-id":5286163,"id":"Q5286163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398726685deca7900d0edd77da7d0914f817773b","datavalue":{"value":{"amount":"+0.7003911137580872","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":"Q1114429$D766922C-9DB1-45E0-9CCD-5253882AEEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d2fc90af10e0c76fb1aac5fc7eecc96fac00cd","datavalue":{"value":{"entity-type":"item","numeric-id":4864472,"id":"Q4864472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f2b712dd9ce74f481b8a949c697840849e1a7e","datavalue":{"value":{"amount":"+0.6934298872947693","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":"Q1114429$05AF564F-35F6-4545-A0EC-9A0A1DE6CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051b3b7e3c4eebe35edf414675e752b3b47a1bb0","datavalue":{"value":{"entity-type":"item","numeric-id":4028788,"id":"Q4028788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f2b712dd9ce74f481b8a949c697840849e1a7e","datavalue":{"value":{"amount":"+0.6934298872947693","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":"Q1114429$A5B5C303-438B-4329-A7A5-DC5DF5A852BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set containment inference and syllogisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_containment_inference_and_syllogisms"}}}}}