@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { List<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same_.size()); for (ElkIndividual individual : same_) { equivalent.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getEquivalentClassesAxiom(equivalent); }
public ElkDisjointClassesAxiom getPremise(final ElkObject.Factory factory) { final List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (final ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
public ElkDisjointClassesAxiom getPremise(final ElkObject.Factory factory) { final List<ElkObjectOneOf> disjoint = new ArrayList<ElkObjectOneOf>( different_.size()); for (final ElkIndividual individual : different_) { disjoint.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getDisjointClassesAxiom(disjoint); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectOneOf(Collections.<ElkIndividual> emptyList()), factory.getOwlNothing()); }
public ElkEquivalentClassesAxiom getPremise( final ElkObject.Factory factory) { final List<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same_.size()); for (final ElkIndividual individual : same_) { equivalent.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getEquivalentClassesAxiom(equivalent); }
@Override public ElkObjectOneOf getObjectOneOf(ElkIndividual first, ElkIndividual... other) { return filter( factory_.getObjectOneOf(first, other)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectOneOf(Collections.<ElkIndividual> emptyList()), factory.getOwlNothing()); }
@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 ElkObjectOneOf getObjectOneOf( List<? extends ElkIndividual> members) { return filter(factory_.getObjectOneOf(members)); }
@Override public ElkObjectOneOf getObjectOneOf(ElkIndividual first, ElkIndividual... other) { return filter( factory_.getObjectOneOf(first, other)); }
public ElkSubClassOfAxiom getPremise(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }
@Override public ElkObjectOneOf getObjectOneOf( List<? extends ElkIndividual> members) { return filter(factory_.getObjectOneOf(members)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(instance_), type_); }
@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 ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public ElkObjectOneOf getObjectOneOf(ElkIndividual first, ElkIndividual... other) { return filter( factory_.getObjectOneOf(first, other)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }