Aalto University · Digital Twin Lab

Natural-Language-to-Logic (NLTL)

Research resources for translating natural-language engineering and maritime regulatory requirements into machine-readable semantic representations and executable validation rules.

Published resources

R13 benchmark vocabulary — ontology documentation and RDF serializations.

JSON-LD context — machine-readable context from the R13 locked release.

Persistent identifiers

Intended namespace: https://w3id.org/nltl/. The w3id redirect is pending configuration and approval; these identifiers should not be treated as publicly resolvable until verified.