final AxiomConverter converter = new AxiomConverter(_kb, explanationGraph); for (final ATermAppl axiom : prunedExplanation) converter.convert(axiom);
convertBinary(axiom, OWL.equivalentClass); else if (axiom.getAFun().equals(ATermUtils.SUBFUN)) convertBinary(axiom, RDFS.subClassOf); else if (axiom.getAFun().equals(ATermUtils.DISJOINTFUN)) convertBinary(axiom, OWL.disjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTSFUN)) convertNary(axiom, OWL2.AllDisjointClasses, OWL2.members); else if (axiom.getAFun().equals(ATermUtils.EQPROPFUN)) convertBinary(axiom, OWL.equivalentProperty); else if (axiom.getAFun().equals(ATermUtils.SUBPROPFUN)) convertBinary(axiom, RDFS.subPropertyOf); convertBinary(axiom, OWL2.propertyDisjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTPROPSFUN)) convertNary(axiom, OWL2.AllDisjointProperties, OWL2.members); else if (axiom.getAFun().equals(ATermUtils.DOMAINFUN)) convertBinary(axiom, RDFS.domain); else if (axiom.getAFun().equals(ATermUtils.RANGEFUN)) convertBinary(axiom, RDFS.range); else
final ATermAppl cls = (ATermAppl) term.getArgument(1); convertAtomObject(ind).ifPresent(indNode -> final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); if (node1.isPresent() && node2.isPresent()) final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); for (; !args.isEmpty(); args = args.getNext()) final Optional<Node> atomNodeOpt = convertAtomObject((ATermAppl) args.getFirst());// if (atomNodeOpt.isPresent())
convertBinary(axiom, OWL.equivalentClass); else if (axiom.getAFun().equals(ATermUtils.SUBFUN)) convertBinary(axiom, RDFS.subClassOf); else if (axiom.getAFun().equals(ATermUtils.DISJOINTFUN)) convertBinary(axiom, OWL.disjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTSFUN)) convertNary(axiom, OWL2.AllDisjointClasses, OWL2.members); else if (axiom.getAFun().equals(ATermUtils.EQPROPFUN)) convertBinary(axiom, OWL.equivalentProperty); else if (axiom.getAFun().equals(ATermUtils.SUBPROPFUN)) convertBinary(axiom, RDFS.subPropertyOf); convertBinary(axiom, OWL2.propertyDisjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTPROPSFUN)) convertNary(axiom, OWL2.AllDisjointProperties, OWL2.members); else if (axiom.getAFun().equals(ATermUtils.DOMAINFUN)) convertBinary(axiom, RDFS.domain); else if (axiom.getAFun().equals(ATermUtils.RANGEFUN)) convertBinary(axiom, RDFS.range); else
final ATermAppl cls = (ATermAppl) term.getArgument(1); convertAtomObject(ind).ifPresent(indNode -> final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); if (node1.isPresent() && node2.isPresent()) final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); for (; !args.isEmpty(); args = args.getNext()) final Optional<Node> atomNodeOpt = convertAtomObject((ATermAppl) args.getFirst());// if (atomNodeOpt.isPresent())
convertBinary(axiom, OWL.equivalentClass); else if (axiom.getAFun().equals(ATermUtils.SUBFUN)) convertBinary(axiom, RDFS.subClassOf); else if (axiom.getAFun().equals(ATermUtils.DISJOINTFUN)) convertBinary(axiom, OWL.disjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTSFUN)) convertNary(axiom, OWL2.AllDisjointClasses, OWL2.members); else if (axiom.getAFun().equals(ATermUtils.EQPROPFUN)) convertBinary(axiom, OWL.equivalentProperty); else if (axiom.getAFun().equals(ATermUtils.SUBPROPFUN)) convertBinary(axiom, RDFS.subPropertyOf); convertBinary(axiom, OWL2.propertyDisjointWith); else if (axiom.getAFun().equals(ATermUtils.DISJOINTPROPSFUN)) convertNary(axiom, OWL2.AllDisjointProperties, OWL2.members); else if (axiom.getAFun().equals(ATermUtils.DOMAINFUN)) convertBinary(axiom, RDFS.domain); else if (axiom.getAFun().equals(ATermUtils.RANGEFUN)) convertBinary(axiom, RDFS.range); else
final AxiomConverter converter = new AxiomConverter(_kb, explanationGraph); for (final ATermAppl axiom : prunedExplanation) converter.convert(axiom);
final ATermAppl cls = (ATermAppl) term.getArgument(1); convertAtomObject(ind).ifPresent(indNode -> final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); if (node1.isPresent() && node2.isPresent()) final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); for (; !args.isEmpty(); args = args.getNext()) final Optional<Node> atomNodeOpt = convertAtomObject((ATermAppl) args.getFirst());// if (atomNodeOpt.isPresent())
final AxiomConverter converter = new AxiomConverter(_kb, explanationGraph); for (final ATermAppl axiom : prunedExplanation) converter.convert(axiom);