Class: expr:LogicLanguage
http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#LogicLanguage
Annotations (1)
-
rdfs: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.
" ()
Disjoints (6)
Usage (9)