protected boolean defineObjectProperty(ATermAppl c) { if( !ATermUtils.isPrimitive( c ) && !ATermUtils.isInv( c ) ) { return false; } return kb.addObjectProperty( c ); }
final static public ATermAppl makeInv(ATermAppl r) { if( isInv( r ) ) { return (ATermAppl) r.getArgument( 0 ); } return factory.makeAppl( INVFUN, r ); }
final static public ATermAppl makeInv(ATermAppl r) { if( isInv( r ) ) { return (ATermAppl) r.getArgument( 0 ); } return factory.makeAppl( INVFUN, r ); }
@Override public OWLObjectPropertyExpression map(ATermAppl term) { if( ATermUtils.TOP_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLTopObjectProperty(); if( ATermUtils.BOTTOM_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLBottomObjectProperty(); if( ATermUtils.isInv( term ) ) return factory.getOWLObjectInverseOf( OP_MAPPER.map(term) ); return factory.getOWLObjectProperty( iri( term ) ); } }
@Override public OWLObjectPropertyExpression map(ATermAppl term) { if( ATermUtils.TOP_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLTopObjectProperty(); if( ATermUtils.BOTTOM_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLBottomObjectProperty(); if( ATermUtils.isInv( term ) ) return factory.getOWLObjectInverseOf( OP_MAPPER.map(term) ); return factory.getOWLObjectProperty( iri( term ) ); } }
protected boolean defineProperty(ATermAppl c) { if( ATermUtils.isInv( c ) ) { kb.addObjectProperty( c.getArgument( 0 ) ); return true; } else if( !ATermUtils.isPrimitive( c ) ) { return false; } kb.addProperty( c ); return true; }
ATermAppl q = (ATermAppl) c.getArgument(1); if (ATermUtils.isInv(p)) throw new UnsupportedOperationException("Anonmyous inverse found in restriction: " + ATermUtils.toString(c));
private void defineProperty(ATerm p) { if( p instanceof ATermList ) { for( ATermList l = (ATermList) p; !l.isEmpty(); l = l.getNext() ) { ATermAppl r = (ATermAppl) l.getFirst(); defineProperty( r ); } } else if( ATermUtils.isInv( (ATermAppl) p ) ) { kb.addObjectProperty( ((ATermAppl) p).getArgument( 0 ) ); } else if( originalKB.isDatatypeProperty( p ) ) { kb.addDatatypeProperty( p ); } else { kb.addObjectProperty( p ); } }
ATermAppl q = (ATermAppl) c.getArgument(1); if (ATermUtils.isInv(p)) throw new UnsupportedOperationException("Anonmyous inverse found in restriction: " + ATermUtils.toString(c));
private void defineProperty(ATerm p) { if( p instanceof ATermList ) { for( ATermList l = (ATermList) p; !l.isEmpty(); l = l.getNext() ) { ATermAppl r = (ATermAppl) l.getFirst(); defineProperty( r ); } } else if( ATermUtils.isInv( (ATermAppl) p ) ) { kb.addObjectProperty( ((ATermAppl) p).getArgument( 0 ) ); } else if( originalKB.isDatatypeProperty( p ) ) { kb.addDatatypeProperty( p ); } else { kb.addObjectProperty( p ); } }
for (ATermList chain: r.getSubRoleChains()) { for( ; !chain.isEmpty(); chain = chain.getNext()) { if( ATermUtils.isInv((ATermAppl) chain.getFirst()) != isInv ) return false;
for (ATermList chain: r.getSubRoleChains()) { for( ; !chain.isEmpty(); chain = chain.getNext()) { if( ATermUtils.isInv((ATermAppl) chain.getFirst()) != isInv ) return false;