/** http://www.w3.org/ns/owl-profile/Full. **/ OWL2_FULL ("Full", FaCTPlusPlus, HermiT, JFact, TrOWL, Pellet, MORe){ @Override public OWLProfile getOWLProfile() { return new OWL2Profile(); } }; //@formatter:on
/** http://www.w3.org/ns/owl-profile/Full. **/ OWL2_FULL ("Full", FaCTPlusPlus, HermiT, JFact, TrOWL, Pellet, MORe){ @Override public OWLProfile getOWLProfile() { return new OWL2Profile(); } }; //@formatter:on
/** http://www.w3.org/ns/owl-profile/Full. **/ OWL2_FULL ("Full", FaCTPlusPlus, HermiT, JFact, TrOWL, Pellet, MORe){ @Override public OWLProfile getOWLProfile() { return new OWL2Profile(); } }; //@formatter:on
private OWLProfile getSelectedProfile() { if (owl2Button.isSelected()){ return new OWL2Profile(); } else if (owlDLButton.isSelected()){ return new OWL2DLProfile(); } else if (elPPButton.isSelected()){ return new OWL2ELProfile(); } return null; } }
private OWLProfile getSelectedProfile() { if (owl2Button.isSelected()){ return new OWL2Profile(); } else if (owlDLButton.isSelected()){ return new OWL2DLProfile(); } else if (elPPButton.isSelected()){ return new OWL2ELProfile(); } return null; } }
private OWLProfile getSelectedProfile() { if (owl2Button.isSelected()){ return new OWL2Profile(); } else if (owlDLButton.isSelected()){ return new OWL2DLProfile(); } else if (elPPButton.isSelected()){ return new OWL2ELProfile(); } return null; } }
private OWLProfile getSelectedProfile() { if (owl2Button.isSelected()){ return new OWL2Profile(); } else if (owlDLButton.isSelected()){ return new OWL2DLProfile(); } else if (elPPButton.isSelected()){ return new OWL2ELProfile(); } return null; } }
metrics.add(new AnnotationAxiomCountMetricCalculator(rootOntology)); metrics.add(new ProfileMetricCalculator(rootOntology, new OWL2Profile())); metrics.add(new ProfileMetricCalculator(rootOntology, new OWL2DLProfile())); metrics.add(new ProfileMetricCalculator(rootOntology, new OWL2ELProfile()));
break; case "FULL": owlProfile = new OWL2Profile(); break; // #162 default:
/** * Checks an ontology and its import closure to see if it is within * this profile. * @param ontology The ontology to be checked. * @return An <code>OWLProfileReport</code> that describes whether or not the * ontology is within this profile. */ public OWLProfileReport checkOntology(OWLOntology ontology) { OWL2Profile owl2Profile = new OWL2Profile(); OWLProfileReport report = owl2Profile.checkOntology(ontology); Set<OWLProfileViolation> violations = new LinkedHashSet<OWLProfileViolation>(); if(!report.isInProfile()) { //We won't be in the OWL 2 DL Profile then! violations.addAll(report.getViolations()); } OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure()); OWL2DLProfileObjectVisitor visitor = new OWL2DLProfileObjectVisitor(walker, ontology.getOWLOntologyManager()); walker.walkStructure(visitor); violations.addAll(visitor.getProfileViolations()); return new OWLProfileReport(this, violations); }
public static void main(String[] args) { try { DefaultPrefixManager pm = new DefaultPrefixManager("http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl#"); SimpleShortFormProvider sfp = new SimpleShortFormProvider(); // SimpleRenderer ren = new SimpleRenderer(); ManchesterOWLSyntaxOWLObjectRendererImpl ren = new ManchesterOWLSyntaxOWLObjectRendererImpl(); ren.setShortFormProvider(sfp); ToStringRenderer.getInstance().setRenderer(ren); OWLOntologyManager man = OWLManager.createOWLOntologyManager(); // OWLOntology ont = man.loadOntologyFromOntologyDocument(URI.create("http://www.co-ode.org/ontologies/pizza/pizza.owl")); OWLOntology ont = man.loadOntologyFromOntologyDocument(IRI.create("http://owl.cs.manchester.ac.uk/repository/download?ontology=http://protege.cim3.net/file/pub/ontologies/tambis/tambis-full.owl&format=RDF/XML")); System.out.println("Loaded ontology"); check(ont, new OWL2Profile()); check(ont, new OWL2DLProfile()); check(ont, new OWL2ELProfile()); check(ont, new OWL2QLProfile()); check(ont, new OWL2RLProfile()); } catch (OWLOntologyCreationException e) { e.printStackTrace(); } }