@Override public Optional<OWLClassExpression> doDefault(Object o) { if (o instanceof OWLSubClassOfAxiomShortCut) { return ((OWLSubClassOfAxiomShortCut) o).asOWLSubClassOfAxiom().accept(this); } return emptyOptional(); }
@Override public Optional<OWLClassExpression> doDefault(Object o) { if (o instanceof OWLSubClassOfAxiomShortCut) { return ((OWLSubClassOfAxiomShortCut) o).asOWLSubClassOfAxiom().accept(this); } return emptyOptional(); }
@Override public Optional<OWLClassExpression> doDefault(Object o) { if (o instanceof OWLSubClassOfAxiomShortCut) { return ((OWLSubClassOfAxiomShortCut) o).asOWLSubClassOfAxiom().accept(this); } return emptyOptional(); }
public MacroExpansions() { visitor = new GCIVisitor(inputOntology, newAxioms); inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES) .forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand); }
public MacroExpansions() { visitor = new GCIVisitor(inputOntology, newAxioms); inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES) .forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand); }
@Override public void visit(OWLObjectPropertyRangeAxiom axiom) { // Thing subclassOf prop only Range OWLClassExpression sup = dataFactory .getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(dataFactory.getOWLThing(), sup); ax.accept(this); }
public void visit(OWLObjectPropertyRangeAxiom axiom) { // Thing subclassOf prop only Range OWLClassExpression sup = dataFactory.getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(dataFactory.getOWLThing(), sup); ax.accept(this); }
@Override public void visit(OWLObjectPropertyRangeAxiom axiom) { // Thing subclassOf prop only Range OWLClassExpression sup = dataFactory .getOWLObjectAllValuesFrom(axiom.getProperty(), axiom.getRange()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(dataFactory.getOWLThing(), sup); ax.accept(this); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { // prop some Thing subclassOf domain OWLClassExpression sub = dataFactory .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
public void visit(OWLObjectPropertyDomainAxiom axiom) { // prop some Thing subclassOf domain OWLClassExpression sub = dataFactory.getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLObjectHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); ax.accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
@Override public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory .getOWLObjectHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
@Override public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory .getOWLObjectHasValue(axiom.getProperty(), axiom.getObject()); OWLSubClassOfAxiom ax = factory.getOWLSubClassOfAxiom(sub, sup); return ax.accept(this); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLObjectHasValue(axiom.getProperty(), axiom.getObject()); factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }
@Override public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }
@Override public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory .getOWLObjectHasValue(axiom.getProperty(), axiom.getObject()); return factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }