{"entities":{"Q2815247":{"pageid":2825985,"ns":120,"title":"Item:Q2815247","lastrevid":52565987,"modified":"2026-01-22T23:57:54Z","type":"item","id":"Q2815247","labels":{"en":{"language":"en","value":"On the complexity of (restricted) \\(\\mathcal{ALCI}r\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598863"}},"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":"Q2815247$4E383F06-BE38-4061-ABCD-2BABE89DD1E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb8735c484f2f74202b79a1f18a8faedf99afcba","datavalue":{"value":"1349.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$E718DE96-2DB8-44BF-80D8-78F924C77E1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13d1125ec1ea387b0329e665f99cb4775908e91e","datavalue":{"value":"10.2298/PIM1409133M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$62903D3A-E94A-4953-8D2B-D41EC67CABCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ea5dc70c5b873a87391e42c1b34ce6c6536db9","datavalue":{"value":{"entity-type":"item","numeric-id":2815246,"id":"Q2815246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815247$8E7B0A27-19F2-4DDB-B887-02B4D8001603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815247$DE9BCB28-94F1-49DA-BEA8-0F7D9A4B1DED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2815247$CEDFB63B-67AE-4A31-886B-46F83A20AD73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$FA0063EE-C55C-447F-AF40-E3721F7260F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$D7A95573-499B-496F-A3FA-D7C5FEFFC231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$0CF61960-2351-41F1-BE52-19DE4849D0DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3bc61983a56ec494dd41960232fa09e0774873","datavalue":{"value":"6598863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$D663DF59-A1DC-467A-BFD0-4D574FAE3F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2815247$A6EE423F-BE85-45F5-AA60-0E95945C9ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae6558d5dbf4ad3a75e51d8b8679bccd63912af","datavalue":{"value":"role inclusion axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2815247$1ACFD8BA-A782-4C6A-B0F4-CB375B67CD58","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":"Q2815247$E76EA292-711A-47DE-8E0C-64A2E13F5883","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb76244156411ab39b87d34599cd8462608755b2","datavalue":{"value":"https://doi.org/10.2298/pim1409133m","type":"string"},"datatype":"url"},"type":"statement","id":"Q2815247$C5755BB8-8EA8-45CB-923C-EDEA47A84D83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9c08f4bdfea07266f671760455844ddfb604d6d","datavalue":{"value":"W2053995994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$2412B61B-B48F-431A-B61D-556A8D02CA24","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"aed64b1a4c57afe302aa5aa53c0f1c9f6b5e3882","datavalue":{"value":"bafkreigpioxpfxswubppe5jwj2i7bv3zapxdkkqct3h2s23y36a3wn35bm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815247$222193DF-AAA7-437F-953A-DA623D1543BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0aee8a028a90bb64b04b789eead6a344ef21b95","datavalue":{"value":{"text":"On the complexity of (restricted) \\(\\mathcal{ALCI}r\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2815247$2569641F-4D54-4F85-AEFA-7C5019C827EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cee17a61fcff18bb7d8c3ada51d813b2f79bcdf3","datavalue":{"value":{"entity-type":"item","numeric-id":6486666,"id":"Q6486666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815247$55B6CF62-0ABB-493C-9777-AFA9E8215146","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55369db16fd507c7c1aefd94bdc1b61c9def238d","datavalue":{"value":"The logic \\(\\mathcal{ALCI}r\\) extends the description logic \\(\\mathcal{ALCI}\\) with axioms of the form \\(R\\sqsubseteq QR_1\\ldots R_m\\) satisfying the same regularity condition as \\(\\mathcal{SR+OIQ}\\), while \\(\\mathcal{ALCI}r^-\\) denotes the fragment of \\(\\mathcal{ALCI}r\\) in which no \\(P_i\\) appears on the left-hand side of the role inclusion axioms from the set \\(\\mathrm{RI}=\\{R_i\\sqsubseteq Q_iP_i\\}\\). It is proven that concept satisfiability with respect to RBoxes in \\(\\mathcal{ALCI}r\\) is ExpTime-hard. Then, a tableau-based PSpace decision procedure for the same problem is given for \\(\\mathcal{ALCI}r^-\\). The question of the concept satisfiability upper bound for \\(\\mathcal{ALCI}r\\) remains open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2815247$D083D399-6B07-4DBC-8F91-86428D7C4C37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5287d0c08680627409181a3d8a21a0f37dc4b54","datavalue":{"value":{"entity-type":"item","numeric-id":393137,"id":"Q393137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c637de66b663ef70e951b654115b539497df3e3a","datavalue":{"value":{"amount":"+0.8084574341773987","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":"Q2815247$BF86398F-19C6-42D4-B529-85D093643D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80e2d18ba56dd2912dea773cc649affe51eacaa","datavalue":{"value":{"entity-type":"item","numeric-id":3010434,"id":"Q3010434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac0fbfe09c075409b7ff24609d85b4724124f78","datavalue":{"value":{"amount":"+0.7936646938323975","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":"Q2815247$932E4DD1-72AA-4A11-99E8-FB45F3827A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf0d708bd5801c27fcb5f29396dedfbdac8eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5747785,"id":"Q5747785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ee8a61118a0b8a7c4822c387046e7ef0fefc89","datavalue":{"value":{"amount":"+0.7822803258895874","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":"Q2815247$72EF048C-77D3-4762-93AB-E8300FE24257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2bfbac368ebde2626735f889be9b48893f6e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4954172,"id":"Q4954172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51996aeeb7f6226f67067048cbe93498cd40818f","datavalue":{"value":{"amount":"+0.7810554504394531","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":"Q2815247$67540C36-F50C-4837-AE5C-BA11631D489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8315cb2112c5e8fa81131f969bb3749ae1ca85a0","datavalue":{"value":{"entity-type":"item","numeric-id":5900710,"id":"Q5900710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b6c738d37a2c3a5845fe65bc8bd9438f24f45d","datavalue":{"value":{"amount":"+0.7796630263328552","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":"Q2815247$62512659-8424-4633-A159-D8EEA3E00CFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2815247","badges":[]}}}}}