Set<OWLDataPropertyExpression> toDataPropertyExpressionSet( List<? extends ElkDataPropertyExpression> input) { Set<OWLDataPropertyExpression> result = new HashSet<OWLDataPropertyExpression>( input.size()); for (ElkDataPropertyExpression next : input) { result.add(convert(next)); } return result; }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDatatypeRestriction visit(ElkDatatypeRestriction expression) { return owlFactory_.getOWLDatatypeRestriction( convert(expression.getDatatype()), toFacetRestrictionSet(expression.getFacetRestrictions())); }
@Override public OWLSubPropertyChainOfAxiom visit( ElkObjectPropertyChain subExpression) { return owlFactory_.getOWLSubPropertyChainOfAxiom( toPropertyExpressionList(subExpression .getObjectPropertyExpressions()), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) { return owlFactory_.getOWLHasKeyAxiom( convert(axiom.getClassExpression()), toPropertyExpressionSet(axiom.getObjectPropertyExpressions(), axiom.getDataPropertyExpressions())); }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { return owlFactory_.getOWLSameIndividualAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public OWLEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { return owlFactory_.getOWLEquivalentObjectPropertiesAxiom( toObjectPropertyExpressionSet( axiom.getObjectPropertyExpressions())); }
@Override public OWLDataIntersectionOf visit(ElkDataIntersectionOf expression) { return owlFactory_.getOWLDataIntersectionOf( toDataRangeSet(expression.getDataRanges())); }
@Override public OWLDisjointDataPropertiesAxiom visit( ElkDisjointDataPropertiesAxiom axiom) { return owlFactory_ .getOWLDisjointDataPropertiesAxiom(toDataPropertyExpressionSet( axiom.getDataPropertyExpressions())); }
@Override public OWLDataOneOf visit(ElkDataOneOf expression) { return owlFactory_ .getOWLDataOneOf(toLiteralSet(expression.getLiterals())); }
@Override public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) { return owlFactory_.getOWLHasKeyAxiom( convert(axiom.getClassExpression()), toPropertyExpressionSet(axiom.getObjectPropertyExpressions(), axiom.getDataPropertyExpressions())); }
@Override public OWLSubPropertyChainOfAxiom visit( ElkObjectPropertyChain subExpression) { return owlFactory_.getOWLSubPropertyChainOfAxiom( toPropertyExpressionList(subExpression .getObjectPropertyExpressions()), convert(axiom .getSuperObjectPropertyExpression())); }
@Override public OWLObjectIntersectionOf visit(ElkObjectIntersectionOf expression) { return owlFactory_.getOWLObjectIntersectionOf( toClassExpressionSet(expression.getClassExpressions())); }
@Override public OWLSameIndividualAxiom visit(ElkSameIndividualAxiom axiom) { return owlFactory_.getOWLSameIndividualAxiom( toIndividualSet(axiom.getIndividuals())); }
@Override public OWLDisjointObjectPropertiesAxiom visit( ElkDisjointObjectPropertiesAxiom axiom) { return owlFactory_.getOWLDisjointObjectPropertiesAxiom( toObjectPropertyExpressionSet( axiom.getObjectPropertyExpressions())); }
@Override public OWLDataIntersectionOf visit(ElkDataIntersectionOf expression) { return owlFactory_.getOWLDataIntersectionOf( toDataRangeSet(expression.getDataRanges())); }
@Override public OWLDisjointDataPropertiesAxiom visit( ElkDisjointDataPropertiesAxiom axiom) { return owlFactory_ .getOWLDisjointDataPropertiesAxiom(toDataPropertyExpressionSet( axiom.getDataPropertyExpressions())); }
@Override public OWLDataOneOf visit(ElkDataOneOf expression) { return owlFactory_ .getOWLDataOneOf(toLiteralSet(expression.getLiterals())); }
Set<OWLLiteral> toLiteralSet(List<? extends ElkLiteral> input) { Set<OWLLiteral> result = new HashSet<OWLLiteral>(input.size()); for (ElkLiteral next : input) { result.add(convert(next)); } return result; }