Some specifications:
About abstract models for KRLs:
- a top-level ontology of structures for KRL models
- particular KRL models
- some translation rules between some KRL model structures
About concrete models (notations) for KRLs:
- some primitives for specifying KRL notations and exports
- particular KRL notations
- an ontology of grammars (general ontology + grammar for a generic parser of KRLs;
future specifications of particular grammars will be used for automatically
generating grammars based on a KRL specification)
Server to translate from one KRL to another (KRL names or KRL specifications can be given):
interface without frame