public InferredOntologyGenerator(OWLReasoner reasoner) { this.reasoner = reasoner; axiomGenerators = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>(); axiomGenerators.add(new InferredClassAssertionAxiomGenerator()); axiomGenerators.add(new InferredDataPropertyCharacteristicAxiomGenerator()); axiomGenerators.add(new InferredEquivalentClassAxiomGenerator()); axiomGenerators.add(new InferredEquivalentDataPropertiesAxiomGenerator()); axiomGenerators.add(new InferredEquivalentObjectPropertyAxiomGenerator()); axiomGenerators.add(new InferredInverseObjectPropertiesAxiomGenerator()); axiomGenerators.add(new InferredObjectPropertyCharacteristicAxiomGenerator()); axiomGenerators.add(new InferredPropertyAssertionGenerator()); axiomGenerators.add(new InferredSubClassAxiomGenerator()); axiomGenerators.add(new InferredSubDataPropertyAxiomGenerator()); axiomGenerators.add(new InferredSubObjectPropertyAxiomGenerator()); }
InferredPropertyAssertionGenerator generator = new InferredPropertyAssertionGenerator(); Set<OWLAxiom> axioms = generator.createAxioms(factory, reasoner);
/** * {@see InferredAxiomGenerator}s to use for the enrich() reasoning method. * * Subclasses may want to change this. * * @return */ protected List<InferredAxiomGenerator<? extends OWLAxiom>> getEnrichAxiomGenerators() { List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<InferredAxiomGenerator<? extends OWLAxiom>>(); // Classes gens.add(new InferredClassAssertionAxiomGenerator()); gens.add(new InferredSubClassAxiomGenerator()); gens.add(new InferredEquivalentClassAxiomGenerator()); gens.add(new InferredDisjointClassesAxiomGenerator()); // data properties gens.add(new InferredDataPropertyCharacteristicAxiomGenerator()); gens.add(new InferredEquivalentDataPropertiesAxiomGenerator()); gens.add(new InferredSubDataPropertyAxiomGenerator()); // object properties gens.add(new InferredEquivalentObjectPropertyAxiomGenerator()); gens.add(new InferredInverseObjectPropertiesAxiomGenerator()); gens.add(new InferredObjectPropertyCharacteristicAxiomGenerator()); gens.add(new InferredSubObjectPropertyAxiomGenerator()); // individuals gens.add(new InferredClassAssertionAxiomGenerator()); gens.add(new InferredPropertyAssertionGenerator()); return gens; }
generators.add(new InferredInverseObjectPropertiesAxiomGenerator()); generators.add(new InferredObjectPropertyCharacteristicAxiomGenerator()); generators.add(new InferredPropertyAssertionGenerator()); generators.add(new InferredSubDataPropertyAxiomGenerator()); generators.add(new InferredSubObjectPropertyAxiomGenerator());
private static List<InferredAxiomGenerator<? extends OWLAxiom>> generators() { return CollectionFactory.<InferredAxiomGenerator<? extends OWLAxiom>>list( new InferredClassAssertionAxiomGenerator(), new InferredDataPropertyCharacteristicAxiomGenerator(), new InferredEquivalentClassAxiomGenerator(), new InferredEquivalentDataPropertiesAxiomGenerator(), new InferredEquivalentObjectPropertyAxiomGenerator(), new InferredInverseObjectPropertiesAxiomGenerator(), new InferredObjectPropertyCharacteristicAxiomGenerator(), new InferredPropertyAssertionGenerator(), new InferredSubClassAxiomGenerator(), new InferredSubDataPropertyAxiomGenerator(), new InferredSubObjectPropertyAxiomGenerator()); }
private static List<InferredAxiomGenerator<? extends OWLAxiom>> generators() { return CollectionFactory.<InferredAxiomGenerator<? extends OWLAxiom>>list( new InferredClassAssertionAxiomGenerator(), new InferredDataPropertyCharacteristicAxiomGenerator(), new InferredEquivalentClassAxiomGenerator(), new InferredEquivalentDataPropertiesAxiomGenerator(), new InferredEquivalentObjectPropertyAxiomGenerator(), new InferredInverseObjectPropertiesAxiomGenerator(), new InferredObjectPropertyCharacteristicAxiomGenerator(), new InferredPropertyAssertionGenerator(), new InferredSubClassAxiomGenerator(), new InferredSubDataPropertyAxiomGenerator(), new InferredSubObjectPropertyAxiomGenerator()); }
private static List<InferredAxiomGenerator<? extends OWLAxiom>> generators() { return CollectionFactory.<InferredAxiomGenerator<? extends OWLAxiom>>list( new InferredClassAssertionAxiomGenerator(), new InferredDataPropertyCharacteristicAxiomGenerator(), new InferredEquivalentClassAxiomGenerator(), new InferredEquivalentDataPropertiesAxiomGenerator(), new InferredEquivalentObjectPropertyAxiomGenerator(), new InferredInverseObjectPropertiesAxiomGenerator(), new InferredObjectPropertyCharacteristicAxiomGenerator(), new InferredPropertyAssertionGenerator(), new InferredSubClassAxiomGenerator(), new InferredSubDataPropertyAxiomGenerator(), new InferredSubObjectPropertyAxiomGenerator()); }
public ExportInferredOntologyPanel() { map = new HashMap<>(); checkBoxBox = new Box(BoxLayout.Y_AXIS); setLayout(new BorderLayout(7, 7)); add(checkBoxBox); addCheckBox(new InferredSubClassAxiomGenerator(), true, false); addCheckBox(new InferredEquivalentClassAxiomGenerator(), true, false); addCheckBox(new InferredSubObjectPropertyAxiomGenerator(), true, false); addCheckBox(new InferredSubDataPropertyAxiomGenerator(), true, false); addCheckBox(new InferredEquivalentObjectPropertyAxiomGenerator(), true, false); addCheckBox(new InferredEquivalentDataPropertiesAxiomGenerator(), true, false); addCheckBox(new InferredObjectPropertyCharacteristicAxiomGenerator(), false, false); addCheckBox(new InferredDataPropertyCharacteristicAxiomGenerator(), false, false); addCheckBox(new InferredInverseObjectPropertiesAxiomGenerator(), false, false); addCheckBox(new InferredClassAssertionAxiomGenerator(), false, false); addCheckBox(new InferredPropertyAssertionGenerator(), false, true); addCheckBox(new InferredDisjointClassesAxiomGenerator(), false, true); }
public ExportInferredOntologyPanel() { map = new HashMap<JCheckBox, InferredAxiomGenerator<? extends OWLAxiom>>(); checkBoxBox = new Box(BoxLayout.Y_AXIS); setLayout(new BorderLayout(7, 7)); add(checkBoxBox); addCheckBox(new InferredSubClassAxiomGenerator()); addCheckBox(new InferredEquivalentClassAxiomGenerator()); addCheckBox(new InferredSubObjectPropertyAxiomGenerator()); addCheckBox(new InferredSubDataPropertyAxiomGenerator()); addCheckBox(new InferredEquivalentObjectPropertyAxiomGenerator()); addCheckBox(new InferredEquivalentDataPropertiesAxiomGenerator()); addCheckBox(new InferredObjectPropertyCharacteristicAxiomGenerator()); addCheckBox(new InferredDataPropertyCharacteristicAxiomGenerator()); addCheckBox(new InferredInverseObjectPropertiesAxiomGenerator()); addCheckBox(new InferredClassAssertionAxiomGenerator()); addCheckBox(new InferredDisjointClassesAxiomGenerator()); addCheckBox(new InferredPropertyAssertionGenerator()); }
public ExportInferredOntologyPanel() { map = new HashMap<>(); checkBoxBox = new Box(BoxLayout.Y_AXIS); setLayout(new BorderLayout(7, 7)); add(checkBoxBox); addCheckBox(new InferredSubClassAxiomGenerator(), true, false); addCheckBox(new InferredEquivalentClassAxiomGenerator(), true, false); addCheckBox(new InferredSubObjectPropertyAxiomGenerator(), true, false); addCheckBox(new InferredSubDataPropertyAxiomGenerator(), true, false); addCheckBox(new InferredEquivalentObjectPropertyAxiomGenerator(), true, false); addCheckBox(new InferredEquivalentDataPropertiesAxiomGenerator(), true, false); addCheckBox(new InferredObjectPropertyCharacteristicAxiomGenerator(), false, false); addCheckBox(new InferredDataPropertyCharacteristicAxiomGenerator(), false, false); addCheckBox(new InferredInverseObjectPropertiesAxiomGenerator(), false, false); addCheckBox(new InferredClassAssertionAxiomGenerator(), false, false); addCheckBox(new InferredPropertyAssertionGenerator(), false, true); addCheckBox(new InferredDisjointClassesAxiomGenerator(), false, true); }
public ExportInferredOntologyPanel() { map = new HashMap<JCheckBox, InferredAxiomGenerator<? extends OWLAxiom>>(); checkBoxBox = new Box(BoxLayout.Y_AXIS); setLayout(new BorderLayout(7, 7)); add(checkBoxBox); addCheckBox(new InferredSubClassAxiomGenerator()); addCheckBox(new InferredEquivalentClassAxiomGenerator()); addCheckBox(new InferredSubObjectPropertyAxiomGenerator()); addCheckBox(new InferredSubDataPropertyAxiomGenerator()); addCheckBox(new InferredEquivalentObjectPropertyAxiomGenerator()); addCheckBox(new InferredEquivalentDataPropertiesAxiomGenerator()); addCheckBox(new InferredObjectPropertyCharacteristicAxiomGenerator()); addCheckBox(new InferredDataPropertyCharacteristicAxiomGenerator()); addCheckBox(new InferredInverseObjectPropertiesAxiomGenerator()); addCheckBox(new InferredClassAssertionAxiomGenerator()); addCheckBox(new InferredDisjointClassesAxiomGenerator()); addCheckBox(new InferredPropertyAssertionGenerator()); }