示例#1
0
文件: KB.java 项目: NoHRReasoner/NoHR
  private void setup() {
    try {
      ontology = ontologyManager.createOntology(IRI.generateDocumentIRI());
      hybridKB = new NoHRHybridKB(new File(System.getenv("XSB_BIN_DIRECTORY")), ontology, profile);
      parser = new NoHRRecursiveDescentParser(hybridKB.getVocabulary());
    } catch (final IPException e) {

      throw new RuntimeException(e);
    } catch (final OWLOntologyCreationException e) {

      throw new RuntimeException(e);
    } catch (final UnsupportedAxiomsException e) {

      throw new RuntimeException(e);
    } catch (final PrologEngineCreationException e) {
      throw new RuntimeException(e);
    }
  }
示例#2
0
文件: KB.java 项目: NoHRReasoner/NoHR
 public QLOntologyNormalization getQLNormalizedOntology() throws UnsupportedAxiomsException {
   return new StaticQLOntologyNormalization(ontology, hybridKB.getVocabulary());
 }