@Override public void visitSelf(final ATermAppl term) { final Node restr = NodeFactory.createBlankNode(); final Node prop = convert(term.getArgument(0)); TripleAdder.add(_graph, restr, RDF.type, OWL.Restriction); TripleAdder.add(_graph, restr, OWL.onProperty, prop); TripleAdder.add(_graph, restr, OWL2.hasSelf, JenaUtils.XSD_BOOLEAN_TRUE); _obj = restr; }
private Node createRestriction(final ATermAppl term, final Property restrType) { final Node restr = NodeFactory.createBlankNode(); final Node prop = convert(term.getArgument(0)); final Node val = convert(term.getArgument(1)); TripleAdder.add(_graph, restr, RDF.type, OWL.Restriction); TripleAdder.add(_graph, restr, OWL.onProperty, prop); TripleAdder.add(_graph, restr, restrType, val); _obj = restr; return restr; }
private Node createRestriction(final ATermAppl term, final Property restrType) { final Node restr = NodeFactory.createBlankNode(); final Node prop = convert(term.getArgument(0)); final Node val = convert(term.getArgument(1)); TripleAdder.add(_graph, restr, RDF.type, OWL.Restriction); TripleAdder.add(_graph, restr, OWL.onProperty, prop); TripleAdder.add(_graph, restr, restrType, val); _obj = restr; return restr; }
private void convertNary(final ATermAppl axiom, final Resource type, final Property p) { final Node n = NodeFactory.createBlankNode(); TripleAdder.add(_graph, n, RDF.type, type); final ATermList concepts = (ATermList) axiom.getArgument(0); _converter.visitList(concepts); TripleAdder.add(_graph, n, p, _converter.getResult()); }
private void convertNary(final ATermAppl axiom, final Resource type, final Property p) { final Node n = NodeFactory.createBlankNode(); TripleAdder.add(_graph, n, RDF.type, type); final ATermList concepts = (ATermList) axiom.getArgument(0); _converter.visitList(concepts); TripleAdder.add(_graph, n, p, _converter.getResult()); }
private Optional<Node> convertAtomObject(final ATermAppl t) { if (ATermUtils.isVar(t)) { final Optional<Node> node = JenaUtils.makeGraphNode((ATermAppl) t.getArgument(0)); if (node.isPresent()) TripleAdder.add(_graph, node.get(), RDF.type, SWRL.Variable); return node; } else return JenaUtils.makeGraphNode(t); }
private Optional<Node> convertAtomObject(final ATermAppl t) { if (ATermUtils.isVar(t)) { final Optional<Node> node = JenaUtils.makeGraphNode((ATermAppl) t.getArgument(0)); if (node.isPresent()) TripleAdder.add(_graph, node.get(), RDF.type, SWRL.Variable); return node; } else return JenaUtils.makeGraphNode(t); }
public static void add(final Graph graph, final Resource s, final Resource p, final RDFNode o) { add(graph, s.asNode(), p.asNode(), o.asNode()); } }
@Override public void visitInverse(final ATermAppl term) { final Node node = NodeFactory.createBlankNode(); final Node prop = convert(term.getArgument(0)); TripleAdder.add(_graph, node, OWL.inverseOf, prop); _obj = node; }
public static void add(final Graph graph, final Resource s, final Resource p, final RDFNode o) { add(graph, s.asNode(), p.asNode(), o.asNode()); } }
@Override public void visitInverse(final ATermAppl term) { final Node node = NodeFactory.createBlankNode(); final Node prop = convert(term.getArgument(0)); TripleAdder.add(_graph, node, OWL.inverseOf, prop); _obj = node; }
private void convertBinary(final ATermAppl axiom, final Property p) { final Node s = _converter.convert(axiom.getArgument(0)); final Node o = _converter.convert(axiom.getArgument(1)); TripleAdder.add(_graph, s, p, o); }
private void convertBinary(final ATermAppl axiom, final Property p) { final Node s = _converter.convert(axiom.getArgument(0)); final Node o = _converter.convert(axiom.getArgument(1)); TripleAdder.add(_graph, s, p, o); }
private void convertUnary(final ATermAppl axiom, final Resource o) { final Node s = _converter.convert(axiom.getArgument(0)); TripleAdder.add(_graph, s, RDF.type.asNode(), o.asNode()); }
private void convertBinary(final ATermAppl axiom, final Property p) { final Node s = _converter.convert(axiom.getArgument(0)); final Node o = _converter.convert(axiom.getArgument(1)); TripleAdder.add(_graph, s, p, o); }
private void convertUnary(final ATermAppl axiom, final Resource o) { final Node s = _converter.convert(axiom.getArgument(0)); TripleAdder.add(_graph, s, RDF.type.asNode(), o.asNode()); }
private Node createQualifiedRestriction(final ATermAppl term, final Property restrType) { final Node restr = createRestriction(term, restrType); final Node qual = convert(term.getArgument(2)); if (!ATermUtils.isTop((ATermAppl) term.getArgument(2))) TripleAdder.add(_graph, restr, OWL2.onClass, qual); _obj = restr; return restr; }
private Node createQualifiedRestriction(final ATermAppl term, final Property restrType) { final Node restr = createRestriction(term, restrType); final Node qual = convert(term.getArgument(2)); if (!ATermUtils.isTop((ATermAppl) term.getArgument(2))) TripleAdder.add(_graph, restr, OWL2.onClass, qual); _obj = restr; return restr; }