Version 0.2 with DID Support

Key
Internet Language

Natural language substrate with formal semantics. Build knowledge graphs, power AI communication, and structure semantic data. For Humans and Robots Alike.

Alice person knows Bob person.
Bob knows Charlie.
Alice has age = {30}.
Bob has age = {25}.
~75%
Fewer Errors vs SPARQL
~60%
Less Code
~80%
Faster Learning
10x
Closer to Natural Language

Why Choose Kyl?

Designed from the ground up for error prevention, natural expression, and seamless human-AI collaboration.

Error-Free by Design

Reduced syntax with multi-level validation eliminates common errors. Type inference without explicit declarations.

Human-AI Optimized

Natural language substrate reduces ambiguity. Perfect for AI agents, chatbots, and multi-agent systems.

Native DID Support

Decentralized identity, verifiable credentials, and cryptographic signatures built-in. W3C DID Core compliant.

SPARQL Compatible

Familiar query patterns with 75% fewer errors. Easy migration from existing graph databases.

Minimal Syntax

~15 core constructs vs SPARQL's 50+. Multiple equivalent syntaxes for flexibility.

Universal Interface

Replace JSON/XML with semantic format. Works with knowledge graphs, semantic web, and data exchange.

See Kyl in Action

From simple statements to complex structures with DID protection.

Alice person knows Bob person.
Bob knows Charlie.
Alice has age = {30}.
Bob has age = {25}.

Kyl vs SPARQL

Same power, dramatically simpler syntax.

SPARQL (10 lines)
PREFIX foaf: 
PREFIX geo: 

SELECT ?person ?friend WHERE {
  ?person a foaf:Person ;
          foaf:knows ?friend .
  ?friend foaf:based_near ?location .
  ?location geo:name "Paris" .
}
Kyl (3 lines)
person person knows friend person.
friend based_near location place.
location name = {Paris}.
MetricKyl vs SPARQLKyl vs Cypher
Error Reduction~75% fewer~40% fewer
Syntax Simplicity~60% simpler~40% simpler
Learning Curve~80% faster~50% faster
Natural Language Proximity10x closer5x closer

Built for the Future

From knowledge graphs to AI agents, Kyl powers the next generation of semantic applications.

AI Agents

Human-AI & AI-AI communication

Knowledge Graphs

Error-free data ingestion

Healthcare

HIPAA-compliant records

Smart Contracts

Legally binding documents

Quick Reference

Everything you need to start writing Kyl.

Annotations

<k:t>type</k:t> - Type
{value} - Literal
<k:n>name</k:n> - Name
<k:it>item</k:it> - List item
<k:did>did:x:y</k:did> - DID

Predicates

is - Identity/Type
has - Property
contains - Membership
knows - Relationship
= - Assignment

Values

{42} - Integer
{3.14} - Decimal
{true} - Boolean
{null} - Null
{"text"} - String