{"entities":{"Q1040773":{"pageid":1042621,"ns":120,"title":"Item:Q1040773","lastrevid":69491586,"modified":"2026-04-13T07:21:37Z","type":"item","id":"Q1040773","labels":{"en":{"language":"en","value":"On the scalability of description logic instance retrieval"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638508"}},"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":"Q1040773$19D2BCBB-767C-4048-AAF3-D83317E0615F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4efd1a9dae59be0de3186af427b3a196b6270a61","datavalue":{"value":{"text":"On the scalability of description logic instance retrieval","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040773$F9C45F88-B1A3-4604-88DE-477659644D9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98c08cff3f41494583b1d0bde8c0adb1469809d8","datavalue":{"value":"1185.68674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$89E94194-4544-46F1-9194-CD997C9014CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e563c55de0205c0de26bcd6af3f5b992426ec7","datavalue":{"value":{"entity-type":"item","numeric-id":631079,"id":"Q631079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$BCC95C82-3F93-43B0-978B-F1F1EDD7FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a59eb9dde5c81770596349911cca96875cc727","datavalue":{"value":{"entity-type":"item","numeric-id":1006735,"id":"Q1006735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$5FD49C92-B0B7-4EC6-A503-BEBDF3D0F9DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$FB0C5E8B-858F-49B9-8A94-4DE5FCD92CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040773$36B56465-27BC-4FDA-B657-C8FE77837787","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0ed3f292f07973ba96d06fd3e311ddde0f845ac","datavalue":{"value":"This paper addresses two scalability challenges for description logic systems: one requires to deal with large sets of data descriptions (data size), the other with increased expressivity (when for instance negation or disjunction is added to the underlying language).  The authors provide a brief overview of the semantics of the description logic \\(\\mathcal{SHIQ}\\) and of the inference services, before describing some of the general, well-known optimization techniques, namely, individual pseudo model merging, definition of individual concept, GCI absorption, and lazy unfolding. A good part of the paper is then dedicated to the more specialized optimization techniques for instance retrieval, including known ones and new ones. These techniques are logically sound but usually logically incomplete, and include, amongst others, transformation of Aboxes, linear instance retrieval, use of precompletion information, binary instance retrieval, and dynamic index-based instance retrieval. The last category of optimization techniques deals with grounded conjunctive queries.  The second part of the paper is dedicated to evaluating the performance on run time of the optimization techniques for the inference services of Abox realization of knowledge base specific queries, implemented in the \\textsl{RacerPro} (version 1.9.1) description logic system. The authors use ten knowledge bases with large Aboxes developed by the semantic web community, and three knowledge bases with very large Aboxes. The experiments demonstrate that the optimization techniques are effective, but that keeping the balance between creating data structures for faster query answering and relying on memory-conserving algorithms remains a challenge.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040773$BEADA389-F503-492B-A31E-FD9028D3923A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$62840E29-2233-4457-8F09-6275713F461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$60F8FF1D-691D-4465-B639-203E7044FF44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac7ebe6bddec4c36ad5a856e267f4e81594e7bbe","datavalue":{"value":"5638508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$714184F6-2ACE-4F5F-A033-87CA8FEA9AC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040773$E1F3C89B-C7F8-4ECF-9159-89511F625384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a352707264b3be17607faf287ab6a40207b6f6","datavalue":{"value":"instance retrieval","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040773$042FDBC6-18B5-4785-9C23-66868ADB41D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc4d92eeceef517aba402e89c4445d8783074b3a","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$DCC69E2F-B10D-407D-8154-485BC642C161","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"505d008ba9ec699c3e03e14abcae2354bf366638","datavalue":{"value":{"entity-type":"item","numeric-id":14425,"id":"Q14425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$9A863268-195C-4272-B25A-6E44657B8788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"190c0225ecd5e1b5dd46c8953e28280003a71ceb","datavalue":{"value":{"entity-type":"item","numeric-id":26870,"id":"Q26870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$72C62D3E-5F2F-4ACE-B9A4-549444468D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$2E810D88-A6E9-4DB3-983B-76B7E9D612A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6f0e68bd3f537b556bc786566948d4ee3f0b58c","datavalue":{"value":{"entity-type":"item","numeric-id":14985,"id":"Q14985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$18013E50-481F-4AE2-92BD-A87FC00BADCC","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":"Q1040773$E57852D2-7AF6-48F5-8743-C8E586ABB653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"712492ac22ad1abe335597ad1b1ea0065528aea0","datavalue":{"value":"https://doi.org/10.1007/s10817-008-9104-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040773$942D30DD-E9DE-49D3-8D54-A5BF8FBE25F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a80e2a996bdcf099cf366a801955b566babd6c95","datavalue":{"value":"W2905126952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$1827D9C9-AD1C-4A08-8CFF-1FA9315697D8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f3aa4761fea6b18c1a11d33232e971520140b1c2","datavalue":{"value":"Q64363113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$C04AD47C-014D-4B27-A34C-39A50AAAFB8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc41449e9fa0420cd7863d27acebc9d2a03ec89b","datavalue":{"value":{"entity-type":"item","numeric-id":5717442,"id":"Q5717442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$96DB32EF-A637-49F8-A8A3-7C0B0CF2736B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$53F32454-BDD1-4A63-B94C-34915FE36780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a4a999e384e77672055de45dd59b4962b467c6","datavalue":{"value":{"entity-type":"item","numeric-id":360130,"id":"Q360130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$6E0755A7-27F0-4010-B232-D5CF5997A49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa73dfe0d0c7090d64e64b87f9b4f3015ccdf6","datavalue":{"value":{"entity-type":"item","numeric-id":1589576,"id":"Q1589576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$4D0ED07E-D55A-4050-B20A-E5D00607F379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0640751f1f3cd25264a5ef10f535d7940db1824f","datavalue":{"value":{"entity-type":"item","numeric-id":4398334,"id":"Q4398334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$53EE48A9-66DC-4184-8FBA-E791D2CD87D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a507e36fc93b2b083c55969d562b0ef7bfa4e073","datavalue":{"value":{"entity-type":"item","numeric-id":3624113,"id":"Q3624113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$147EC96A-A853-4D0B-8716-31BD736B805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754d65f8c0c486377fd1b9ca6e322f8aceef60ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941850,"id":"Q5941850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$5AD882F0-640A-4079-BEFB-69236DC82E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed62affda232e5190a0a7d708ab74cbe94781bb","datavalue":{"value":{"entity-type":"item","numeric-id":5434485,"id":"Q5434485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$DEBE9E01-F848-4C1D-B4BA-72113787B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d14b1ecbe3662398f81bd2a0e0822e0e1177ec","datavalue":{"value":{"entity-type":"item","numeric-id":4539653,"id":"Q4539653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$F6ACCC61-6A36-4C59-97C7-4D7696E64E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7786fed3bfb126efe721d30d866cf596970aa","datavalue":{"value":{"entity-type":"item","numeric-id":4539596,"id":"Q4539596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$4719728F-6000-42DA-A4B1-B9E9061C9C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121003eec14c124559ad0787617d70b0b245bb64","datavalue":{"value":{"entity-type":"item","numeric-id":2721226,"id":"Q2721226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$9FBFC1E8-D38B-4EB6-96CA-7EF6D1491B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b3d4851983eb4044e541ac9aa07e757ee6b17e","datavalue":{"value":{"entity-type":"item","numeric-id":4539598,"id":"Q4539598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$3F72EEF1-B74F-4A8C-88D3-B3A4A35394BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc61bca8fc6b36bd3188902a097b16572a1fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2723446,"id":"Q2723446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$1C48FDF6-192A-4E10-9196-5BFB57CCDEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0972fb9639187af95adef178b1e905d4f7c5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4739549,"id":"Q4739549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$72A1612F-4563-430F-8C15-A66F350A9074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0823bf909dd74f2e75bb8fe48b679665f020fa6b","datavalue":{"value":{"entity-type":"item","numeric-id":5387895,"id":"Q5387895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$FAC0AC32-F4A0-4E01-B7C7-2337AD002E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb49e3dd1819a074fe65ada398ab3d73a669dcd7","datavalue":{"value":{"entity-type":"item","numeric-id":1188644,"id":"Q1188644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$16C19037-AFFE-463E-AE3F-F50D2AD9B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eef307ccf4274053194bdc5dfc79bdc691e57b","datavalue":{"value":{"entity-type":"item","numeric-id":1006736,"id":"Q1006736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040773$C01477AC-8FB8-42AA-AE7E-523E7C88DCC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff13a93abd2219043c297d574b919b778d608837","datavalue":{"value":"10.1007/S10817-008-9104-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040773$B5B12E39-D239-43E6-A23E-CC8C66573FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8574bf58b9e42db0ab1eaf36a6248bd06f53bd77","datavalue":{"value":{"entity-type":"item","numeric-id":3393230,"id":"Q3393230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9b681950ec0e989a0d8649ac76aa5a6b42079d","datavalue":{"value":{"amount":"+0.7965425848960876","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":"Q1040773$9F7C444D-B5D9-4ECD-A455-9EC4609A1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d148095cff434a6ea345caf4d4e89144bd479c18","datavalue":{"value":{"entity-type":"item","numeric-id":5387895,"id":"Q5387895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e7ef835bbb60f89894bc62ad595fb85918d54c","datavalue":{"value":{"amount":"+0.7824579477310181","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":"Q1040773$1990F4E8-B734-43A2-92A6-6481A3281453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3aecf262633c0818138652466f6925ca420e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4caa34ee065f8452781fc75701610eed23a06c6","datavalue":{"value":{"amount":"+0.7823513746261597","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":"Q1040773$A7DD24C1-42A4-4901-8F9A-DE48C898D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079b29763c60f28a5012fb1b4626dac897dd560c","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65739216c09febdb2832491b992af15e484a9d19","datavalue":{"value":{"amount":"+0.7540904879570007","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":"Q1040773$492B7BC4-8AC1-4DAA-ACFA-2AD3253D9703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c03ca05d5a69bee948e640f712c3124353c0ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4539598,"id":"Q4539598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab28d00ef3bade486153ebeadecdf47b4039889a","datavalue":{"value":{"amount":"+0.7504159212112427","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":"Q1040773$85D951F1-4316-44C5-A4EC-6157F952E23A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the scalability of description logic instance retrieval","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_scalability_of_description_logic_instance_retrieval"}}}}}