/** * Create a named term. * * @param name name of the term * @return an ATermAppl with the given name and no arguments */ public static ATermAppl term(String name) { return ATermUtils.makeTermAppl( name ); }
protected ATermAppl getRuleID( Rule rule ) { ATermAppl id = reverseRuleMap.get( rule ); if ( id == null ) { id = ATermUtils.makeTermAppl( PREFIX + "rule-" + (ruleNumber++) ); reverseRuleMap.put( rule, id ); } return id; }
private ATermAppl createSuperRoleFor(ATermAppl r1, ATermAppl r2) { Set<ATermAppl> superRoles = getAllSuperRoles(r1, r2); if (superRoles.isEmpty()) { return ATermUtils.makeTermAppl(ANON_ROLE + m_AnonRoleCount++); } else { return superRoles.iterator().next(); } }
@Override public String toString() { return ATermUtils.toString(ATermUtils.makeTermAppl(name)) + Arrays.toString(args); } }
private XSDDateTimeStamp() { super( ATermUtils.makeTermAppl( Namespaces.XSD + "dateTimeStamp" ), DatatypeConstants.DATETIME ); dataRange = new RestrictedTimelineDatatype( this, DatatypeConstants.DATETIME, false ); }
private XSDDateTimeStamp() { super( ATermUtils.makeTermAppl( Namespaces.XSD + "dateTimeStamp" ), DatatypeConstants.DATETIME ); dataRange = new RestrictedTimelineDatatype( this, DatatypeConstants.DATETIME, false ); }
private ATermAppl nextTerm() throws IOException { String token = nextString(); if( forceUppercase ) token = token.toUpperCase(); return ATermUtils.makeTermAppl( token ); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDFloat() { name = ATermUtils.makeTermAppl( Namespaces.XSD + "float" ); hashCode = name.hashCode(); dataRange = new RestrictedFloatingPointDatatype<Float>( this, IEEEFloatType.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<Float>( this, IEEEFloatType.getInstance() ); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDFloat() { super( ATermUtils.makeTermAppl( Namespaces.XSD + "float" ) ); dataRange = new RestrictedFloatingPointDatatype<Float>( this, IEEEFloatType.getInstance() ); }
@Override public void visit(OWLDatatype ocdt) { term = ATermUtils.makeTermAppl( ocdt.getIRI().toString() ); kb.addDatatype( term ); }
@Override public void visit(OWLNamedIndividual ind) { term = ATermUtils.makeTermAppl( ind.getIRI().toString() ); if( addAxioms ) { kb.addIndividual( term ); } }
public void visit(OWLAnnotationProperty prop) { term = ATermUtils.makeTermAppl( prop.getIRI().toString() ); if( addAxioms ) { kb.addAnnotationProperty( term ); } }
public void visit(OWLNamedIndividual ind) { term = ATermUtils.makeTermAppl( ind.getIRI().toString() ); if( addAxioms ) { kb.addIndividual( term ); } }
private OWLRational() { super( ATermUtils.makeTermAppl( Namespaces.OWL + "rational" ) ); dataRange = new RestrictedRealDatatype( this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals() ); }
private ATermAppl owlClassToTerm( 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(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()); } }
public void visit(OWLFacetRestriction node) { Facet facet = Facet.Registry.get( ATermUtils.makeTermAppl( node.getFacet().getIRI().toString() ) ); if( facet != null ) { OWLLiteral facetValue = node.getFacetValue(); facetValue.accept( this ); term = ATermUtils.makeFacetRestriction( facet.getName(), term ); } }
@Override public void visit(OWLFacetRestriction node) { Facet facet = Facet.Registry.get( ATermUtils.makeTermAppl( node.getFacet().getIRI().toString() ) ); if( facet != null ) { OWLLiteral facetValue = node.getFacetValue(); facetValue.accept( this ); term = ATermUtils.makeFacetRestriction( facet.getName(), term ); } }