Examples of OWLDataPropertyExpression

org.semanticweb.owl.model.OWLDataPropertyExpression
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 A high level interface to describe different types of data properties. The current OWL 1.1 spec only allows straight forward named data properties, it doesn't for example allow inverse data properties.
org.semanticweb.owlapi.model.OWLDataPropertyExpression
A high level interface to describe different types of data properties. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

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


    final public OWLPropertyAxiom DataPropertyDomain() throws ParseException {
        OWLDataPropertyExpression prop;
        OWLClassExpression domain;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(DATAPROPERTYDOMAIN);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

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


    final public OWLPropertyAxiom DataPropertyRange() throws ParseException {
        OWLDataPropertyExpression prop;
        OWLDataRange rng;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(DATAPROPERTYRANGE);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

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


    final public OWLPropertyAxiom FunctionalDataProperty()
            throws ParseException {
        OWLDataPropertyExpression prop;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(FUNCTIONALDATAPROPERTY);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();
        prop = DataPropertyExpression();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

    }


    final public OWLIndividualAxiom DataPropertyAssertion()
            throws ParseException {
        OWLIndividual subj;
        OWLDataPropertyExpression prop;
        OWLLiteral obj;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(DATAPROPERTYASSERTION);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

    }


    final public OWLIndividualAxiom NegativeDataPropertyAssertion()
            throws ParseException {
        OWLIndividual subj;
        OWLDataPropertyExpression prop;
        OWLLiteral obj;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(NEGATIVEDATAPROPERTYASSERTION);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                    MAX, EXACTLY, SELF).build();
        }
    }


    private OWLClassExpression parseDataRestriction() {
        OWLDataPropertyExpression prop = parseDataProperty();
        String kw = consumeToken();
        if (SOME.matches(kw)) {
            OWLDataRange rng = parseDataRange();
            return dataFactory.getOWLDataSomeValuesFrom(prop, rng);
        } else if (ONLY.matches(kw)) {

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

        throw new ExceptionBuilder().withKeyword(TYPE).build();
    }


    @Nonnull
    private OWLAxiom parseAxiomWithDataPropertyStart() {
        OWLDataPropertyExpression prop = parseDataProperty();
        String kw = consumeToken();
        if (SOME.matches(kw)) {
            OWLDataRange dataRange = parseDataIntersectionOf();
            return parseClassAxiomRemainder(dataFactory
                    .getOWLDataSomeValuesFrom(prop, dataRange));
        } else if (ONLY.matches(kw)) {
            OWLDataRange dataRange = parseDataIntersectionOf();
            return parseClassAxiomRemainder(dataFactory
                    .getOWLDataAllValuesFrom(prop, dataRange));
        } else if (MIN.matches(kw)) {
            int cardi = parseInteger();
            OWLDataRange dataRange = parseDataIntersectionOf();
            return parseClassAxiomRemainder(dataFactory
                    .getOWLDataMinCardinality(cardi, prop, dataRange));
        } else if (MAX.matches(kw)) {
            int cardi = parseInteger();
            OWLDataRange dataRange = parseDataIntersectionOf();
            return parseClassAxiomRemainder(dataFactory
                    .getOWLDataMaxCardinality(cardi, prop, dataRange));
        } else if (EXACTLY.matches(kw)) {
            int cardi = parseInteger();
            OWLDataRange dataRange = parseDataIntersectionOf();
            return parseClassAxiomRemainder(dataFactory
                    .getOWLDataExactCardinality(cardi, prop, dataRange));
        } else if (SUB_PROPERTY_OF.matches(kw)) {
            OWLDataPropertyExpression superProperty = parseDataPropertyExpression();
            return dataFactory
                    .getOWLSubDataPropertyOfAxiom(prop, superProperty);
        } else if (EQUIVALENT_TO.matches(kw)) {
            OWLDataPropertyExpression equivProp = parseDataPropertyExpression();
            return dataFactory.getOWLEquivalentDataPropertiesAxiom(prop,
                    equivProp);
        } else if (DISJOINT_WITH.matches(kw)) {
            OWLDataPropertyExpression disjProp = parseDataPropertyExpression();
            return dataFactory
                    .getOWLDisjointDataPropertiesAxiom(prop, disjProp);
        } else if (DOMAIN.matches(kw)) {
            OWLClassExpression domain = parseClassExpression();
            return dataFactory.getOWLDataPropertyDomainAxiom(prop, domain);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                    OWL_RESTRICTION.getIRI());
            int cardi = translateInteger(mainNode, OWL_MAX_CARDINALITY);
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

            int cardi = translateInteger(mainNode,
                    OWL_MAX_QUALIFIED_CARDINALITY);
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataPropertyExpression

                    OWL_RESTRICTION.getIRI());
            int cardi = translateInteger(mainNode, OWL_MIN_CARDINALITY);
            IRI propertyIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_PROPERTY, true);
            assert propertyIRI != null;
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {

View Full Code Here

0 1 2 3 4 5

TOP

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.