|
http://www.w3.org/2000/01/rdf-schema#comment
|
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.
|