Formal Language

• CURIE: gmeow:FormalLanguage
• IRI: https://blackcatinformatics.ca/gmeow/FormalLanguage
• Category: class
• Defined by: gmeow:slices/language
• Box roles: TBox role (What is this?)

A grammar-defined language with a machine modality and no human native speakers — programming, markup, query, logic, schema, and configuration languages. A thin structural split from gmeow:Language (the sociolinguistic facets — endonym/exonym, co-mingled scripts, native-speaker status — do not apply), complemented by the gmeow:languageOrigin value for fine-grained classification.

Structure

Subclass of: gmeow:Language

Practical Pattern

Use gmeow:FormalLanguage as a specialized kind of gmeow:Language. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Common Companion Terms

gmeow:Language

Projects To

External Equivalences

Equivalent or closely aligned targets: wd

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Projection Coverage

Usage Advice

Use when

• Use for a grammar-defined, machine-modality language with no human native speakers — markup, query, logic, schema, or configuration languages — where the sociolinguistic facets of a natural language do not apply.

Avoid when

• Avoid for a natural human language (use gmeow:Language) and, when the language expresses executable computation, prefer the narrower gmeow:ProgrammingLanguage so gmeow:writtenInLanguage targets are precise.

How to use

• Type the formal language as FormalLanguage (or ProgrammingLanguage), classify it with gmeow:languageOrigin, and skip the endonym/exonym and writing-system-usage machinery that only natural languages need.

Examples

• ex:langJson a gmeow:FormalLanguage; gmeow:languageCode "json".