Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

243
244
245
246
247
248
249
250
251
252
253
254
                superDescription));
    }

    // Roles
    private void DefineRole() {
        OWLObjectPropertyExpression propA;
        OWLObjectPropertyExpression propB;
        jj_consume_token(OPENPAR);
        jj_consume_token(DEFINEROLE);
        propA = RoleExpression();
        propB = RoleExpression();
        jj_consume_token(CLOSEPAR);
View Full Code Here
305
306
307
308
309
310
311
312
313
314
315
            addAxiom(dataFactory.getOWLSubPropertyChainOfAxiom(chain, r));
        }
    }

    private void InverseProperty(OWLObjectProperty subProp) {
        OWLObjectPropertyExpression superProp;
        if (jj_2_22(2)) {
            jj_consume_token(INVERSE_ATTRIBUTE);
            superProp = RoleExpression();
            addAxiom(dataFactory.getOWLInverseObjectPropertiesAxiom(subProp,
                    superProp));
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
        return factory.getOWLDifferentIndividualsAxiom(inds);
    }

    private OWLAxiom parseObjectPropertyAssertion() {
        OWLIndividual subj, obj;
        OWLObjectPropertyExpression prop;
        prop = parseObjectPropertyId();
        jj_consume_token(OPENPAR);
        subj = parseIndividualId();
        jj_consume_token(31);
        obj = parseIndividualId();
View Full Code Here
476
477
478
479
480
481
482
483
484
485
486
487
                    superProp));
        } else {}
    }

    private void DisjointRoles() {
        OWLObjectPropertyExpression exp1;
        OWLObjectPropertyExpression exp2;
        jj_consume_token(OPENPAR);
        jj_consume_token(DISJOINTROLES);
        exp1 = RoleExpression();
        exp2 = RoleExpression();
        jj_consume_token(CLOSEPAR);
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
293
        jj_consume_token(-1);
        throw new ParseException();
    }

    private OWLAxiom parsePropertyChain() {
        OWLObjectPropertyExpression prop;
        OWLObjectPropertyExpression supProp;
        List<OWLObjectPropertyExpression> props = new ArrayList<OWLObjectPropertyExpression>();
        prop = parseObjectPropertyId();
        props.add(prop);
        jj_consume_token(COMPOSE);
        prop = parseObjectPropertyId();
View Full Code Here
487
488
489
490
491
492
493
494
495
496
497
498
        jj_consume_token(CLOSEPAR);
        addAxiom(dataFactory.getOWLDisjointObjectPropertiesAxiom(exp1, exp2));
    }

    private void ImpliesRole() {
        OWLObjectPropertyExpression subProp;
        OWLObjectPropertyExpression superProp;
        jj_consume_token(OPENPAR);
        jj_consume_token(IMPLIESROLE);
        subProp = RoleExpression();
        superProp = RoleExpression();
        jj_consume_token(CLOSEPAR);
View Full Code Here
304
305
306
307
308
309
310
311
312
313
314
315
        supProp = parseObjectPropertyId();
        return factory.getOWLSubPropertyChainOfAxiom(props, supProp);
    }

    private OWLAxiom parsePropertyAxiom() {
        OWLObjectPropertyExpression lhs;
        OWLObjectPropertyExpression rhs;
        OWLAxiom ax;
        if (jj_2_23(5)) {
            lhs = parseObjectPropertyId();
            if (jj_2_20(5)) {
                jj_consume_token(SUBCLASSOF);
View Full Code Here
498
499
500
501
502
503
504
505
506
507
508
509
        jj_consume_token(CLOSEPAR);
        addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
    }

    private void Inverses() {
        OWLObjectPropertyExpression prop1;
        OWLObjectPropertyExpression prop2;
        jj_consume_token(OPENPAR);
        jj_consume_token(INVERSE);
        prop1 = RoleExpression();
        prop2 = RoleExpression();
        jj_consume_token(CLOSEPAR);
View Full Code Here
440
441
442
443
444
445
446
447
448
449
450
        }
        return desc;
    }

    private OWLClassExpression parseSomeRestriction() {
        OWLObjectPropertyExpression prop;
        OWLClassExpression filler;
        jj_consume_token(SOME);
        prop = parseObjectPropertyId();
        if (jj_2_35(5)) {
            jj_consume_token(DOT);
View Full Code Here
509
510
511
512
513
514
515
516
517
518
519
520
        jj_consume_token(CLOSEPAR);
        addAxiom(dataFactory.getOWLInverseObjectPropertiesAxiom(prop1, prop2));
    }

    private void RolesEquivalent() {
        OWLObjectPropertyExpression exp1;
        OWLObjectPropertyExpression exp2;
        jj_consume_token(OPENPAR);
        jj_consume_token(ROLESEQUIVALENT);
        exp1 = RoleExpression();
        exp2 = RoleExpression();
        jj_consume_token(CLOSEPAR);
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • au.csiro.snorocket.owlapi.util.DebugUtils
  • au.csiro.snorocket.protege.util.DebugUtils
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.ConceptConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser
  • de.uulm.ecs.ai.owlapi.krssrenderer.KRSS2ObjectRenderer
  • org.apache.stanbol.ontologymanager.registry.impl.RegistryManagerImpl
  • org.apache.stanbol.ontologymanager.registry.impl.util.RegistryUtils
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.