Searched refs:ontologies (Results 1 - 6 of 6) sorted by relevance

/hets/utils/
H A Ddol2het.pl8 # this assumes (hard-coded so far) that the "ontologies" directory of COLORE is in the HETS_LIB path variable
9 my @IN_HETS_LIB = qw(http://code.google.com/p/colore/source/browse/trunk/ontologies/);
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java47 private static Set<OWLOntology> ontologies; field in class:OWL2Parser
151 ontologies = getImports(ontology, new HashSet<OWLOntology>());
171 ontologies.add(ontology);
292 for (OWLOntology onto : ontologies) {
/hets/utils/nightly/
H A Dcronjob.sh218 https://colore.googlecode.com/svn/trunk/ontologies colore
221 http://colore.oor.net=http://colore.googlecode.com/svn/trunk/ontologies \
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex58 ontologies can't be used. The formal parameter specification
140 used. For a set of theories (containing ontologies) developed in
/hets/doc/
H A DUserGuideCommonLogic.tex873 (name map) in a relation.\footnote{While the ``copy'' semantics of Common Logic importations does not permit renamings, \HetCASL's extension mechanism offers an alternative possibility to reuse ontologies and rename some of their symbols, using the ``\textit{importedSpec} \textbf{with} \textit{name1Old} |-> \textit{name1New}, \textit{name2Old} |-> \textit{name2New} \textbf{then} \textit{importingSpec}'' syntax.}
881 This section introduces several typical examples of using Common Logic ontologies with \Hets.
1037 Existing ontologies for ambient assisted living (e.g.\ the OpenAAL\footnote{\url{http://openaal.org}} OWL ontology) cover the \emph{core} of these concepts; they provide at least classes (or generic superclasses) corresponding to the concepts highlighted in \textbf{bold}. However, that does not cover the scenario completely. In particular, there are relevant concepts (here: space and time, \underline{underlined}), which are not covered at the required level of complexity. OpenAAL says that appointments have a date and that rooms can be connected to each other, but not what exactly that means. Foundational ontologies and spatial calculi, often formalized in first-order logic, cover space and time at the level of complexity required by a central controller of an apartment and by an autonomously navigating wheelchair.
1062 %% this is the default name that Hets assigns to unnamed ontologies,

Completed in 37 milliseconds