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

/hets/doc/
H A DUserGuideCommonLogic.tex19 \usepackage{casl}
181 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, wher
[all...]
H A DUserGuide.tex6 \usepackage{casl}
180 \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
684 \texttt{Order.casl} (actually, this file is provided
685 with the \Hets distribution as \texttt{Hets-lib/UserManual/Chapter3.casl}).
690 \texttt{hets Order.casl}
[all...]

Completed in 630 milliseconds