private static void check(OWLOntology ont, OWLProfile profile) { System.out.println("Checking ontology is in " + profile.getName()); OWLProfileReport report = profile.checkOntology(ont); System.out.println(report); System.out.println("--------------------------------------------------------------------------"); } }
@Override public OWLProfileReport checkOntology(OWLOntology ontology) { return getOWLProfile().checkOntology(ontology); }
@Override public String getName() { return getOWLProfile().getName(); }
final OWLProfileReport report = profile.checkOntology(parsedOntology); if(nextInProfile.getIRI().equals(reasonerProfile)) if(nextInProfileReport.getProfile().getIRI().equals(reasonerProfile))
conn.add(nextOntology.getOntologyVersionUri(), OasConstants.OAS_INPROFILE, nextProfile.getIRI() .toOpenRDFURI(), nextOntology.getOntologyVersionUri());
@Override public OWLProfileReport checkOntology(OWLOntology ontology) { return getOWLProfile().checkOntology(ontology); }
@Override public String getName() { return getOWLProfile().getName(); }
OasConstants.OAS_INPROFILE, nextProfile.getIRI().toOpenRDFURI(), false, SesameUtils.ONTOLOGY_MANAGER_GRAPH));
private String getProfile(final OWLOntology ontology) { for (final OWLProfile profile : _profiles) if (profile.checkOntology(ontology).isInProfile()) return profile.getName(); return "Unknown Profile"; }
@Override public OWLProfileReport checkOntology(OWLOntology ontology) { return getOWLProfile().checkOntology(ontology); }
@Override public String getName() { return getOWLProfile().getName(); }
conn.add(managedOntologyVersionUri, OasConstants.OAS_INPROFILE, nextProfile.getIRI().toOpenRDFURI(), ontologyManagerGraphs);
@Override public ProfileMetricValue computeValue() { OWLProfileReport report = profile.checkOntology(getRootOntology()); return new ProfileMetricValue(profile.getName(), report.isInProfile()); }
public Set<OWLAxiom> getAxioms(Set<OWLOntology> sourceOntologies) { Set<OWLAxiom> axioms = new HashSet<>(); for (OWLOntology ont: sourceOntologies){ axioms.addAll(ont.getAxioms()); } for (OWLOntology ont : sourceOntologies){ OWLProfileReport report = profile.checkOntology(ont); for (OWLProfileViolation disConstr : report.getViolations()){ axioms.remove(disConstr.getAxiom()); } } return axioms; }
@Override public String toString() { StringBuilder sb = new StringBuilder(profile.getName()); sb.append(" Profile Report: "); if (isInProfile()) { sb.append("[Ontology and imports closure in profile]\n"); } else { sb.append( "Ontology and imports closure NOT in profile. The following violations are present:\n"); } violations.forEach(v -> sb.append(v).append('\n')); return sb.toString(); } }
public Set<OWLAxiom> getAxioms(Set<OWLOntology> sourceOntologies) { Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); for (OWLOntology ont: sourceOntologies){ axioms.addAll(ont.getAxioms()); } for (OWLOntology ont : sourceOntologies){ OWLProfileReport report = profile.checkOntology(ont); for (OWLProfileViolation disConstr : report.getViolations()){ axioms.remove(disConstr.getAxiom()); } } return axioms; }
@Override public String toString() { StringBuilder sb = new StringBuilder(profile.getName()); sb.append(" Profile Report: "); if (isInProfile()) { sb.append("[Ontology and imports closure in profile]\n"); } else { sb.append( "Ontology and imports closure NOT in profile. The following violations are present:\n"); } violations.forEach(v -> sb.append(v).append('\n')); return sb.toString(); } }
public Set<OWLAxiom> getAxioms(Set<OWLOntology> sourceOntologies) { Set<OWLAxiom> axioms = new HashSet<>(); for (OWLOntology ont: sourceOntologies){ axioms.addAll(ont.getAxioms()); } for (OWLOntology ont : sourceOntologies){ OWLProfileReport report = profile.checkOntology(ont); for (OWLProfileViolation disConstr : report.getViolations()){ axioms.remove(disConstr.getAxiom()); } } return axioms; }
@Override public String toString() { StringBuilder sb = new StringBuilder(profile.getName()); sb.append(" Profile Report: "); if (isInProfile()) { sb.append("[Ontology and imports closure in profile]\n"); } else { sb.append( "Ontology and imports closure NOT in profile. The following violations are present:\n"); } violations.forEach(v -> sb.append(v).append('\n')); return sb.toString(); } }
public Set<OWLAxiom> getAxioms(Set<OWLOntology> sourceOntologies) { Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); for (OWLOntology ont: sourceOntologies){ axioms.addAll(ont.getAxioms()); } for (OWLOntology ont : sourceOntologies){ OWLProfileReport report = profile.checkOntology(ont); for (OWLProfileViolation disConstr : report.getViolations()){ axioms.remove(disConstr.getAxiom()); } } return axioms; }