@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(expressions_.get(subPos_), expressions_.get(superPos_)); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); int first = index, second = index + 1; if (second == expressions_.size()) { second = 0; } return factory.getSubClassOfAxiom(expressions_.get(first), expressions_.get(second)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(classExpressions_.get(0), factory.getObjectSomeValuesFrom(superProperty_, classExpressions_.get(classExpressions_.size() - 1))); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { checkPremiseIndex(index); return factory.getSubClassOfAxiom(subExpression_, conjuncts_.get(index)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { List<ElkIndividual> subIndividuals = new ArrayList<ElkIndividual>( subIndividualPositions_.size()); for (int pos : subIndividualPositions_) { subIndividuals.add(superIndividuals_.get(pos)); } return factory.getSubClassOfAxiom( factory.getObjectOneOf(subIndividuals), factory.getObjectOneOf(superIndividuals_)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf(Collections.singletonList(disjunct_)), disjunct_); }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(subChain_.get(index), classExpressions_.get(index + 1))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectOneOf(Collections.<ElkIndividual> emptyList()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
public ElkSubClassOfAxiom getPremise(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(instance_), type_); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectSomeValuesFrom(property_, subClass_), factory.getObjectSomeValuesFrom(property_, superClass_)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(disjuncts_.get(disjunctPos_), factory.getObjectUnionOf(disjuncts_)); }