Lines Matching defs:with
15 \section{Issues (with implementation options)}
54 have a way to distingiush several named specs with one OWL DL file,
120 \item with annos this is not easy. Here it must be possible to
122 \item with annos this is not easy. Here it must be possible to
147 Identifier. Collides a little bit with minCardinality[pred\_name],
150 \item Namespace abbrevs are added as prefix to the Identifier with an
163 with \verb|owl:Thing| and \newline \verb|owl:Nothing|.
169 with the other AnnotationProperties?
178 with every symbol (sort name, pred name, op name)
239 compound id with exactly one compound and two arguments: (1) a
255 \item renamed symbols mapped to their real name (OWL DL name) with
289 analysis working with the predefined stuff visible.