private static ATermAppl makeAnon(final int id) { return ATermUtils.makeTermAppl(ANON + id); } }
private XSDDateTime() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "dateTime"), DatatypeConstants.DATETIME); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.DATETIME, false); }
private XSDGYearMonth() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "gYearMonth"), DatatypeConstants.GYEARMONTH); dataRange = new RestrictedTimelineDatatype(this, DatatypeConstants.GYEARMONTH, false); }
@Override public String toString() { return ATermUtils.toString(ATermUtils.makeTermAppl(_name)) + Arrays.toString(_args); } }
@Override public void visit(final IRI annotationValue) { _term = ATermUtils.makeTermAppl(annotationValue.toString()); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDDouble() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "double"); hashCode = name.hashCode(); dataRange = new RestrictedFloatingPointDatatype<>(this, IEEEDoubleType.getInstance()); }
private XSDLong() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "long"); hashCode = name.hashCode(); final OWLRealInterval i = new OWLRealInterval(Long.MIN_VALUE, Long.MAX_VALUE, true, true, OWLRealInterval.LineType.INTEGER_ONLY); dataRange = new RestrictedRealDatatype(this, i); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDFloat() { name = ATermUtils.makeTermAppl(Namespaces.XSD + "float"); hashCode = name.hashCode(); dataRange = new RestrictedFloatingPointDatatype<>(this, IEEEFloatType.getInstance()); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDDouble() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "double")); dataRange = new RestrictedFloatingPointDatatype<>(this, IEEEDoubleType.getInstance()); }
@Override public void visit(final OWLAnnotationProperty prop) { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addAnnotationProperty(_term); }
@Override public void visit(final OWLDatatype ocdt) { _term = ATermUtils.makeTermAppl(ocdt.getIRI().toString()); _kb.addDatatype(_term); }
@Override public void visit(final OWLNamedIndividual ind) { _term = ATermUtils.makeTermAppl(ind.getIRI().toString()); if (_addAxioms) _kb.addIndividual(_term); }
@Override public void visit(final OWLNamedIndividual ind) { _term = ATermUtils.makeTermAppl(ind.getIRI().toString()); if (_addAxioms) _kb.addIndividual(_term); }
private static ATermAppl owlClassToTerm(final OWLClass c) { if (c.isOWLThing()) return ATermUtils.TOP; else if (c.isOWLNothing()) return ATermUtils.BOTTOM; else return ATermUtils.makeTermAppl(c.getIRI().toString()); }
private ATermAppl toATermAppl(final Node n) { if (TOP.hasURI(n.getURI())) return ATermUtils.TOP; else if (BOTTOM.hasURI(n.getURI())) return ATermUtils.BOTTOM; else return ATermUtils.makeTermAppl(n.getURI()); }
private ATermAppl toATermAppl(final Node n) { if (TOP.hasURI(n.getURI())) return ATermUtils.TOP; else if (BOTTOM.hasURI(n.getURI())) return ATermUtils.BOTTOM; else return ATermUtils.makeTermAppl(n.getURI()); }
private ATermAppl toATermAppl(final Node n) { if (TOP.hasURI(n.getURI())) return ATermUtils.TOP; else if (BOTTOM.hasURI(n.getURI())) return ATermUtils.BOTTOM; else return ATermUtils.makeTermAppl(n.getURI()); }
@Override public void visit(final OWLFacetRestriction node) { final Facet facet = Facet.Registry.get(ATermUtils.makeTermAppl(node.getFacet().getIRI().toString())); if (facet != null) { final OWLLiteral facetValue = node.getFacetValue(); facetValue.accept(this); _term = ATermUtils.makeFacetRestriction(facet.getName(), _term); } }
@Override public void visit(final OWLFacetRestriction node) { final Facet facet = Facet.Registry.get(ATermUtils.makeTermAppl(node.getFacet().getIRI().toString())); if (facet != null) { final OWLLiteral facetValue = node.getFacetValue(); facetValue.accept(this); _term = ATermUtils.makeFacetRestriction(facet.getName(), _term); } }
@Test public void testIsClass4() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl l = ATermUtils.makeTermAppl("l"); final ATermAppl v = ATermUtils.makeValue(ATermUtils.makeLiteral(l)); final ATermAppl n = ATermUtils.makeNot(v); assertFalse(kb.isClass(n)); }