{"entities":{"Q764312":{"pageid":766161,"ns":120,"title":"Item:Q764312","lastrevid":64161243,"modified":"2026-04-11T18:03:09Z","type":"item","id":"Q764312","labels":{"en":{"language":"en","value":"The loop formula based semantics of description logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014304"}},"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":"Q764312$CD61EAC5-4626-40B8-90DD-BA532453799F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccd9bff0cb0f0c9a524d45d20078ad72ed91f8d6","datavalue":{"value":{"text":"The loop formula based semantics of description logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764312$319FFFA4-03B2-490E-BF64-0090C0BDB865","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"381faddb033e48ab092ee8692b6aba5fddce4de3","datavalue":{"value":"1255.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$B8444C70-7A4F-4E79-BAF0-43B3CF72C473","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a6d28082a823e55db83339b2b8bb853ec164ff","datavalue":{"value":{"entity-type":"item","numeric-id":645080,"id":"Q645080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$6263A256-F0C1-4A44-A900-FF00E524F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$EC8E0690-86DC-47EB-9CDD-E3F883F14FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aa445cb4aeb46762e37cc5b8ab558742cc3a460","datavalue":{"value":{"entity-type":"item","numeric-id":286398,"id":"Q286398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$93176782-F582-4E44-8583-861643F9F667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e376b847624c1c17500963ff943ba55894bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":645083,"id":"Q645083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$177DA9F4-C80A-43D3-A97C-93ECEA785F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9b7d651f1efa21fa167889604f4c1b276297e6","datavalue":{"value":{"entity-type":"item","numeric-id":645082,"id":"Q645082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$E08EA44A-D3E5-43D1-80C8-A3AFDFC29F50","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":"Q764312$ED0CCDB2-63DA-491A-BDC7-7D8EE27033B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764312$7465BA56-D21B-4494-AAAC-C98B97D82A6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aef28b6e47fb7dcfc8f06eda23ba3f15a5c7fdeb","datavalue":{"value":"https://arxiv.org/abs/1007.4040","type":"string"},"datatype":"url"},"type":"statement","id":"Q764312$7B49A4AF-B887-4543-BF50-2DDB9845783D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e1c2b75fe5948dc5b0202d7cf3d69f43d1ad2f0","datavalue":{"value":"This paper discusses the semantics of so-called description logic programs. These are linguistic tools, defined by Thomas Eiter and his co-authors, obtained by integrating a rather classical logic programming setting with a description logics stratum. This integration is conceived as to well serve the purpose of providing deductive capabilities to description logic based ontologies. The theme the paper deals with is a relevant one in as much as formalisms like dl-programs will supposedly play a crucial role in the definition of the Web x.0 to come. This paper, in particular, first shows the interesting result that answer sets of dl-programs strictly correspond to models of their completion and loop formulas (similar results holding for classical logic programs). Then, the paper proposes an alternative semantics for dl-programs, called canonical answer set semantics, and discusses some interesting formal properties of it, including a comparison to FLP-semantics.  The paper is technically quite dense but the results are adequately introduced and commented. Overall, an interesting article to read for researchers interested in the general area of the semantic Web and, more specifically, in logic programming based approaches to this realm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q764312$2D9EDEBD-3458-403B-8FC9-B1C74F9E1C47","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3559891ba10f0312908088570a9d11a4580a41b9","datavalue":{"value":{"entity-type":"item","numeric-id":483300,"id":"Q483300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$41DAF4F2-21B0-438E-ADF5-DD9883B795AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$3CC88B5B-F5F8-4893-B632-5D1006328DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$477FD31F-607F-40A2-83AF-54B88D5BF71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$F011CEC5-2666-49A5-A021-D62A9F4F4764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$4C701CD7-AB7F-4162-B3BC-56C18535AEF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd83a02655517b79ef3b3c2027248a59a46b04d0","datavalue":{"value":"6014304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$D7EDA122-9C44-4DE1-AEB7-4048D765F2F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e689fe87c9a8a73399991b2f96dfb21a7919dcf2","datavalue":{"value":"semantic web","type":"string"},"datatype":"string"},"type":"statement","id":"Q764312$2D508B9C-B906-420D-8F42-BF380BCCB856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q764312$BA081F48-A92F-42DD-A61B-6426D99D08F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a788d9e9dae63a6873fea41cef252c6ada19bb29","datavalue":{"value":"description logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q764312$33658ECC-7254-48EA-93EB-0EEBC3A8E35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbacf101f993c3bc78daf14870413fc6ca5f629b","datavalue":{"value":"loop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q764312$5D6806A3-57C2-4412-B1A3-1F7AB5C3422B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$3CB3C5A1-995E-46B1-9198-1AD648D2273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7103b15c521b95bdc07987ffe6ae6918b1b95d46","datavalue":{"value":{"entity-type":"item","numeric-id":16803,"id":"Q16803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$E11D3137-AFEF-48AE-B8C1-54E1A7E6164B","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":"Q764312$9905297A-923E-43C7-8BCA-16CA5B22485A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b7e8665996a95598018067a3d0be682661f6bb7","datavalue":{"value":"W2104606980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$F15D3087-E52C-44A5-AFD4-BDCD25BEADEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$05A7765B-8F90-486F-80DB-D883A03B9E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de8834b4345a0a8992c9bedff5f82b9abe2d65","datavalue":{"value":{"entity-type":"item","numeric-id":5309957,"id":"Q5309957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$B046D305-22D4-4A3B-8A33-8D48F66AE0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cec59c417cedcca33cb5ad76a26778471f8de8f","datavalue":{"value":{"entity-type":"item","numeric-id":2946639,"id":"Q2946639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$496F1A05-3DE5-4D1B-A4E8-55732EF2F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65e52088a69ff206dfb4252b632f3bfc09f826b","datavalue":{"value":{"entity-type":"item","numeric-id":951787,"id":"Q951787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$181300F2-8FD1-4016-A50E-D82A34CA0DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641bb4ce9fdb0771ad18dce06dc66550f63ce096","datavalue":{"value":{"entity-type":"item","numeric-id":2389666,"id":"Q2389666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$D1996D44-28E6-4313-8968-D071AB0729B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a84be2ae9c49d42c7fb559f3ea6a8d266cc5879","datavalue":{"value":{"entity-type":"item","numeric-id":5394125,"id":"Q5394125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$58897783-1E5F-4E48-BBB3-58B0742262E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$9D0AE92F-06BC-461D-B3E3-24F8EEC9186D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30a3ed2382088a4963963343aa835160547a3ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946644,"id":"Q2946644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$5AEA8F3A-B7F6-4293-9DA8-F19CCC55DA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8b87b40557673c33eb3861975928485728ab68","datavalue":{"value":{"entity-type":"item","numeric-id":4930762,"id":"Q4930762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$E2C781F2-4A84-47E2-BCE4-93A2082DB2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$6AC651AD-B13B-4464-9A67-FCBADD2CBB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$DD96A804-B1B6-495D-97AD-2A21E7A3AE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bddad9071ea2159ff561720714da20835d4a7604","datavalue":{"value":{"entity-type":"item","numeric-id":5504666,"id":"Q5504666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$4EA10F9B-B178-4FFF-BC70-9A3E16C79D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$DAD62BA6-F5C5-474B-A79B-3180C44A3A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59bd53a837f83174d0cf6db91cf457dfa3ce63","datavalue":{"value":{"entity-type":"item","numeric-id":3579631,"id":"Q3579631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$3ADE7AC4-FA3A-4DE6-90BB-66E77EC7FFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$8DA9E058-13E2-4204-83A8-C7320AC8A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa98399fe0a8e22dfe7da2ed3e0473ce2a4560c5","datavalue":{"value":{"entity-type":"item","numeric-id":3183130,"id":"Q3183130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$2B9AC329-4111-48EC-8C20-1566C905B443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ca4bc58217503d27dfc6ffe2e6493bc037d86","datavalue":{"value":{"entity-type":"item","numeric-id":3624081,"id":"Q3624081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$F64CF48C-C53A-486F-B513-A3E5531506DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$9124094C-EA58-4FB0-A3E2-FB49DEEB4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56abac8c42996864e9364878a18520c5745c7bd","datavalue":{"value":{"entity-type":"item","numeric-id":3585166,"id":"Q3585166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764312$BC124163-ADBD-458E-A2C2-25C2EBE066C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55ed1a13a03c331ea85921661032402a90a4cf23","datavalue":{"value":"10.1016/J.TCS.2011.10.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764312$BDECBB10-034F-40D0-80C3-820B7F1FF3E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28673a4337029b82ab8e7ab9fb12a523e5c1c6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3585166,"id":"Q3585166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef9c388a5bf3bcd350f9e82268c97fc71044ffc","datavalue":{"value":{"amount":"+0.876323938369751","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":"Q764312$D0AE90BC-20BE-4C8F-B20C-48EDEE682793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f45a56a9b763fe9ef62deca5d1a8ff559d2c783","datavalue":{"value":{"entity-type":"item","numeric-id":4930762,"id":"Q4930762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efaf60189d4ed513768f0bbbbb642efcd9fb415","datavalue":{"value":{"amount":"+0.822960376739502","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":"Q764312$4A793BCB-19BE-4270-B67E-11FA6E264E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f13f9b0b24868d5f8acd49dfdd4c8be3cba16d","datavalue":{"value":{"entity-type":"item","numeric-id":2389666,"id":"Q2389666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193dbb60bbf3540d00b5caaf4c2fc7b61758b942","datavalue":{"value":{"amount":"+0.817603588104248","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":"Q764312$A25A32EA-CD59-4D13-BD54-C6A0FBEDC123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043edef1c5df6ebf9a5eaa55ed755b22c4e41528","datavalue":{"value":{"entity-type":"item","numeric-id":2946628,"id":"Q2946628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24be991840b0135582d637a7fe4c7aeca7ca8aba","datavalue":{"value":{"amount":"+0.8133690357208252","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":"Q764312$20464868-6C75-40A0-BCF6-4E0CF4D0EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1560fa303eae2b3523c4ed596be3b178a5caebd","datavalue":{"value":{"entity-type":"item","numeric-id":5717442,"id":"Q5717442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ac70147394b1c7455093e822c7084b5d18bff4","datavalue":{"value":{"amount":"+0.7609670162200928","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":"Q764312$61EFB86F-931E-4BDE-82B5-F7B1031C255C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The loop formula based semantics of description logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_loop_formula_based_semantics_of_description_logic_programs"}}}}}