{"entities":{"Q685542":{"pageid":687391,"ns":120,"title":"Item:Q685542","lastrevid":78195830,"modified":"2026-05-06T11:01:00Z","type":"item","id":"Q685542","labels":{"en":{"language":"en","value":"The complexity of path-based defeasible inheritance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417433"}},"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":"Q685542$678EEC0D-1676-44D4-B9EE-53F07693A110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e26cd6c14065f587859d362be9df67dce062afa","datavalue":{"value":{"text":"The complexity of path-based defeasible inheritance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685542$5572CD55-8BEC-405F-B9ED-8DAF1AC91136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9b2cb0dad0f57295046a4c7d78e9e8b0c7ddfae","datavalue":{"value":"0779.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$9E821371-2C8F-4DD6-8021-5286DCFB5297","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26cf543c658f4edcf99c8dfdcd8f73f162c2cf72","datavalue":{"value":"10.1016/0004-3702(93)90081-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$F8180398-5089-449E-86EF-DF6347F3EEA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$963182F5-BC45-4767-971B-1E2D00080E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$0A7160C6-02EF-44C6-97D1-0A053E0501B4","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":"Q685542$5C1963FE-5693-4135-8FAF-C99FCCFC3CBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68b724eb687dbe57c6756b615ba860966fd43d36","datavalue":{"value":{"time":"+1994-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685542$ACDA2A53-BF08-4338-9ECD-FB4F56830E85","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2efa436a6d6f2cb093e9b083da293e5c40ce27d8","datavalue":{"value":"Inheritance networks are used for representing taxonomic information. For instance, common knowledge about adult students can be expressed by network with nodes \\{Jill, student, adult, adult student, employed\\} with positive edges \\(Jill\\to adult student\\), \\(adult student\\to student\\), \\(adult student\\to adult\\), \\(adult\\to employed\\) and with a negative edge \\(student \\nrightarrow employed\\). A network may have several conclusion sets (minimal sets of edges which are obtained by concatenation and which are not contradicted or preempted), e.g. the above set of edges \\(\\Gamma\\) has two such exensions: \\(\\Gamma\\cup \\{J\\to as\\to a\\to e,J\\to as\\to a,J\\to as\\to s,as\\to a\\to e\\}\\) and \\(\\Gamma\\cup \\{J\\to as\\to s\\nrightarrow e,J\\to as\\to a,J\\to as\\to s,as\\to s\\nrightarrow e\\}\\) (so called credulous grounded extensions, proposed by Touretyky).   It is shown that calculation of the conclusion set using any version of downward inheritance is NP-hard; however, upward inheritance is tractable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685542$FF910D10-FEAD-4797-86E4-A96E9AD43843","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$E5E6EE66-156A-4695-A429-615D466A6DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$2D8ED597-4692-4DB2-A7FD-D5AF4A40C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$3044600A-B762-4143-A8DA-1F315A0743EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$26AD6AD1-7FB7-4451-B14A-AFB47F9D7985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eda9a464e20bd62a0345260460b2191ac2a721b7","datavalue":{"value":"417433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$E1A78A96-B58B-4896-B17A-21EF4985F067","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d6f8b2bb880b39ffb9c017f07c67ab3e6e8123","datavalue":{"value":"non-monotone logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685542$4215A4C2-9823-425F-B964-33C922B50DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aca4c49a7f94f259f4e44b808438eef56a04f1cc","datavalue":{"value":"Inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q685542$DAA0F6F9-BF6F-46A5-9D7C-17EA84B683AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q685542$6DB9F553-D6EF-4C05-AC12-9ABAD1C4BCD5","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":"Q685542$80D78E3C-0727-4917-AFAA-C219EFB9AC81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"568e718f9de55e456e0576433041873cdabd54ea","datavalue":{"value":{"entity-type":"item","numeric-id":3200586,"id":"Q3200586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$A27A9DDC-5652-4037-ABAA-DDCB6699289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be02880adf3b9531d20f6265c7de89b7619f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":3888567,"id":"Q3888567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$332C5EDB-4824-4B70-8E4E-8311178AE6CE","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":"Q685542$369EF73E-6449-43F3-B5E2-3BE4235BC7DD","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":"Q685542$A6506E87-F504-4D0B-B96A-42EB6018F6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab6f6f8b3d52ee8cd7ef5a2a8dd8cf211be0e35","datavalue":{"value":{"entity-type":"item","numeric-id":3493327,"id":"Q3493327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$2C808A4E-B741-456B-85D7-34894D85B798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09beb0344c5f8c044554764d6ce151998549bf67","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$CA2359A4-A457-4442-9829-0B42EC0BED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc4db50260c4eeaef046e54428421e6ee70389c","datavalue":{"value":{"entity-type":"item","numeric-id":3829532,"id":"Q3829532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$0BD1EDA5-404B-4BB7-942E-3B7868668133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb36ca9ba38f914f8a812b47a78709b0f809e4bf","datavalue":{"value":{"entity-type":"item","numeric-id":1113678,"id":"Q1113678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$56AB555A-3F35-4C27-92B5-00CB13A0665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e13ba0f811f730b749bcf2d3e9785d0ee1e3db5","datavalue":{"value":{"entity-type":"item","numeric-id":5578545,"id":"Q5578545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$F5A5E943-0EA8-4FC8-9294-D43DF8E7AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1424939ca1b95c3c8ecc11b1c3b158a03121e03","datavalue":{"value":{"entity-type":"item","numeric-id":1056558,"id":"Q1056558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685542$E8879EF9-7438-4FF0-BC2C-F2CCD3E9EAF6","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":"Q685542$7B1503E0-3B44-41DB-A8F5-C062E05E34FD","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":"Q685542$D1133869-8891-40AA-B3C5-8B1110EF4835","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d999896572c6d1cdd420668bb2454f34b84aa40","datavalue":{"value":"https://doi.org/10.1016/0004-3702(93)90081-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q685542$124267E7-54A2-42EC-8FBE-30CE212C3D05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bfe378c0420bc0fe5c71c08f90040455ebd3a25","datavalue":{"value":"W2051000181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685542$1DCD0AA1-21D3-4181-8A50-ED013A781559","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca80dd61b23e22091808ede84c127322b8648bf","datavalue":{"value":{"entity-type":"item","numeric-id":3200595,"id":"Q3200595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667d9fbc6a945908170a693b6c1ea2b04d766da6","datavalue":{"value":{"amount":"+0.8295436501502991","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":"Q685542$EFA443EA-9F75-4D51-99DA-762E59598719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7ce2bdd370cdce14e4ad79f3ddc16a3cde57f1","datavalue":{"value":{"entity-type":"item","numeric-id":3200596,"id":"Q3200596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a832d1153d69fc423aba51aec131017df66461","datavalue":{"value":{"amount":"+0.763351559638977","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":"Q685542$196038EE-2509-4966-AF6B-77B05EAFD052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fcf7129f1ff4cda76106c705041febecca50ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1341669,"id":"Q1341669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d35386dc7225e8d4c2d9de866c7db8b73aa836e","datavalue":{"value":{"amount":"+0.7561308741569519","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":"Q685542$524E55D9-A2A2-42CB-AB45-5CD820B68240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd41865dd3a5f96787b53a27eff5f772deb980a","datavalue":{"value":{"entity-type":"item","numeric-id":622128,"id":"Q622128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6ed71f3c63b8b0214e0fb70dcd65117c9dc053","datavalue":{"value":{"amount":"+0.7529574632644653","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":"Q685542$1A4916B4-8729-437B-B9DD-415D124E68F3","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":"1f45e7878615adcb1605d5902ba9878a7587ec9b","datavalue":{"value":{"amount":"+0.7496530413627625","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":"Q685542$4E90379F-FEF9-42DB-B588-11B6638CCEA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of path-based defeasible inheritance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_path-based_defeasible_inheritance"}}}}}