예제 #1
0
  protected void loadOntology() {
    try {

      manager = OWLManager.createOWLOntologyManager();

      URI physicalURI = URI.create(PREFERENCES.getOntologyURL());

      // Now do the loading
      ontology = manager.loadOntologyFromPhysicalURI(physicalURI);

      manager.setPhysicalURIForOntology(ontology, physicalURI);

    } catch (final Exception e) {
      Runnable runnable =
          new Runnable() {
            public void run() {
              JOptionPane.showMessageDialog(
                  null,
                  "Could not create the ontology.  (This probably happened\n"
                      + "because the ontology could not be accessed due to network\n"
                      + "problems.)\n"
                      + "["
                      + e.getMessage()
                      + "]",
                  "Error",
                  JOptionPane.ERROR_MESSAGE);
              System.exit(1);
            }
          };
      SwingUtilities.invokeLater(runnable);
    }
  }
예제 #2
0
/**
 * OWL 2 RL Test Case Premise Ontology Checker.
 *
 * <p>Assuming that the ontology meets the OWL 2 RL syntactic restrictions defined in [1], this
 * class checks that the ontology also meets the restrictions defined for O1 from Theorem PR1 [1].
 *
 * <p>" - neither O1 nor O2 contains a IRI that is used for more than one type of entity (i.e., no
 * IRIs is used both as, say, a class and an individual); - O1 does not contain
 * SubAnnotationPropertyOf, AnnotationPropertyDomain, and AnnotationPropertyRange axioms;"
 *
 * <p>[1] http://www.w3.org/2007/OWL/wiki/Profiles#OWL_2_RL
 *
 * @author Stuart Taylor
 * @version 2009-07-15
 */
public class OWL2RLTestCasePremiseChecker extends AbstractOWLSyntaxChecker
    implements OWLSyntaxChecker {

  private final OWLOntologyManager manager = OWLManager.createOWLOntologyManager();

  public void check(OWLOntology ontology) {
    Set<OWLOntology> importsClosure = manager.getImportsClosure(ontology);
    for (OWLOntology o : importsClosure) {
      // FIXME find a version of OWL API that supports annotation property domain, range and
      // subsumption...
      // for (OWLAxiom axiom : o.getLogicalAxioms()) {
      //	AxiomChecker checker = new AxiomChecker();
      //	axiom.accept(checker);
      //
      //	if (!checker.isValid())
      //		unsupported(axiom);
      //
      // }
      for (OWLEntity entity : o.getReferencedEntities()) {
        if (o.isPunned(entity.getURI())) {
          valid = false;

          if (lazyMode) throw new OWLSyntaxException("Punned URI: " + entity.getURI());
        }
      }
    }
  }

  public String getLanguageName() {
    return "OWL 2 RL Test Case Premise Ontology";
  }

  private class AxiomChecker extends AbstractChecker implements OWLAxiomVisitor {
    public void visit(OWLSubClassAxiom axiom) {}

    public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {}

    public void visit(OWLAntiSymmetricObjectPropertyAxiom axiom) {}

    public void visit(OWLReflexiveObjectPropertyAxiom axiom) {}

    public void visit(OWLDisjointClassesAxiom axiom) {}

    public void visit(OWLDataPropertyDomainAxiom axiom) {}

    public void visit(OWLImportsDeclaration axiom) {}

    public void visit(OWLAxiomAnnotationAxiom axiom) {}

    public void visit(OWLObjectPropertyDomainAxiom axiom) {}

    public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {}

    public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {}

    public void visit(OWLDifferentIndividualsAxiom axiom) {}

    public void visit(OWLDisjointDataPropertiesAxiom axiom) {}

    public void visit(OWLDisjointObjectPropertiesAxiom axiom) {}

    public void visit(OWLObjectPropertyRangeAxiom axiom) {}

    public void visit(OWLObjectPropertyAssertionAxiom axiom) {}

    public void visit(OWLFunctionalObjectPropertyAxiom axiom) {}

    public void visit(OWLObjectSubPropertyAxiom axiom) {}

    public void visit(OWLDisjointUnionAxiom axiom) {}

    public void visit(OWLDeclarationAxiom axiom) {}

    public void visit(OWLEntityAnnotationAxiom axiom) {}

    public void visit(OWLOntologyAnnotationAxiom axiom) {}

    public void visit(OWLSymmetricObjectPropertyAxiom axiom) {}

    public void visit(OWLDataPropertyRangeAxiom axiom) {}

    public void visit(OWLFunctionalDataPropertyAxiom axiom) {}

    public void visit(OWLEquivalentDataPropertiesAxiom axiom) {}

    public void visit(OWLClassAssertionAxiom axiom) {}

    public void visit(OWLEquivalentClassesAxiom axiom) {}

    public void visit(OWLDataPropertyAssertionAxiom axiom) {}

    public void visit(OWLTransitiveObjectPropertyAxiom axiom) {}

    public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {}

    public void visit(OWLDataSubPropertyAxiom axiom) {}

    public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {}

    public void visit(OWLSameIndividualsAxiom axiom) {}

    public void visit(OWLObjectPropertyChainSubPropertyAxiom axiom) {}

    public void visit(OWLInverseObjectPropertiesAxiom axiom) {}

    public void visit(SWRLRule rule) {}
  }
}