MDA - internet/semantic-web/topicmaps/astma/astma-bang

Comment:: not First Order Logic (FOL)
Comment:: textual language to define Topic Map constraints
Comment:: uses AsTMa= to define open and close patterns which are matched against a map -- extended regular expressions for content matching
Comment:: uses variables, quantifiers (forall, exists) and logical operators (AND, OR, NOT) to combine constraints

References: