{"entities":{"Q6063879":{"pageid":13198035,"ns":120,"title":"Item:Q6063879","lastrevid":58666329,"modified":"2026-04-06T06:07:43Z","type":"item","id":"Q6063879","labels":{"en":{"language":"en","value":"Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776339"}},"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":"Q6063879$0395C78D-2005-4B15-942D-7D3D9A1DD8C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15cea8ec71ba99483414819cb6d8bfe9ce950310","datavalue":{"value":{"text":"Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6063879$1AFDB265-A98E-4410-ACA4-989A904F0C70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"064b9c4ca35ca4c99ab2820a3f92fa24803166f3","datavalue":{"value":"1530.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063879$CE1F6226-F999-4122-882A-857AADE008B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$6FBDEFB6-6624-4E09-81E5-46A042382506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c6c222b07d4409e78b345b2c503fed9cc595be4","datavalue":{"value":{"entity-type":"item","numeric-id":1687538,"id":"Q1687538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$1AA2550A-53DA-4BF9-9C5B-00B55F230C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f902164cfd448c6a78e5d0a0b99c7aa49b71d88c","datavalue":{"value":{"entity-type":"item","numeric-id":6063878,"id":"Q6063878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$9808A28C-E003-4EA9-B77D-7C42768137DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faedef3f910727c172335fe28739d2d60411f156","datavalue":{"value":{"entity-type":"item","numeric-id":465594,"id":"Q465594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$154CCD5A-7B44-4FCF-9323-CA5A92BEDEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"466b9d34079f3fa2296e9005e3ceaa48e4f3be4b","datavalue":{"value":{"entity-type":"item","numeric-id":1687558,"id":"Q1687558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$C46B0BF3-E10E-422F-8378-71C6BF2E0B52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$61843216-6198-449E-B0DC-E8C6D9A481CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6063879$4A8882AD-16DC-4651-9140-6C734C57961E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dea99e0c24dade8be72f64ac818f55693b51507","datavalue":{"value":"https://arxiv.org/abs/2107.12877","type":"string"},"datatype":"url"},"type":"statement","id":"Q6063879$1B16267B-2632-416D-BEC1-67F4553AFF92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063879$159F64D1-8FDD-400A-8B73-08FB80BC9FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063879$3868766C-9CC3-4F13-B4A5-B5749104CFB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8eca811fe6bf9a8cd69e8140449845a859a19f0","datavalue":{"value":"7776339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063879$131EE149-B8CF-4C93-B3F3-EB327C0C3A01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063879$429790EA-FC9C-4C97-AB44-7096A16752C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063879$5352B404-4DED-4061-B372-C31DAF3983BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063879$EE95108F-B109-47F5-BA24-F897F85571CA","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":"Q6063879$AFDEEF2A-67CB-4803-BDF2-E50DD28392A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b08f255a63964d0c9c546ffd5d968b26a8058e8","datavalue":{"value":"W3207176796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063879$BB7D2514-D578-4C2A-9A8B-EBC873F6D06A","rank":"normal"}],"P223":[{"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":"Q6063879$C4DCABEC-D2B4-403A-870C-D36093AD483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7aed24da1b3f9a1af5c12e311130a57e4e51f4","datavalue":{"value":{"entity-type":"item","numeric-id":5222946,"id":"Q5222946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$DDDD0D9E-D88E-4559-9FF4-A04EE3878304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$9BECEBD9-9D28-4415-9892-0F7101DB0FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8588a1ffab3836d4385ad578c25dbc95b864137a","datavalue":{"value":{"entity-type":"item","numeric-id":2835862,"id":"Q2835862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$D23C8EAC-7EB7-4411-A4E7-3BE1C6D98B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db82efd43008b70d4f248e334270440bca3b5404","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$06A11647-1BCC-423F-AA0A-9DA08A035AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bba7e076c04a65004b573c9879022992df6bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2946686,"id":"Q2946686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$92485DE9-6FFF-4FCC-BA54-2F2E8F98AB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4269cc2603fa09c659096d281ccf8413d4ba0983","datavalue":{"value":{"entity-type":"item","numeric-id":2638816,"id":"Q2638816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$E0D087B3-691C-432F-8122-2F5662AE1D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe2ca627052b61bb070ac32ed62b1ed3631b7c6","datavalue":{"value":{"entity-type":"item","numeric-id":1694573,"id":"Q1694573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$2A50D18F-C76B-4513-A24B-14584A76DB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$5DD23D2B-0791-4919-95AA-CB3C98DC8D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e39539b6fdc1aea7c861d54ef1c2edd79fab2","datavalue":{"value":{"entity-type":"item","numeric-id":1202629,"id":"Q1202629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$702A22C1-B2CA-419C-9210-84666562EABE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c52b958137b52bf94cb2879468da007f92f009fc","datavalue":{"value":"10.1017/S1471068421000466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063879$9C0537BF-593A-4F3F-AA8A-FFF1D546365D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bc60430923a7a401096af3575c46972f93a733","datavalue":{"value":{"entity-type":"item","numeric-id":5222946,"id":"Q5222946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff99814616542eadf3dc2017731ecbe28a13ce1","datavalue":{"value":{"amount":"+0.8291836","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":"Q6063879$4987E9D1-926E-4DB2-A700-AA32DDA9DC51","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":"97ea2e10ca04c7d1742145fd194fc1fffce83d4d","datavalue":{"value":{"amount":"+0.8236487","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":"Q6063879$EEFC5645-019E-4A32-8C61-6A9F9D8A3581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61545a961d772736d31e220bbce38e1f6580006e","datavalue":{"value":{"entity-type":"item","numeric-id":4428317,"id":"Q4428317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8843fe14614d98530e80c29a64b6d66e495323","datavalue":{"value":{"amount":"+0.8105824","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":"Q6063879$F8C0ADF4-FD84-4B66-A24F-7C02EC62F4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5bf3bc70bd1b35f6270c077fcb7735ba7139a7","datavalue":{"value":{"entity-type":"item","numeric-id":3533138,"id":"Q3533138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe760a5b6c236ca1867ca0bcb040ad5a7dad105","datavalue":{"value":{"amount":"+0.80645084","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":"Q6063879$FA3DAA2E-3D6B-4E3B-9CF8-72F86082BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a8c9512781228e517299d04b357e1b360a3a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1799301,"id":"Q1799301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fee41a005f1d7fa305373d5e9be95b461a9cd1","datavalue":{"value":{"amount":"+0.8064103","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":"Q6063879$D53CC16A-9FE8-403A-B284-9DF5C7509FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f304525eb9a0f02204a977071a4d16810a50d3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4228078,"id":"Q4228078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e48d62a177977ec3bd074a6da333af03d1f12a8","datavalue":{"value":{"amount":"+0.8025575","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":"Q6063879$51EF5D20-52B4-4B8F-956E-C98D41A740E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e42e005cea9c51a288001cc5d9d8759d9a3f53","datavalue":{"value":{"entity-type":"item","numeric-id":4576238,"id":"Q4576238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f534ead767d48124d9f9dcbd8e75282d535cb373","datavalue":{"value":{"amount":"+0.801848","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":"Q6063879$D6C2CD9F-F386-4098-B79B-B1F577F7DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e1cf3ac260d7ec7bfd11176fca799e042f11e00","datavalue":{"value":{"entity-type":"item","numeric-id":877890,"id":"Q877890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87b22ef28901a594bdb5c7f045d42df54f8a584","datavalue":{"value":{"amount":"+0.8012658","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":"Q6063879$FF327A5D-49F3-40B1-9D41-4F1CC7BDFD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f218e085053fd8dad275de00a7a4ed9017eaeec","datavalue":{"value":{"amount":"+0.79739785","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":"Q6063879$92145F85-2F7E-4402-868E-10A8F4B25FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c270e5340c5fe53e63dce87936e9b2d88521eb32","datavalue":{"value":{"entity-type":"item","numeric-id":4576256,"id":"Q4576256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6472bc1e90d09ab3b6d7e01e2225bb1f0e8dfdef","datavalue":{"value":{"amount":"+0.7963028","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":"Q6063879$60AC6690-9FA9-4A06-B857-CFC83082949F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063879$3402429B-1609-46FA-8DF6-0E82FE4E9A23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6063879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6063879"}}}}}