Examples of org.semanticweb.owlapi.model.OWLClassExpression

org.semanticweb.owlapi.model.OWLClassExpression
3.org/TR/owl2-syntax/#Class_Expressions">Class Expressions in the OWL 2 specification. This interface covers named and anonymous classes. @author Matthew Horridge The University Of Manchester Bio-Health InformaticsGroup @since 2.0.0

        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();
        prop = DataPropertyExpression();

View Full Code Here

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


    final public OWLIndividualAxiom ClassAssertion() throws ParseException {
        OWLIndividual ind;
        OWLClassExpression desc;
        Set<OWLAnnotation> axiomAnnos;
        jj_consume_token(CLASSASSERTION);
        jj_consume_token(OPENPAR);
        axiomAnnos = AxiomAnnotationSet();
        desc = ClassExpression();

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);

View Full Code Here

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


    final public SWRLClassAtom ClassAtom() throws ParseException {
        OWLClassExpression ce;
        SWRLIArgument arg0;
        jj_consume_token(CLASSATOM);
        jj_consume_token(OPENPAR);
        ce = ClassExpression();
        arg0 = IArg();

View Full Code Here

        }
        return ax;
    }


    private OWLAxiom DefinePrimitiveConcept() {
        OWLClassExpression subClass;
        OWLClassExpression superClass;
        jj_consume_token(OPENPAR);
        jj_consume_token(DEFINEPRIMITIVECONCEPT);
        subClass = ConceptName();
        superClass = ConceptExpression();
        jj_consume_token(CLOSEPAR);

View Full Code Here

        jj_consume_token(CLOSEPAR);
        return dataFactory.getOWLSubClassOfAxiom(subClass, superClass);
    }


    private OWLAxiom DefineConcept() {
        OWLClassExpression clsA;
        OWLClassExpression clsB;
        jj_consume_token(OPENPAR);
        jj_consume_token(DEFINECONCEPT);
        clsA = ConceptName();
        clsB = ConceptExpression();
        jj_consume_token(CLOSEPAR);

View Full Code Here

        return dataFactory.getOWLTransitiveObjectPropertyAxiom(prop);
    }


    private OWLAxiom Range() {
        OWLObjectProperty prop;
        OWLClassExpression rng;
        jj_consume_token(OPENPAR);
        jj_consume_token(RANGE);
        prop = RoleName();
        rng = ConceptExpression();
        jj_consume_token(CLOSEPAR);

View Full Code Here

        jj_consume_token(CLOSEPAR);
        return dataFactory.getOWLObjectPropertyRangeAxiom(prop, rng);
    }


    private OWLClassExpression ConceptExpression() {
        OWLClassExpression desc;
        if (jj_2_11(2)) {
            desc = ConceptName();
        } else if (jj_2_12(2)) {
            desc = And();
        } else if (jj_2_13(2)) {

View Full Code Here

        return dataFactory.getOWLClass(iri);
    }


    private Set<OWLClassExpression> ConceptSet() {
        Set<OWLClassExpression> descs = new HashSet<OWLClassExpression>();
        OWLClassExpression desc;
        label_3: while (true) {
            desc = ConceptExpression();
            descs.add(desc);
            if (jj_2_20(2)) {} else {
                break label_3;

View Full Code Here

        jj_consume_token(CLOSEPAR);
        return dataFactory.getOWLObjectUnionOf(operands);
    }


    private OWLClassExpression Not() {
        OWLClassExpression operand;
        jj_consume_token(OPENPAR);
        jj_consume_token(NOT);
        operand = ConceptExpression();
        jj_consume_token(CLOSEPAR);
        return dataFactory.getOWLObjectComplementOf(operand);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

com.clarkparsia.explanation.test.ExplanationTester

com.clarkparsia.explanation.test.OWLAPIExplanationTest

com.clarkparsia.modularity.EntailmentChecker

com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator

com.clarkparsia.modularity.io.TaxonomyPersistence

com.clarkparsia.owlapi.explanation.AxiomConverter

com.clarkparsia.owlapi.explanation.GlassBoxExplanation

com.clarkparsia.owlapi.explanation.PelletExplanation

com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter

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.