Wikilambda:Wikilambda/Glossary
Jump to navigation
Jump to search
- Feel free to ask for terms on the talk page, or add more terms and improve the definitions.
- abstract
- not in a specific natural language but abstracting from it; aiming to provide a notation for the meaning behind natural language texts, sentences, or phrases.
- abstracttext
- prototype implementation of the Wikilambda idea.
- Abstract Wikipedia
- preliminary name of all the Content that can be used by local Wikipedias to render an article in natural language; currently proposed to live in Wikidata next to the corresponding Item, but that will be discussed before Part P2 of the development project.
- article
- a page in the main namespace of Wikipedia, usually representing one entry in Wikipedia.
- development project
- a project to develop Wikilambda and Abstract Wikipedia; see Wikilambda plan.
- eneyj
- (1) prototype model of Wikilambda, (2) a JavaScript implementation of an evaluator of that model provided in abstracttext.
- evaluator
- a piece of software that takes a ZObject and evaluates it, i.e. executes a Function and returns the result. We envision the development of several evaluators. Evaluators may be implemented and run in the browser, on the server of the Wikimedia Foundation, in the cloud, in an app on a mobile device, or other places.
- canonical
- a specific, less verbose and thus more readable way to represent ZObjects in JSON; it is the usual representation ZObjects are stored in Wikilambda.
- concrete
- in a specific natural language.
- Constructor
- an abstract building block of Content; a Constructor aims to capture the meaning of a single phrase or sentence structure and often has slots that can take other Constructors, and can itself be used as a value to fill the slots of other Constructors.
- Content
- abstract representation of a text, assembled from Constructors. Technically, a Constructor itself, in fact the top level Constructor, that is used to represent whole articles and stored in Abstract Wikipedia. Sometimes called abstract Content.
- Function
- the specification of a computation that takes some input and returns output; see en:Function_(computer_science).
- Item
- an entry in Wikidata's knowledge base; see d:Wikidata:Glossary#Item.
- JSON
- a widely used data serialization; see en:JSON.
- Key
- a string which ends with the letter K followed by a natural number, and is optionally preceeded by a ZID. Keys are defined in Wikilambda usually on Types or Functions, and are used to build up ZObjects.
- Lexeme
- an entry in #Wikidata storing lexicographic knowledge about, roughly, a word; see d:Wikidata:Glossary#Lexeme.
- local Wikipedia
- a Wikipedia in a specific language, such as Hebrew Wikipedia, Japanese Wikipedia, or Italian Wikipedia.
- Multilingual Wikipedia
- the architecture that allows local Wikipedias to enrich themselves by rendering the Content from Abstract Wikipedia and thus have a more comprehensive, current, and correct Wikipedia in their language; see Wikilambda:Wikilambda/Architecture.
- natural language
- a specific natural language in the wider sense, such as English, Tagalog, or Swahili; see en:natural language.
- normal
- an extended, easily processable and very uniform way to represent ZObjects in JSON.
- page
- a wiki consists of a number of individual pages, which can be edited independently.
- Part P1
- the part of the development project that deals with creating Wikilambda. It starts at the beginning of the project and goes on throughout its whole lifetime; see Wikilambda:Wikilambda/Tasks#Part P1: Wikilambda.
- Part P2
- the part of the development project that deals with creating Abstract Wikipedia. It starts after about a year in the project and goes on throughout the second half of its lifetime; see Wikilambda:Wikilambda/Tasks#Part P2: Abstract Wikipedia.
- Property
- used to make a statement about an Item in Wikidata's knowledge base; see d:Wikidata:Glossary#Property.
- Renderer
- a Function that gets a Content and an identifier for a natural language as an input and returns text in that natural language as output, representing the Content as concrete text, using knowledge from Lexemes.
- Statement
- used to provide knowledge about an Item in Wikidata's knowledge base; see d:Wikidata:Glossary#Statement.
- Type
- a Type defines the conditions for a ZObject to be a valid instance of this Type, by providing a Function that validates a ZObject. Types are ZObjects themselves, so that contributors of Wikilambda can create new Types.
- wiki
- (1) a web site that allows the easy and collaborative editing of its pages; (2) software to enable such a site; see en:wiki.
- Wikidata
- a project of the Wikimedia Foundation, a free, collaboratively edited knowledge base; see en:Wikidata
- Wikilambda
- preliminary name of a proposed new project of the Wikimedia Foundation, a free, collaboratively catalog of functions
- Wikimedia Foundation
- organization that supports the Wikimedia movement; see en:Wikimedia Foundation
- Wikipedia
- a project of the Wikimedia Foundation, a free, collaboratively edited encyclopedia; see en:Wikipedia
- Wikipedia, Abstract
- see Abstract Wikipedia
- Wikipedia, Multilingual
- see Multilingual Wikipedia
- ZID
- an ID starting with the letter Z and followed by a natural number. Used to identify ZObjects.
- ZObject
- every entry in Wikilambda is a ZObject. ZObjects stored in Wikilambda have ZIDs and can be of numerous types, such as Constructors, Functions, Types, etc. A ZObject consists of a set of Key/Value pairs, with each Key appearing only once per ZObject and Values being ZObjects in return.