Examples of org.semanticweb.owlapi.model.OWLPropertyExpression

org.semanticweb.owlapi.model.OWLPropertyExpression
Represents a property or possibly the inverse of a property. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

    @Override
    public Set<OWLPropertyExpression> parsePropertyList() {
        Set<OWLPropertyExpression> props = new HashSet<>();
        String sep = COMMA.keyword();
        while (COMMA.matches(sep)) {
            OWLPropertyExpression prop = parsePropertyExpression();
            props.add(prop);
            sep = peekToken();
            if (COMMA.matches(sep)) {
                consumeToken();
            }

View Full Code Here

            }
            // If neither condition was true, the property has been illegally
            // punned, or is untyped
            // use the first translation available, since there is no way to
            // know which is correct
            OWLPropertyExpression property = null;
            if (consumer.isObjectProperty(firstObject)) {
                LOGGER.warn(
                        "Property {} has been punned illegally: found declaration as OWLObjectProperty",
                        firstObject);
                property = consumer.getDataFactory().getOWLObjectProperty(

View Full Code Here

        throw new Error("Missing return statement in function");
    }


    final public OWLHasKeyAxiom HasKey() throws ParseException {
        OWLClassExpression ce;
        OWLPropertyExpression prop;
        Set<OWLPropertyExpression> props = new HashSet<OWLPropertyExpression>();
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(HASKEY);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();

View Full Code Here

  // http://bugs.sun.com/view_bug.do?bug_id=6548436
  // Since lack of generic type generates a warning, we suppress it
  @SuppressWarnings("unchecked")
  public void visitSome(ATermAppl term) {
    visit( (ATermAppl) term.getArgument( 0 ) );
    OWLPropertyExpression prop = (OWLPropertyExpression) obj;


    visit( (ATermAppl) term.getArgument( 1 ) );


    if( prop instanceof OWLObjectPropertyExpression ) {
      OWLClassExpression desc = (OWLClassExpression) obj;

View Full Code Here

  }


  @SuppressWarnings("unchecked")
    public void visitAll(ATermAppl term) {
    visit( (ATermAppl) term.getArgument( 0 ) );
    OWLPropertyExpression prop = (OWLPropertyExpression) obj;


    visit( (ATermAppl) term.getArgument( 1 ) );


    if( prop instanceof OWLObjectPropertyExpression ) {
      OWLClassExpression desc = (OWLClassExpression) obj;

View Full Code Here

  }


  @SuppressWarnings("unchecked")
    public void visitMin(ATermAppl term) {
    visit( (ATermAppl) term.getArgument( 0 ) );
    OWLPropertyExpression prop = (OWLPropertyExpression) obj;


    int cardinality = Integer.parseInt( term.getArgument( 1 ).toString() );


    if( prop instanceof OWLObjectPropertyExpression ) {
      OWLClassExpression c = (OWLClassExpression) convert( (ATermAppl) term.getArgument( 2 ) );

View Full Code Here

  }


  @SuppressWarnings("unchecked")
    public void visitCard(ATermAppl term) {
    visit( (ATermAppl) term.getArgument( 0 ) );
    OWLPropertyExpression prop = (OWLPropertyExpression) obj;


    int cardinality = Integer.parseInt( term.getArgument( 1 ).toString() );


    if( prop instanceof OWLObjectPropertyExpression ) {
      OWLClassExpression c = (OWLClassExpression) convert( (ATermAppl) term.getArgument( 2 ) );

View Full Code Here

  }


  @SuppressWarnings("unchecked")
    public void visitMax(ATermAppl term) {
    visit( (ATermAppl) term.getArgument( 0 ) );
    OWLPropertyExpression prop = (OWLPropertyExpression) obj;


    int cardinality = Integer.parseInt( term.getArgument( 1 ).toString() );


    if( prop instanceof OWLObjectPropertyExpression ) {
      OWLClassExpression c = (OWLClassExpression) convert( (ATermAppl) term.getArgument( 2 ) );

View Full Code Here

  }


  @SuppressWarnings("unchecked")
    public void visitHasValue(ATermAppl term) {
    visit( (ATermAppl) term.getArgument( 0 ) );
    OWLPropertyExpression prop = (OWLPropertyExpression) obj;


    if( prop instanceof OWLObjectProperty ) {


      OWLIndividual ind = convertIndividual((ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0));

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.model.OWLPropertyExpression

com.clarkparsia.pellet.owlapiv3.ConceptConverter

org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParser

org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl

org.semanticweb.owlapi.rdf.rdfxml.parser.Translators$HasKeyListItemTranslator

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.