The "integrated experience":
- AsTMa= factual maps
- optimized for human authoring
- no interchange syntax, not orthogonal by design
- AsTMa! constraint language
- ambitions to be an ontology definition language
- (whatever an ontology is exactly)
- ultimate goal is a TM flavoured DL (description logic)
- constraints are exactly this: a filter on a factual map
- contains AsTMa=
- AsTMa? query language
- retrieval, query for TM based storage
- language can transform TM content into strings, lists, XML, RDF and TM data
- uses AsTMa! constraints
- AsTMa+ update language
- update of maps (and ontologies, and queries, and updates)
- uses AsTMa= and AsTMa?
