@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b) { return withReadLock(() -> delegate.getLogicalAxioms(b)); }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports) { return withReadLock(() -> delegate.getLogicalAxioms(imports)); }
private Set<? extends OWLAxiom> getAxioms(OWLOntology ont) { if (mergeOnlyLogicalAxioms) { return ont.getLogicalAxioms(); } else { return ont.getAxioms(); } }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports) { return withReadLock(() -> delegate.getLogicalAxioms(imports)); }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports) { return withReadLock(() -> delegate.getLogicalAxioms(imports)); }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b) { return withReadLock(() -> delegate.getLogicalAxioms(b)); }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(Imports imports) { return withReadLock(() -> delegate.getLogicalAxioms(imports)); }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b) { return withReadLock(() -> delegate.getLogicalAxioms(b)); }
@Override @Deprecated public Set<OWLLogicalAxiom> getLogicalAxioms(boolean b) { return withReadLock(() -> delegate.getLogicalAxioms(b)); }
private OWLAxiom parse(String axiomStr) { String ontologyStr = "Ontology (" + axiomStr + ")"; try { OWLOntology ont = manager .loadOntologyFromOntologyDocument(new ByteArrayInputStream(ontologyStr.getBytes())); return ont.getLogicalAxioms().iterator().next(); } catch (OWLOntologyCreationException e) { LOGGER.error("Failed to parse axiom from " + axiomStr, e); } return null; }
@Override public void visit(OWLOntology ontology) { for (OWLAxiom ax : new TreeSet<OWLAxiom>(ontology.getLogicalAxioms())) { ax.accept(this); write("\n"); } }
public void visit(OWLOntology ontology) { for (OWLAxiom ax : new TreeSet<OWLAxiom>(ontology.getLogicalAxioms())) { ax.accept(this); write("\n"); } }
OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology localOntology=null; File file=new File("ontology/pizza.owl"); if (file == null) return; //loading the ontology try { localOntology = manager.loadOntologyFromOntologyDocument(file); } catch (OWLOntologyCreationException e) { e.printStackTrace(); } //get logical axioms Set<OWLLogicalAxiom> ax = localOntology.getLogicalAxioms();
private List<Construct> getOrderedConstructs() { constructs.clear(); constructs.add(AL); for (OWLOntology ont : ontologies) { for (OWLAxiom ax : ont.getLogicalAxioms()) { ax.accept(this); } } pruneConstructs(); List<Construct> cons = new ArrayList<Construct>(constructs); Collections.sort(cons, new ConstructComparator()); return cons; }
public void processOntology(OWLOntology ontology) { // Each entry in the inclusions list represents a disjunction of // concepts -- that is, each OWLClassExpression in an entry contributes a // disjunct. It is thus not really inclusions, but rather a disjunction // of concepts that represents an inclusion axiom. m_axioms.m_classes.addAll(ontology.getClassesInSignature(true)); m_axioms.m_objectProperties.addAll(ontology.getObjectPropertiesInSignature(true)); m_axioms.m_dataProperties.addAll(ontology.getDataPropertiesInSignature(true)); m_axioms.m_namedIndividuals.addAll(ontology.getIndividualsInSignature(true)); processAxioms(ontology.getLogicalAxioms()); } public void processAxioms(Collection<? extends OWLAxiom> axioms) {
private void addAsserted(List<OWLOntologyChange> changes) { for (OWLOntology o : getOWLModelManager().getReasoner().getRootOntology().getImportsClosure()) { for (OWLLogicalAxiom ax : o.getLogicalAxioms()) { if (ax.isAnnotated() && exportedOntology.containsAxiom(ax.getAxiomWithoutAnnotations())) { changes.add(new RemoveAxiom(exportedOntology, ax.getAxiomWithoutAnnotations())); } changes.add(new AddAxiom(exportedOntology, ax)); } } }
private void addAsserted(List<OWLOntologyChange> changes) { for (OWLOntology o : getOWLModelManager().getReasoner().getRootOntology().getImportsClosure()) { for (OWLLogicalAxiom ax : o.getLogicalAxioms()) { if (ax.isAnnotated() && exportedOntology.containsAxiom(ax.getAxiomWithoutAnnotations())) { changes.add(new RemoveAxiom(exportedOntology, ax.getAxiomWithoutAnnotations())); } changes.add(new AddAxiom(exportedOntology, ax)); } } }
private void addAsserted(List<OWLOntologyChange> changes) { for (OWLOntology o : getOWLModelManager().getReasoner().getRootOntology().getImportsClosure()) { for (OWLLogicalAxiom ax : o.getLogicalAxioms()) { if (ax.isAnnotated() && exportedOntology.containsAxiom(ax.getAxiomWithoutAnnotations())) { changes.add(new RemoveAxiom(exportedOntology, ax.getAxiomWithoutAnnotations())); } changes.add(new AddAxiom(exportedOntology, ax)); } } }
public static void main(String[] args) throws Exception { StringRenderer.setRenderer(Rendering.DL_SYNTAX); SyntheticDataGenerator dataGenerator = new SyntheticDataGenerator(); OWLOntology ontology = dataGenerator.createData(3, 10); System.out.println(ontology.getLogicalAxioms()); }
private void addAsserted(List<OWLOntologyChange> changes) { for (OWLOntology o : getOWLModelManager().getReasoner().getRootOntology().getImportsClosure()) { for (OWLLogicalAxiom ax : o.getLogicalAxioms()) { if (ax.isAnnotated() && exportedOntology.containsAxiom(ax.getAxiomWithoutAnnotations())) { changes.add(new RemoveAxiom(exportedOntology, ax.getAxiomWithoutAnnotations())); } changes.add(new AddAxiom(exportedOntology, ax)); } } }