Examples of org.semanticweb.owl.model.OWLConstant


  public void visit(OWLDataRangeFacetRestriction node) {
    Facet facet = Facet.Registry.get( ATermUtils.makeTermAppl( node.getFacet().getURI().toString() ) );  


    if( facet != null ) {
      OWLConstant facetValue = node.getFacetValue();
      facetValue.accept( this );      


      term = ATermUtils.makeFacetRestriction( facet.getName(), term );
    }
  }

      OWLIndividual ind = (OWLIndividual) obj;


      obj = factory.getOWLObjectValueRestriction( (OWLObjectPropertyExpression) prop, ind );
    }
    else {
      OWLConstant dataVal = (OWLConstant) obj;


      obj = factory.getOWLDataValueRestriction( (OWLDataProperty) prop, dataVal );
    }
  }

      if( subj == null )
        axiom = null;
      else if( ATermUtils.isLiteral( (ATermAppl) term.getArgument( 2 ) ) ) {
        OWLDataProperty pred = (OWLDataProperty) conceptConverter.convert( (ATermAppl) term
            .getArgument( 0 ) );
        OWLConstant obj = (OWLConstant) conceptConverter.convert( (ATermAppl) term
            .getArgument( 2 ) );
        if( pred != null && obj != null )
          axiom = factory.getOWLDataPropertyAssertionAxiom( subj, pred, obj );
      }
      else {
        OWLObjectProperty pred = (OWLObjectProperty) conceptConverter
            .convert( (ATermAppl) term.getArgument( 0 ) );
        OWLIndividual obj = (OWLIndividual) conceptConverter.convert( (ATermAppl) term.getArgument( 2 ) );
        if( pred != null && obj != null )
          axiom = factory.getOWLObjectPropertyAssertionAxiom( subj, pred, obj );
      }
    }
    else if( term.getAFun().equals( ATermUtils.NOTFUN )
        && ((ATermAppl) term.getArgument( 0 )).getAFun().equals( ATermUtils.PROPFUN ) ) {
      term = (ATermAppl) term.getArgument( 0 );
      OWLIndividual subj = (OWLIndividual) conceptConverter.convert( (ATermAppl) term
          .getArgument( 1 ) );


      if( subj == null )
        axiom = null;
      else if( ATermUtils.isLiteral( (ATermAppl) term.getArgument( 2 ) ) ) {
        OWLDataProperty pred = (OWLDataProperty) conceptConverter.convert( (ATermAppl) term
            .getArgument( 0 ) );
        OWLConstant obj = (OWLConstant) conceptConverter.convert( (ATermAppl) term
            .getArgument( 2 ) );
        if( pred != null && obj != null )
          axiom = factory.getOWLNegativeDataPropertyAssertionAxiom( subj, pred, obj );
      }
      else {

Examples of org.semanticweb.owl.model.OWLConstant

Related Classes of org.semanticweb.owl.model.OWLConstant