public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomBinaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstDisjunctPosition()), disjoint.get(parent.getSecondDisjunctPosition())), factory.getOwlNothing()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomBinaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstDisjunctPosition()), disjoint.get(parent.getSecondDisjunctPosition())), factory.getOwlNothing()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomBinaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstDisjunctPosition()), disjoint.get(parent.getSecondDisjunctPosition())), factory.getOwlNothing()); }
@Override public Void visit( ElkDisjointUnionAxiomBinaryConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomBinaryConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkDisjointClassesOfDisjointUnion( originalAxiom.getDefinedClass(), originalAxiom.getClassExpressions()); elkInferenceFactory_.getElkClassInclusionOfDisjointClasses( originalAxiom.getClassExpressions(), parent.getFirstDisjunctPosition(), parent.getSecondDisjunctPosition()); return null; }
@Override public Void visit( ElkDisjointUnionAxiomBinaryConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomBinaryConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkDisjointClassesOfDisjointUnion( originalAxiom.getDefinedClass(), originalAxiom.getClassExpressions()); elkInferenceFactory_.getElkClassInclusionOfDisjointClasses( originalAxiom.getClassExpressions(), parent.getFirstDisjunctPosition(), parent.getSecondDisjunctPosition()); return null; }
@Override public Void visit( ElkDisjointUnionAxiomBinaryConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomBinaryConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkDisjointClassesOfDisjointUnion( originalAxiom.getDefinedClass(), originalAxiom.getClassExpressions()); elkInferenceFactory_.getElkClassInclusionOfDisjointClasses( originalAxiom.getClassExpressions(), parent.getFirstDisjunctPosition(), parent.getSecondDisjunctPosition()); return null; }