Searched refs:mapping (Results 1 - 9 of 9) sorted by relevance

/hets/Maude/doc/
H A Ddg.tex88 As seen in Section \ref{subsec:views}, a particular case of mapping
89 between operators is the mapping between
95 %resulting from the mapping.
110 the mapping indicated by the view (more specifically, the source sorts) is
116 the sort name and hence they are modified by the mapping in the view.
176 \verb"M". This link is labeled with the mapping defined in the view \verb"V",
H A Dmaude.tex303 issues regarding the mapping of such operators (see Section
355 theory, the target module or theory, and the mapping of each sort and
446 necessary to explicitly indicate the mapping.
/hets/doc/
H A Dcollected_proposals.tex70 complete mapping of all distinct ids of sorts, preds and / or ops to
H A DUserGuideCommonLogic.tex260 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}.
451 mapping types to soft types \\\hline
829 is formally defined in \cite{colore-fois}. Informally, one module relatively interprets those “modules whose theorems are preserved within the current module through [a] mapping. There exists a mapping between modules such that all theorems of the other module hold in the current module after the mapping is applied.” \cite{Colore-metadata}
907 The heterogeneous library \texttt{CommonLogic/Examples/SymbolMap.het} in the \Hets library \cite{hets-library:URL} establishes a mapping (actually: a relative interpretation) between these two Common Logic texts:
922 and the target ontology; the other names (none in this concrete case) are implicitly the same. A mapping of a single name is defined with
H A Dhs2isa.tex61 mapping Haskell types to Isabelle ones, therefore taking full
899 \qquad t\_instantiate \ Monad \ mapping \ m\_\tau' \\
1091 \noindent $t\_instantiate \ MonadOps \ mapping \ m\_LS$ \\
1102 \noindent In order to construct a mapping from \emph{MonadAxms} to
1126 $t\_instantiate \ Monad \ mapping \ mon\_LS$\\
H A DUserGuide.tex518 mapping types to soft types \\\hline
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex151 underscore only if needed for distinction and the real mapping of
199 mapping URIs to abbreviations that are kept during the translation
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 68 milliseconds