Searched +refs:hpf +refs:mode +refs:syntax +refs:table (Results 1 - 2 of 2) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex181 is a Lisp-like syntax for CL;
243 CLIF syntax, and also recursively reads in any imported files (cf.\ Sect.~\ref{relationsInCL} for the syntax).
250 Sect.~\ref{relationsInCL}. Alternatively, CLIF syntax can be used
259 the native OWL XML syntax \cite{w3c:owl2-xml}, the human-readable
260 Manchester syntax \cite{w3c:owl2-manchester}, as well as RDF \cite{w3c:owl2-RDF-mapping}. The RDF data model has multiple possible syntaxes itself, including RDF/XML \cite{w3c04:rdf-xml} and the text-oriented Turtle syntax \cite{w3c:turtle}.
264 files. For this purpose, OWL2 Manchester syntax can be used within
284 \HetCASL syntax, where \emph{basic specifications} are unstructured
291 \begin{lstlisting}[float,label={fig:lang},caption={Syntax of a simple subset of the heterogeneous specification language. \texttt{BASIC-SPEC} and \texttt{SYMBOL-MAP} have a logic specific syntax, whil
[all...]
H A DUserGuide.tex180 \HetCASL syntax, where \emph{basic specifications} are unstructured
207 specific syntax, while \texttt{ID} stands for some form of
307 types for signatures, morphisms, abstract syntax etc. This eases
354 written in JAVA to obtain the abstract syntax for an OWL file and its
364 a strongly typed variant of OWL in \CASL syntax.
452 the characteristic features of hybrid logic, both at the level of syntax and semantics. A comorphism from HybridCASL
693 with respect to the \CASL syntax, as
819 syntax needs to be used:
834 Note that according to the Haskell syntax, Haskell function
1199 to the current development graph in a .hpf fil
[all...]

Completed in 86 milliseconds