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; }
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; }
Set<OWLObjectPropertyExpression> toObjectPropertyExpressionSet( List<? extends ElkObjectPropertyExpression> input) { Set<OWLObjectPropertyExpression> result = new HashSet<OWLObjectPropertyExpression>( input.size()); for (ElkObjectPropertyExpression next : input) { result.add(convert(next)); } return result; }
@Override public OWLDataAllValuesFrom visit(ElkDataAllValuesFrom expression) { List<? extends ElkDataPropertyExpression> expressions = expression .getDataPropertyExpressions(); if (expressions.size() > 0) { throw new IllegalArgumentException( "OWLAPI supports only one data property in OWLDataAllValuesFrom"); } return owlFactory_.getOWLDataAllValuesFrom(convert(expressions.get(0)), convert(expression.getDataRange())); }
@Override public OWLObjectHasSelf visit(ElkObjectHasSelf expression) { return owlFactory_ .getOWLObjectHasSelf(convert(expression.getProperty())); }
@Override public OWLObjectHasSelf visit(ElkObjectHasSelf expression) { return owlFactory_ .getOWLObjectHasSelf(convert(expression.getProperty())); }
@Override public OWLTransitiveObjectPropertyAxiom visit( ElkTransitiveObjectPropertyAxiom axiom) { return owlFactory_.getOWLTransitiveObjectPropertyAxiom( convert(axiom.getProperty())); }
@Override public OWLDataMaxCardinality visit( ElkDataMaxCardinalityUnqualified expression) { return owlFactory_.getOWLDataMaxCardinality(expression.getCardinality(), convert(expression.getProperty())); }
@Override public OWLObjectMaxCardinality visit( ElkObjectMaxCardinalityUnqualified expression) { return owlFactory_.getOWLObjectMaxCardinality( expression.getCardinality(), convert(expression.getProperty())); }