Searched defs:The (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex177 The Heterogeneous Tool Set (\Hets) is an open source software providing
204 \section{The Heterogeneous Tool Set and Its Input Languages}
206 The central idea of the Heterogeneous Tool Set (\protect\Hets) is to
211 as logic translations. The \Hets motherboard already has plugged in
220 \caption{The \Hets motherboard and some expansion cards}
226 architectural specifications and libraries. The latter of course needs
231 which formalise the notion of a logic. The theory behind \Hets is laid
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}.
285 specifications or modules written in a specific logic. The graph of
320 \Hets supports a variety of different logics. The followin
[all...]

Completed in 10 milliseconds