Lines Matching refs:item
47 \item Name derived from URI of the OWL DL-File.
48 \item Ontologies in OWL DL can be named. We should encourage people
50 \item (Given as annotation to the Ontology in the OWL DL-File.)
97 \item An instantiation of GenCardinality must be traced. All
101 \item new FORMULA variants, that have directly the semantics of
114 \item means globally available but namespaces have to be
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
146 \item Namespace abbrevs go as first Id in compound
150 \item Namespace abbrevs are added as prefix to the Identifier with an
173 \item keeping them as annotations in \CASLDL \
177 \item declaring them as special binary relations, that could relate
195 \item[Namespaces] \
203 \item[Mapping of spec names to URIs (files)]\
212 \item[Declaration and application of OWL Annotation Properties]\
253 \item Namespace abrreviation maps (maybe better as part of the
255 \item renamed symbols mapped to their real name (OWL DL name) with