{"entities":{"Q799390":{"pageid":801238,"ns":120,"title":"Item:Q799390","lastrevid":64501644,"modified":"2026-04-11T20:18:24Z","type":"item","id":"Q799390","labels":{"en":{"language":"en","value":"Foundations of a functional approach to knowledge representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874659"}},"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":"Q799390$95816F2B-302E-49F4-B475-B1138AE3172F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80798224d26172d0337819f56ea09e39f8081412","datavalue":{"value":{"text":"Foundations of a functional approach to knowledge representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799390$5CC3ACE9-C825-4824-9A0F-8FFA35BF5A73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09f8f134c50245407b681d558eb7715cd056da45","datavalue":{"value":"0548.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$B57B72CB-FCDB-41B2-9023-7D588B22808D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4094fd74f0ae9a6b8dc2eea8f7a1c38226ef575f","datavalue":{"value":"10.1016/0004-3702(84)90009-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$0CDB4DCC-B325-42E2-BCD0-D629A7694E7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$C1429744-9D4D-4795-89DF-BBCA4C83EA4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$FBEC3580-C446-416E-8D2A-1DF0B5FDC57D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799390$962F8CCD-DA92-48B0-A61C-21BA62773518","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9ba07c287e2c3f2b94424633efa04757766563c","datavalue":{"value":"We present a new approach to knowledge representation where knowledge bases are characterized not in terms of the structures they use to represent knowledge, but functionally, in terms of what they can be asked or told about some domain. Starting with a representation system that can be asked questions and told facts in a full first-order logical language, we then define ask- and tell-operations over an extended language that can refer not only to the domain but to what the knowledge base knows about that domain. The major technical result is that the resulting knowledge, which now includes auto-epistemic aspects, can still be represented symbolically in first-order terms. We also consider extensions to the framework such as defaults and definitional facilities. The overall result is a formal foundation for knowledge representation which, in accordance with current principles of software design, cleanly separates functionality from implementation structure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799390$DEFF9F36-EB7F-4716-B39C-5D2D06303A24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$51445554-BE8F-4F86-BCAE-B16D6BF33961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$F97D3D38-29EF-44C0-B6FE-80FBF6D3ED0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$AE035ED7-4D69-40AB-A024-84EE1A0D7381","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9245994771d34cafc48cedabc7951418acc17b2c","datavalue":{"value":"3874659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$200B27E2-A0A2-4983-82C0-5F39A2F36490","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q799390$187A6D76-990E-477F-9477-0A7025B2D101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a39d315b648b150944ead81c337df4c0a026ccc","datavalue":{"value":"knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q799390$28765AF9-D7B7-4F7B-A064-AC462322130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a684e7114f8c0650618c8a9c686a3a9a86979b7f","datavalue":{"value":"functionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q799390$5B5D3F15-B537-4C13-AF9D-C758384B341A","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":"Q799390$F381482F-9AF6-46D0-904E-D94C46579162","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"741e27df4212d4644f8caafd3fa5a6b32422dfad","datavalue":{"value":"https://doi.org/10.1016/0004-3702(84)90009-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q799390$D49862AB-CF9F-4DCA-814C-93EC02EB5638","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ca3197dae001272de8718a0e8bb86a88e61d86b","datavalue":{"value":"W2021693981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799390$8D1F83CD-5252-4445-95A7-408A9D0BB578","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb49bca774ef958b14c319951e48162cbd7fa98","datavalue":{"value":{"entity-type":"item","numeric-id":4199578,"id":"Q4199578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$773634DC-BDAD-45DF-901E-6DB526C9845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$E991BD22-A5E7-4B40-B16D-83550DF29879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$00426E9B-9517-485D-A7DF-931467BAD3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$77877B29-7D35-4703-8224-A0EFDEF00CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1424939ca1b95c3c8ecc11b1c3b158a03121e03","datavalue":{"value":{"entity-type":"item","numeric-id":1056558,"id":"Q1056558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$A9C5DAD5-086B-4A9F-8625-0991EAFD6F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acc9f319a4721f692809c86bb0f9f8c85c11a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1056560,"id":"Q1056560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799390$9DDA4FB2-0845-4DD1-B6A7-31A6C150D60B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebf371142ad56cf7e2acdc01c7ca40705e55bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3821625,"id":"Q3821625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26c8e8f555fd83807faf22a68d9a3b17881f275","datavalue":{"value":{"amount":"+0.7634298801422119","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":"Q799390$1FF04758-E14F-4935-8538-6873E952ADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e0b81b2552826be7c7e5eb9850fada89fda2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3999450,"id":"Q3999450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd77f4655ae45dd876f871ed8eef4001d8d2e1d","datavalue":{"value":{"amount":"+0.7591760158538818","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":"Q799390$DC8E99BB-5B00-4E47-AF42-AF198CB728EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e799411c714a3b33757fac2f7059b588ddda8f","datavalue":{"value":{"entity-type":"item","numeric-id":5203721,"id":"Q5203721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdee250f83263f4e5b076c6c36031b09377fdda","datavalue":{"value":{"amount":"+0.7571669220924377","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":"Q799390$15DB0C2B-BCF2-4A91-9F74-B2DF3067C093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c6cca0901fdc6d6c9bc70fdd6a02e744a9305e","datavalue":{"value":{"entity-type":"item","numeric-id":3750100,"id":"Q3750100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce9f53d1e273b216c63f684a8f7b5af90b97d02","datavalue":{"value":{"amount":"+0.7552839517593384","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":"Q799390$4670DC39-711A-4250-BD60-8F97EBE13A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cba6d5eee6f2b6c519ca1bc2976fcb16c41a131","datavalue":{"value":{"entity-type":"item","numeric-id":3336741,"id":"Q3336741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93edd721ce3fbdb9219d9afd3f773feaf144092","datavalue":{"value":{"amount":"+0.7550650238990784","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":"Q799390$FC397BB3-22D3-4C5F-99F3-979F6A969E1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of a functional approach to knowledge representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_of_a_functional_approach_to_knowledge_representation"}}}}}