{"entities":{"Q1363785":{"pageid":1374524,"ns":120,"title":"Item:Q1363785","lastrevid":46506807,"modified":"2025-12-24T22:38:40Z","type":"item","id":"Q1363785","labels":{"en":{"language":"en","value":"The complexity of concept languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1047206"}},"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":"Q1363785$F917A0BD-A8AD-415A-9A7E-4B9EB2D70BFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5a4c80fe8f6703cb5d75aaa3f275bbd0acf3c82","datavalue":{"value":{"text":"The complexity of concept languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363785$8E108AC9-0A05-446C-8F21-11CE919711A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eea14b2a5226ef3035c273ea534c50cfb5332fb","datavalue":{"value":"0906.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$8133EB8C-10CE-4DF8-B1A0-E2189233F7B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c58bdb41de6bff30051f66a3412134d626fddc","datavalue":{"value":{"entity-type":"item","numeric-id":989167,"id":"Q989167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$9049506F-A3EE-431C-81A0-C79285635B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6ddc79a21fbbd002432067be78b321926aa8954","datavalue":{"value":{"entity-type":"item","numeric-id":360129,"id":"Q360129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$45916C65-F418-4275-9E90-F2B51A7EEBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd68d556be65b375580e3954c451776835e53d3","datavalue":{"value":{"entity-type":"item","numeric-id":989168,"id":"Q989168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$24C1A2DC-7CF5-49F9-9615-0B40B206A5D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$3038A6B5-17DE-4634-9C12-41C6704B992A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04800f209034680d3c00e300ab0607f83b08af5","datavalue":{"value":{"time":"+1997-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363785$C9C3BF13-A51C-408A-B9D9-21641141590A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7f2762e88b382007685eea9e797854cde60f232","datavalue":{"value":"https://semanticscholar.org/paper/77f39861a056d42d9ad093112141aacedd26bfd9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1363785$86192FF2-18CC-4A15-842F-CAF4671272CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9477597c963692d4ba7cf7c9c0b8b0235c99ed85","datavalue":{"value":"This paper is dedicated to a formidable problem of artificial intelligence. The main concern of this paper is terminological knowledge representation systems (TKRSs), whose basic feature is to represent knowledge by means of taxonomies, here called terminologies, and to provide a specialized reasoning engine to do inferences on these structures.   The communication between the KRS and the rest of the knowledge based systems is realized via queries and answers to queries. The type of language used to represent knowledge, and the inferences drawn from it characterize the KRS. Here are the main contributions of the paper:   (1) a complexity analysis of concept satisfiability and subsumption for a wide class of concept languages; (2) algorithms for these inferences that comply with the worst-case complexity of the reasoning task they perform [\\textit{F. M. Donini}, \\textit{B. Hollunder}, \\textit{M. Lenzerini}, \\textit{A. M. Spaccamela}, \\textit{D. Nardi} and \\textit{W. Nutt}, The complexity of existential quantification in concept languages, Artificial Intell. 2-3, 309-327 (1992)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363785$C8EA23C1-0819-49B3-9193-AF2E2EA2BC40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$C2DCD26E-6625-400D-A757-66AE71E07C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f26e2fa344648e9a16defe84160efb66c0407a3","datavalue":{"value":"1047206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$1C22E724-F49A-4CC4-9631-B969A4556EA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f457136e566e4152db1de2dd9cce84d42feefb3d","datavalue":{"value":"terminological knowledge representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363785$251F0264-7826-4DC2-A67D-1DE455E5D3DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dfcf2549dfdaa1b53e3a962818585d7985da06f3","datavalue":{"value":"Q58006980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$93D9F939-3818-4901-BAC0-3D6291125FFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3859f4276ff033961b0a9f9512659b83adf9ab34","datavalue":{"value":{"entity-type":"item","numeric-id":1251890,"id":"Q1251890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$BC5C544B-646B-4BAB-B247-0366870AB7CE","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":"Q1363785$2DC12299-F5F8-48B6-8C46-A29F55BE3E8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ed317ef204785d1d094109edd827257ec8b7c9b","datavalue":{"value":"W1980794674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$BB384C69-8BC7-4802-928A-7B8613038F3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$9D7EA689-DD6E-4A77-A53C-FA0EC39A9FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb2468be0f95854f170a9f621ce3a5c8a11d481","datavalue":{"value":{"entity-type":"item","numeric-id":1978452,"id":"Q1978452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$E2F6453A-9895-4576-9E11-D88840C09536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a534fcd94c9d92b1be606fbe147730e2fbf2d560","datavalue":{"value":{"entity-type":"item","numeric-id":3750100,"id":"Q3750100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$F33603EE-0242-4F3B-AF78-401D8A45A25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a189a3a4dd20b1eeabae77cd3ca357f06161c","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$47BF3306-542A-4387-827E-49E1E1AD0B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d186e44abdd9fb843520dcf7b6c51bde9edaebd","datavalue":{"value":{"entity-type":"item","numeric-id":4012243,"id":"Q4012243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$C0777531-35B6-45CB-9F60-632496A731DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$5779D3D6-164F-4B5A-B236-67F44E8B6E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$D8601CFC-F265-486F-8A41-DE7F809280FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$7FDE3825-2901-4A6F-A233-F612740CA026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f407fadc0ff2c6a5a55dc2a3b99eff8c435642be","datavalue":{"value":{"entity-type":"item","numeric-id":1332849,"id":"Q1332849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$A8B34DA6-533A-4280-8E98-3EDB8FE4F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$3FB04B5C-9507-4B19-AA4F-2CB99ACB15B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$138E4F22-BA28-4C4D-BCD0-9D0FA984740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$CA8294CA-F587-4C1D-A253-D0457258EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$2C2E386E-E521-4F02-86B5-59085A91CF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2815fc1dcac3d3af1a233b6e9efdc1646b9856","datavalue":{"value":{"entity-type":"item","numeric-id":1104128,"id":"Q1104128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$3D9A37E6-0E8A-464B-BB5C-D086D9D1B144","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":"Q1363785$CA4C9F66-2DBB-4117-B15B-2C6665110EB6","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":"Q1363785$E469699A-39DA-4779-8333-6D1994DD07E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$368C8202-3DF8-473B-8297-3883210F98F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363785$35BBDC12-067D-419F-8D24-8E450D744B24","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":"Q1363785$085FD17F-49DF-49AD-9A1D-CB4A19EFA9A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e466f0572f1abfeb1d185eb825d342242011d26","datavalue":{"value":"10.1006/INCO.1997.2625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$5AC9F910-D6BE-4261-AA6A-9B1982A86770","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ef8dcb397682a5380c80e951c486e56572b168dc","datavalue":{"value":"journals/iandc/DoniniLNN97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363785$7C532E9F-C20A-4C3F-8994-DFC5F8079E80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051b3b7e3c4eebe35edf414675e752b3b47a1bb0","datavalue":{"value":{"entity-type":"item","numeric-id":4028788,"id":"Q4028788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a72d2acd3aab1a16d13f6e5e206db8994c52306","datavalue":{"value":{"amount":"+0.8561524748802185","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":"Q1363785$C33D99C9-E1A7-4498-8F8A-0EDF6A8C4180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a696bba138cc8bbaf3d7678d4123c97afa625d7","datavalue":{"value":{"entity-type":"item","numeric-id":2638816,"id":"Q2638816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37140cc64aa5ee0a266d995dc5694d174132eef7","datavalue":{"value":{"amount":"+0.8103185296058655","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":"Q1363785$6C7E2C29-3C2E-4E11-A1A5-9ACCDA013E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ea2b8dd1d0272a11f2ed06d4e239c53bd726c1","datavalue":{"value":{"entity-type":"item","numeric-id":1380407,"id":"Q1380407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f9f6bfe064c4a4a348657687070e95becb7667","datavalue":{"value":{"amount":"+0.8065543174743652","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":"Q1363785$B560731C-A655-4BCF-923F-2825481012CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb18bb4961932cabb13f819e498a2ee942f130ac","datavalue":{"value":{"entity-type":"item","numeric-id":4386924,"id":"Q4386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f34987f5bf03b34f461e67fb975f434853c23c","datavalue":{"value":{"amount":"+0.7918903231620789","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":"Q1363785$5FED5486-AC53-4C1D-BA06-369EC46DAE13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1363785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1363785"}}}}}