{"entities":{"Q5878290":{"pageid":7907841,"ns":120,"title":"Item:Q5878290","lastrevid":41131847,"modified":"2025-04-18T10:30:39Z","type":"item","id":"Q5878290","labels":{"en":{"language":"en","value":"An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7655498"}},"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":"Q5878290$FABE743C-C68A-4872-817E-B45E136A8207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79bb10b82734dd7cc2630d0d19cd76f4f57b09c4","datavalue":{"value":{"text":"An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878290$33C8BC0C-8A55-425D-A57E-F19509AADD68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7009af26583cabe6a750f467ccb9b8075d7a26","datavalue":{"value":{"entity-type":"item","numeric-id":1799134,"id":"Q1799134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878290$14CBB86C-2BE9-46AA-94A7-EF6754332904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be243b748cd609f08fd473f87eae904d290572d","datavalue":{"value":{"entity-type":"item","numeric-id":5878289,"id":"Q5878289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878290$ED6909D6-D7A2-4BEF-B1D9-BADA6F7533DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbeabc28ae419338d0fc6eb2152a601d7b21813c","datavalue":{"value":{"entity-type":"item","numeric-id":646501,"id":"Q646501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878290$3928EEA2-6C85-4411-8FC9-D781626F3A12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cf6fdebab2500677acafd11fbb3e87f5e50c3dd","datavalue":{"value":{"time":"+2023-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878290$D1A29C46-BE3D-47EE-B4E9-5ACAC6136BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878290$D1044976-0A8D-4B4D-9544-52995589E88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878290$998B0049-DCD8-4344-973D-86E065070B52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7185570d7dc8e98ce3195a63948bd458aadc6b8","datavalue":{"value":"7655498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878290$4E53458E-76EE-435B-9C75-2D57F2717EC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878290$D4991E4E-0E7E-46C7-9CD9-6993AF388C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878290$A3362FA7-4911-4780-A2A3-2E6FC3943F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878290$B90446DA-F148-4E3A-AC0C-5BFAFDFADDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878290$FA8DC639-F2FE-447C-AE8E-98104F964A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b6da94a56287b92bcec0f64109abce386213e9","datavalue":{"value":"OWL EL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878290$B69A622D-20CA-4FC5-B8D6-8CF522C6ED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c35d843baee3f90a1d4527e4bb4cabd7c9a0e0","datavalue":{"value":"nominal schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878290$2F2EDB11-D431-493A-8FCF-51D2E0A77C05","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":"Q5878290$4E14FCCA-A3FC-4622-A838-83A8C5140458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25587c8f111148e603aa25fbf8fced6b076d6696","datavalue":{"value":"https://doi.org/10.1093/logcom/exac032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878290$1FA806E5-EFAF-42D2-8FB1-909B451A9AC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34de522de4a2bc9f2b25f7ff17ca8a4de7098761","datavalue":{"value":"W4225342794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878290$25EE6804-8597-4038-8A98-7ACDF8648F90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6b6ec5e833718922161002fa8263165482a337","datavalue":{"value":"10.1093/LOGCOM/EXAC032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878290$45120C2A-C78B-4B66-AD0E-7878B62A0EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a764a5ba35477feea136ae6799a65038ea6836c0","datavalue":{"value":{"entity-type":"item","numeric-id":4930768,"id":"Q4930768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b368b042eb6fe8637587ffd538c2aa64f5c38e7c","datavalue":{"value":{"amount":"+0.9053451","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":"Q5878290$1CF26106-5004-41C6-8ECB-09320DD81915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c0b2287b6357d6207de98f90dab28e888bc637","datavalue":{"value":{"entity-type":"item","numeric-id":5475763,"id":"Q5475763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d53296284cb633e545438cdf841c8b5add3506b","datavalue":{"value":{"amount":"+0.8584542","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":"Q5878290$90D724CC-36CE-4865-A157-06F22238F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f305e90368b1ea355f6f8c7b005df24be57bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4647816,"id":"Q4647816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecbd6c43951824da581b4559e1301fc32785a61","datavalue":{"value":{"amount":"+0.85825115","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":"Q5878290$D23B71BB-4996-4803-9676-E8BA1A08A100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b85c86bb34db1df71c55930f01f70bfc6cfbc19","datavalue":{"value":{"entity-type":"item","numeric-id":2353974,"id":"Q2353974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c138da16676973b21381a7562d90283a6bd586","datavalue":{"value":{"amount":"+0.8581668","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":"Q5878290$7C5D3D89-4CAF-44AB-9327-197EAFB70C79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878290$B1BE0E36-F794-4D86-A149-BE2EFC88ECDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5878290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5878290"}}}}}