@Override public OWLAxiom apply(final ElkAxiom input) { return elkConverter_.convert(input); }
private Node<OWLClass> getClassNode(ElkClass elkClass) throws FreshEntitiesException, InconsistentOntologyException, ElkException { try { return elkConverter_ .convertClassNode(reasoner_.getEquivalentClasses(elkClass)); } catch (ElkException e) { throw elkConverter_.convert(e); } }
public OWLNamedIndividualNodeSet convertIndividualNodes( Iterable<? extends Node<ElkNamedIndividual>> nodes) { Set<org.semanticweb.owlapi.reasoner.Node<OWLNamedIndividual>> owlNodes = new HashSet<org.semanticweb.owlapi.reasoner.Node<OWLNamedIndividual>>(); for (Node<ElkNamedIndividual> node : nodes) { owlNodes.add(convertIndividualNode(node)); } return new OWLNamedIndividualNodeSet(owlNodes); }
@Override protected OWLAxiom convert(ElkAxiom axiom) { return ElkConverter.getInstance().convert(axiom); }
private Node<OWLObjectPropertyExpression> getObjectPropertyNode( final ElkObjectProperty elkClass) throws FreshEntitiesException, InconsistentOntologyException, ElkException { try { return elkConverter_.convertObjectPropertyNode( reasoner_.getObjectPropertyNode(elkClass)); } catch (ElkException e) { throw elkConverter_.convert(e); } }
@Override public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { LOGGER_.trace("getTypes(OWLNamedIndividual, boolean)"); checkInterrupted(); try { return elkConverter_.convertClassNodes( reasoner_.getTypes(owlConverter_.convert(ind), direct)); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod( "getTypes(OWLNamedIndividual, boolean)", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
@Override public OWLDataProperty convert(ElkDataProperty input) { if (input instanceof ElkDataPropertyWrap<?>) { return ((ElkDataPropertyWrap<?>) input).getOwlObject(); } // else return visit(input); }
@Override public NodeSet<OWLObjectPropertyExpression> getSuperObjectProperties( final OWLObjectPropertyExpression pe, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { LOGGER_.trace( "getSuperObjectProperties(OWLObjectPropertyExpression, boolean)"); checkInterrupted(); if (pe instanceof OWLObjectProperty) { try { return elkConverter_.convertObjectPropertyNodes( reasoner_.getSuperObjectProperties( owlConverter_.convert((OWLObjectProperty) pe), direct)); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod( "getSuperObjectProperties(OWLObjectPropertyExpression, boolean)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } } throw unsupportedOwlApiMethod( "getSuperObjectProperties(OWLObjectPropertyExpression, boolean)"); }
@Override public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { LOGGER_.trace("getInstances(OWLClassExpression, boolean)"); checkInterrupted(); try { return elkConverter_.convertIndividualNodes( reasoner_.getInstances(owlConverter_.convert(ce), direct)); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod( "getInstances(OWLClassExpression, boolean)", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
public OWLClassNodeSet convertClassNodes( Iterable<? extends Node<ElkClass>> nodes) { Set<org.semanticweb.owlapi.reasoner.Node<OWLClass>> owlNodes = new HashSet<org.semanticweb.owlapi.reasoner.Node<OWLClass>>(); for (Node<ElkClass> node : nodes) { owlNodes.add(convertClassNode(node)); } return new OWLClassNodeSet(owlNodes); }
public OWLObjectPropertyNodeSet convertObjectPropertyNodes( final Iterable<? extends Node<ElkObjectProperty>> nodes) { Set<org.semanticweb.owlapi.reasoner.Node<OWLObjectPropertyExpression>> owlNodes = new HashSet<org.semanticweb.owlapi.reasoner.Node<OWLObjectPropertyExpression>>(); for (final Node<ElkObjectProperty> node : nodes) { owlNodes.add(convertObjectPropertyNode(node)); } return new OWLObjectPropertyNodeSet(owlNodes); }
this.objectFactory_ = internalReasoner.getElkFactory(); this.owlConverter_ = OwlConverter.getInstance(); this.elkConverter_ = ElkConverter.getInstance();
@Override public NodeSet<OWLClass> getTypes(OWLNamedIndividual ind, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { LOGGER_.trace("getTypes(OWLNamedIndividual, boolean)"); checkInterrupted(); try { return elkConverter_.convertClassNodes( reasoner_.getTypes(owlConverter_.convert(ind), direct)); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod( "getTypes(OWLNamedIndividual, boolean)", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
private Node<OWLObjectPropertyExpression> getObjectPropertyNode( final ElkObjectProperty elkClass) throws FreshEntitiesException, InconsistentOntologyException, ElkException { try { return elkConverter_.convertObjectPropertyNode( reasoner_.getObjectPropertyNode(elkClass)); } catch (ElkException e) { throw elkConverter_.convert(e); } }
@Override public OWLObjectProperty convert(ElkObjectProperty input) { if (input instanceof ElkObjectPropertyWrap<?>) { return ((ElkObjectPropertyWrap<?>) input).getOwlObject(); } // else return visit(input); }
@Override protected OWLAxiom convert(ElkAxiom axiom) { return ElkConverter.getInstance().convert(axiom); }
@Override public NodeSet<OWLObjectPropertyExpression> getSubObjectProperties( final OWLObjectPropertyExpression pe, final boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { LOGGER_.trace( "getSubObjectProperties(OWLObjectPropertyExpression, boolean)"); checkInterrupted(); if (pe instanceof OWLObjectProperty) { try { return elkConverter_.convertObjectPropertyNodes( reasoner_.getSubObjectProperties( owlConverter_.convert((OWLObjectProperty) pe), direct)); } catch (final ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod( "getSubObjectProperties(OWLObjectPropertyExpression, boolean)", e.getMessage()); } catch (final ElkException e) { throw elkConverter_.convert(e); } catch (final ElkRuntimeException e) { throw elkConverter_.convert(e); } } throw unsupportedOwlApiMethod( "getSubObjectProperties(OWLObjectPropertyExpression, boolean)"); }
@Override public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { LOGGER_.trace("getInstances(OWLClassExpression, boolean)"); checkInterrupted(); try { return elkConverter_.convertIndividualNodes( reasoner_.getInstances(owlConverter_.convert(ce), direct)); } catch (ElkUnsupportedReasoningTaskException e) { throw unsupportedOwlApiMethod( "getInstances(OWLClassExpression, boolean)", e.getMessage()); } catch (ElkException e) { throw elkConverter_.convert(e); } catch (ElkRuntimeException e) { throw elkConverter_.convert(e); } }
public OWLClassNodeSet convertClassNodes( Iterable<? extends Node<ElkClass>> nodes) { Set<org.semanticweb.owlapi.reasoner.Node<OWLClass>> owlNodes = new HashSet<org.semanticweb.owlapi.reasoner.Node<OWLClass>>(); for (Node<ElkClass> node : nodes) { owlNodes.add(convertClassNode(node)); } return new OWLClassNodeSet(owlNodes); }
public OWLObjectPropertyNodeSet convertObjectPropertyNodes( final Iterable<? extends Node<ElkObjectProperty>> nodes) { Set<org.semanticweb.owlapi.reasoner.Node<OWLObjectPropertyExpression>> owlNodes = new HashSet<org.semanticweb.owlapi.reasoner.Node<OWLObjectPropertyExpression>>(); for (final Node<ElkObjectProperty> node : nodes) { owlNodes.add(convertObjectPropertyNode(node)); } return new OWLObjectPropertyNodeSet(owlNodes); }