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()); }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { addIfEntailed(df.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); if (simple(entity, reasoner)) { addIfEntailed(df.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addTransitiveAxiomIfEntailed(entity, reasoner, df, result); addIfEntailed(df.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); } }
protected static void addTransitiveAxiomIfEntailed(OWLObjectProperty p, OWLReasoner r, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result) { OWLObjectPropertyCharacteristicAxiom axiom = df.getOWLTransitiveObjectPropertyAxiom(p); if (r.isEntailmentCheckingSupported(axiom.getAxiomType()) && r.isEntailed(axiom) && !triviallyTransitiveCheck(p, r, df)) { result.add(axiom); } }
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLObjectPropertyCharacteristicAxiom> result) { addIfEntailed(dataFactory.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLTransitiveObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); }
/** * {@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; }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { addIfEntailed(df.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); if (simple(entity, reasoner)) { addIfEntailed(df.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addTransitiveAxiomIfEntailed(entity, reasoner, df, result); addIfEntailed(df.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); } }
protected static void addTransitiveAxiomIfEntailed(OWLObjectProperty p, OWLReasoner r, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result) { OWLObjectPropertyCharacteristicAxiom axiom = df.getOWLTransitiveObjectPropertyAxiom(p); if (r.isEntailmentCheckingSupported(axiom.getAxiomType()) && r.isEntailed(axiom) && !triviallyTransitiveCheck(p, r, df)) { result.add(axiom); } }
generators.add(new InferredEquivalentObjectPropertyAxiomGenerator()); generators.add(new InferredInverseObjectPropertiesAxiomGenerator()); generators.add(new InferredObjectPropertyCharacteristicAxiomGenerator()); generators.add(new InferredPropertyAssertionGenerator()); generators.add(new InferredSubDataPropertyAxiomGenerator());
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { addIfEntailed(df.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); if (simple(entity, reasoner)) { addIfEntailed(df.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(df.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addTransitiveAxiomIfEntailed(entity, reasoner, df, result); addIfEntailed(df.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); } }
protected static void addTransitiveAxiomIfEntailed(OWLObjectProperty p, OWLReasoner r, OWLDataFactory df, Set<OWLObjectPropertyCharacteristicAxiom> result) { OWLObjectPropertyCharacteristicAxiom axiom = df.getOWLTransitiveObjectPropertyAxiom(p); if (r.isEntailmentCheckingSupported(axiom.getAxiomType()) && r.isEntailed(axiom) && !triviallyTransitiveCheck(p, r, df)) { result.add(axiom); } }
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<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<>(); 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()); }