Searched refs:ontology (Results 1 - 11 of 11) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/Fact/
H A DFact.java22 OWLOntology ontology =
24 OWLReasoner reasoner = f.createReasoner(ontology);
34 System.out.println("The ontology could not be created: "
/hets/OWL2/tests/
H A DSimpleOWLRenderer.java32 // A simple example of how to load and save an ontology
49 /* Load an ontology from a physical IRI */
54 OWLOntology ontology = manager.loadOntologyFromOntologyDocument(physicalIRI);
57 parse2xml(ontology, out, manager);
59 parse(ontology, out, manager);
/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java50 System.out.println("The ontology could not be created: "
97 OWLOntology ontology =
102 axioms = ontology.getAxioms();
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java118 // A simple example of how to load and save an ontology
135 OWLOntology ontology =
148 ontology =
151 ontologies = getImports(ontology, new HashSet<OWLOntology>());
154 String str = ontology.getOntologyID().getOntologyIRI().toString();
171 ontologies.add(ontology);
270 private static Set<OWLOntology> getImports(OWLOntology ontology, argument
275 next.add(ontology);
276 for (OWLOntology imported : ontology.getDirectImports()) {
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jar ... OWLReasoner) org.semanticweb.owlapi.model.OWLOntology ontology org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory ...
H A Duk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jarMETA-INF/ META-INF/MANIFEST.MF lib/ lib/native/ lib/native/32bit/ lib/native/32 ...
/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DFactProver.java96 OWLOntology ontology =
98 this.reasoner = new FaCTPlusPlusReasoner(ontology,
104 OWLOntology ontology = manager.loadOntologyFromOntologyDocument(giri);
105 Set<OWLAxiom> axioms = ontology.getAxioms();
/hets/doc/
H A Dcollected_proposals.tex22 requests are related to ontology development and therefore are
H A DUserGuideCommonLogic.tex347 the OWL ontology into the sublanguages OWL Full (all of OWL, under the RDF semantics, undecidable \cite{w3c:owl2-rdf-based-semantics}), OWL DL (all of OWL, under the direct semantics \cite{w3c:owl2-direct-semantics}), and the so-called OWL Profiles (i.e.\ proper sublanguages) OWL EL, OWL QL, and OWL RL \cite{w3c:owl2-profiles}.
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
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.
1051 \item Heterogeneous specification allows for reusing the OpenAAL OWL ontology, but at the same time formalizing a first-order spatial calculus.
1053 \item As Common Logic module extends the previously imported OWL ontology, it has access to all entities of the OWL ontology by name; in particular, we can specify that two rooms are connected (in terms of the OpenAAL terminology) if certain conditions in terms of our Common Logic module, or certain conditions in terms of OpenAAL hold.
1066 %% Import the OpenAAL OWL ontology.
1117 In the previous example, we established a link between an OWL ontology and a Common Logic ontology by reusing elements of the signature of the OWL ontology (concretel
[all...]
H A DUserGuide.tex356 the OWL ontology into the sublanguages OWL Full, OWL DL and OWL
1376 serves as semantics-oriented representation format and ontology
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex65 abbrev for the disambiguation when an imported ontology is extended)
75 ontology in any case.
77 \subsection{Structuring an ontology inside an OWL DL-File}
215 be applied to all symbols / entities like the ontology as a whole and

Completed in 38 milliseconds