A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.

Carmine Dodaro Marco Maratea Francesco Riccio

Published in: Datalog (2022)

Keyphrases

controlled natural language
semantic representation
social semantic desktop
natural language
formal language
answer set programming
business rules
semantic constraints
association rules
web applications
domain experts
domain knowledge
peer to peer
formal semantics
delay insensitive