#MoonTTL

#特性

• 多格式支持：完整支持 Turtle, TriG, N-Triples, N-Quads 和 N3 格式的解析与序列化（目前仅支持 N-Quads 格式）。
• RDF 1.2 兼容：全面支持最新的 RDF 1.2 国际标准规范。
• 高性能：基于状态机的词法分析器设计，提供高效的解析性能。
• 轻量级：专注于核心解析功能，保持依赖最小化。

#安装

{
  "name": "your_username/your_project",
  "deps": [
    "thy1016/moonttl"
  ]
}

#命令行工具

#从字符串解析

moon run src/cmd/main -- "<http://example.org/s> <http://example.org/p> <http://example.org/o> ."

#从文件解析

echo '<http://example.org/s> <http://example.org/p> <http://example.org/o> .' > test.nq
moon run src/cmd/main -- -f test.nq

#详细输出模式

moon run src/cmd/main -- -v -f test.nq

#命令行选项

• -f, --file <path> - 指定输入文件路径
• -v, --verbose - 启用详细输出模式
• <input> - 直接输入 N-Quads 格式的字符串

#N-Quads 格式说明

<http://example.org/s> <http://example.org/p> <http://example.org/o> .

#示例代码

let content = "<http://example.org/s> <http://example.org/p> <http://example.org/o> .\n"
let data = @utf8.encode(content).to_array()

let lexer = @lib.Lexer::Lexer(
  @lib.RdfLexer::RdfLexer(@lib.RdfMode::NTriples, false, []),
  data,
  true,
  @lib.MIN_BUFFER_SIZE,
  @lib.MAX_BUFFER_SIZE,
  Some(b"#"),
  0,
  0,
)

let logger = @lib.make_console_logger()

let machine = @lib.NQuadsRecognizer::{
  current_state: @lib.NQuadsState::ExpectSubject,
  stack: [@lib.NQuadsState::ExpectSubject],
  emit_quad: false,
  temp_literal: None,
  lenient: false,
  debug_logger: logger,
  last_range: @lib.Range::default(),
  errors: [],
}

let context = @lib.RdfContext::NQuadsRecognizerContext(@lib.NQuadsRecognizerContext::{
  with_graph_name: true,
  lexer_options: { base_iri: None },
})

let generic_machine = @lib.GenericStateMachine::GenericStateMachine(
  machine,
  context,
  debug_logger=logger,
)
let parser = @lib.Parser::{
  lexer,
  engine: generic_machine,
  context,
  errors: [],
}


for ;; {
  match parser.parse_next() {
    Some(Ok(quad)) => println("Parsed: \{quad}")
    Some(Err(e)) => println("Error: \{e}")
    None => break
  }
}

#项目结构

src/
├── lexer_*.mbt      # 词法分析器
├── parser_*.mbt      # 语法分析器
├── iri.mbt          # IRI 处理
├── literal.mbt      # 字面量处理
├── langtag.mbt      # 语言标签处理
└── tests/           # 测试文件

#Examples

#解析 N-Quads 文件

moon run src/examples/nquads

• 从字符串创建 N-Quads 内容并写入文件
• 从文件读取并解析为二进制数据
• 使用词法分析器和状态机解析 RDF 四元组
• 错误处理和结果汇总

#许可证声明

• W3C 3-clause BSD License — 允许修改和集成到开发工具中，但禁止对修改后的测试断言性能声明或规范一致性。
• W3C Test Suite License — 要求测试文件保持未修改状态，方可对外发布性能声明。

#测试覆盖范围

#性能基准

#基准测试环境

#性能对比

 实现                  解析时间    每秒解析     每条耗时
━━━━━━━━━━━━━━━━━━━━  ━━━━━━━━━━  ━━━━━━━━━━━  ━━━━━━━━━━━
 MoonTTL (MoonBit)     1.76 ms     568,612      0.0018 ms
────────────────────  ──────────  ───────────  ───────────
 Oxigraph (Rust)       2.00 ms     500,000      0.0020 ms
────────────────────  ──────────  ───────────  ───────────
 rdflib (Python)       17.89 ms    55,900       0.0179 ms
────────────────────  ──────────  ───────────  ───────────
 Apache Jena (Java)    2,734 ms    36,576       0.0273 ms
────────────────────  ──────────  ───────────  ───────────
 no-brain-scan (C)     0.16 ms     6,250,000    0.0002 ms

### MoonTTL 性能分析

=== MoonBit 解析 test_1000.nq ===
文件: test_1000.nq
文件大小: 103670 bytes

=== 性能数据 ===
Lexer:       515.532 µs (5000 tokens)
ParserE:     575.14 µs (1000 quads)
验证:        1448.353 µs (1000 quads, 0 errors)
物化:        310.314 µs (1000 quads, 0 errors)

=== 总计 ===
总时间:      1.76 ms
三元组数量:  1000
每秒解析:    568,612
每三元组:    0.0018 ms

#运行基准测试

cd src/benchmark
./run_all.sh

#性能优化特性

• 零拷贝设计：词法分析器基于字节数组切片，避免不必要的内存分配
• 状态机驱动：使用有限状态机进行语法解析，保证 O(n) 时间复杂度
• 前瞻解析：减少函数调用开销
• 批量物化：验证和物化分离，支持批量处理
• 错误恢复：遇到错误自动跳过当前行，继续解析后续内容

#贡献指南

1. Fork 本仓库
2. 创建您的特性分支 (git checkout -b feature/amazing-feature)
3. 提交您的更改 (git commit -m 'Add some amazing feature')
4. 推送到分支 (git push origin feature/amazing-feature)
5. 开启一个 Pull Request

#开发环境设置

#克隆仓库

#安装依赖

#运行测试

#构建项目

#许可证

• Apache License, Version 2.0, (LICENSE-APACHE or <http://www.apache.org/licenses/LICENSE-2.0>)

#贡献