Engineered language
Engineered languages (sometimes abbreviated to engilangs or engelangs) are constructed languages devised to test or prove some hypotheses about how languages work or might work. There are at least th...
Knowledge representation
Knowledge representation and reasoning (KR) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve com...
Philosophical language
A philosophical language is any constructed language that is constructed from first principles, like a logical language, but may entail a strong claim of absolute perfection or transcendent or even my...
Philosophical language - Wikipedia
Experimental language
An experimental language is a constructed language designed for linguistics research, often on the relationship between language and thought.One particular assumption having received much attention in...
List of constructed languages
This list of notable constructed languages is in alphabetical order, and divided into auxiliary, engineered, and artistic (including fictional) languages, and their respective subgenres.
Internati...
CosmicOS
CosmicOS is a self-contained message designed to be understood primarily by treating it as a computer program and executing it. It is inspired by Hans Freudenthal's Lincos and resembles the programmi...
Blissymbols
Blissymbols or Blissymbolics was conceived as an ideographic writing system called Semantography consisting of several hundred basic symbols, each representing a concept, which can be composed togethe...
Blissymbols - Wikipedia
Lojban
Lojban (pronounced [ˈloʒban]) is a constructed, syntactically unambiguous human language based on predicate logic, succeeding the project of Loglan. The name "Lojban" is a compound formed from loj and...
Ro (artificial language)
Ro is an a priori constructed language created by Rev. Edward Powell Foster beginning in 1904.
In Ro, words are constructed using a category system. For example, all words starting with "bofo-" si...
Unified Modeling Language
The Unified Modeling Language (UML) is a general-purpose modeling language in the field of software engineering, which is designed to provide a standard way to visualize the design of a system.It was ...
Unified Modeling Language - Wikipedia
KRL (programming language)
KRL is a knowledge representation language, developed by Daniel G. Bobrow and Terry Winograd while at Xerox PARC and Stanford University, respectively. It is a frame-based language.
"An Overview ...
Kalaba-X
Kalaba-X is a simple constructed language created by the American linguist Kenneth L. Pike to help with the teaching of translation techniques.Each sentence in Kalaba-X has a fixed structure, consisti...
Open world assumption
In a formal system of logic used for knowledge representation, the open-world assumption is the assumption that the truth value of a statement may be true irrespective of whether or not it is known to...
Resource Description Framework
The Resource Description Framework (RDF) is a family of World Wide Web Consortium (W3C) specifications originally designed as a metadata data model. It has come to be used as a general method for conc...
Resource Description Framework - Wikipedia
Common logic
Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.The CL defini...
Ithkuil
A phrase in the original version of Ithkuil, rendered in native script.Romanization: Oumpeá äx’ääļuktëx.Translation: "On the contrary, I think it may turn out that this rugged mountain ...
Ithkuil - Wikipedia
NeOn Toolkit
The NeOn Toolkit is an open source, multi-platform ontology editor, which supports the development of ontologies in OWL/RDF. The editor is based on the Eclipse platform and provides a set of plug-ins ...
Ontic
In philosophy, ontic (from the Greek ὄν, genitive ὄντος: "of that which is") is physical, real, or factual existence."Ontic" describes what is there, as opposed to the nature or properties of that bei...
Semantic parameterization
Semantic parameterization is a conceptual modeling process for expressing natural language descriptions of a domain in first-order predicate logic. The process yields a formalization of natural langua...
Ontology Inference Layer
OIL (Ontology Inference Layer or Ontology Interchange Language) can be regarded as an ontology infrastructure for the Semantic Web. OIL is based on concepts developed in Description Logic (DL) and fr...
Prezi
Prezi is a cloud-based (SaaS) presentation software and storytelling tool for presenting ideas on a virtual canvas. The product employs a zooming user interface (ZUI), which allows users to zoom in an...
Prezi - Wikipedia
Unique name assumption
The unique name assumption is a simplifying assumption made in some ontology languages and description logics. In logics with the unique name assumption, different names always refer to different enti...
CDS ISIS
CDS/ISIS is a software package for generalised Information Storage and Retrieval systems developed, maintained and disseminated by UNESCO. It was first released in 1985 and since then over 20,000 lice...
Multi-agent system
A multi-agent system (M.A.S.) is a computerized system composed of multiple interacting intelligent agents within an environment. Multi-agent systems can be used to solve problems that are difficult o...
Multi-agent system - Wikipedia
Semantic data model
A semantic data model in software engineering has various meanings: Typically the instance data of semantic data models explicitly include the kinds of relationships between the various data elements,...
Semantic data model - Wikipedia
Qualification problem
In philosophy and AI (especially, knowledge based systems), the qualification problem is concerned with the impossibility of listing all the preconditions required for a real-world action to have its ...
Thesaurus
In general usage, a thesaurus is a reference work that lists words grouped together according to similarity of meaning (containing synonyms and sometimes antonyms), in contrast to a dictionary, which ...
Thesaurus - Wikipedia