KRSL

Knowledge Representation Specification Language

Used by the DARPA/Rome Laboratory Planning and Scheduling Initiative for specifying shared ontologies. Includes built-in ontologies for time, measurement, resource, and planning operations.