An instance of this class represents a particular logical formalism, such as KIF, SWRL, or DRS. At present we allow for zero or more URIs to be specified, which normally are references to public document(s) that define the formalism. We anticipate a variety of other properties will be added as the requirements become better understood.
|Mapping To||Ontology||Source||Comment||Relationship||Added By||Added On||Notes|
|There are currently no mappings for this term.|