Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

292
293
294
295
296
297
298
299
300
301
302
            addAxiom(dataFactory.getOWLSubPropertyChainOfAxiom(chain, r));
        }
    }

    private void LeftIdentity(OWLObjectProperty r) {
        OWLObjectProperty s;
        if (jj_2_21(2)) {
            jj_consume_token(LEFT_IDENTITY_ATTRIBUTE);
            s = RoleName();
            List<OWLObjectPropertyExpression> chain = new ArrayList<OWLObjectPropertyExpression>(
                    2);
View Full Code Here
426
427
428
429
430
431
432
433
434
435
436
        } else {}
    }

    private void Parents(OWLObjectProperty subProp) {
        Set<OWLObjectProperty> roles;
        OWLObjectProperty superProp;
        if (jj_2_46(2)) {
            if (jj_2_44(2)) {
                jj_consume_token(PARENTS);
                if (jj_2_40(2)) {
                    jj_consume_token(NIL);
View Full Code Here
467
468
469
470
471
472
473
474
475
476
477
            }
        } else {}
    }

    private void Parent(OWLObjectProperty subProp) {
        OWLObjectProperty superProp;
        if (jj_2_47(2)) {
            superProp = RoleName();
            addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp,
                    superProp));
        } else {}
View Full Code Here
520
521
522
523
524
525
526
527
528
529
530
        jj_consume_token(CLOSEPAR);
        addAxiom(dataFactory.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
    }

    private void ComplexRoleInclusion() {
        OWLObjectProperty superProp;
        List<OWLObjectPropertyExpression> chain;
        jj_consume_token(OPENPAR);
        jj_consume_token(ROLE_INCLUSION);
        chain = propertyChain();
        superProp = RoleName();
View Full Code Here
553
554
555
556
557
558
559
560
561
562
563
        jj_consume_token(CLOSEPAR);
        return chain;
    }

    private void Transitive() {
        OWLObjectProperty prop;
        jj_consume_token(OPENPAR);
        jj_consume_token(TRANSITIVE);
        prop = RoleName();
        jj_consume_token(CLOSEPAR);
        addAxiom(dataFactory.getOWLTransitiveObjectPropertyAxiom(prop));
View Full Code Here
562
563
564
565
566
567
568
569
570
571
572
        jj_consume_token(CLOSEPAR);
        addAxiom(dataFactory.getOWLTransitiveObjectPropertyAxiom(prop));
    }

    private void Range() {
        OWLObjectProperty prop;
        OWLClassExpression rng;
        jj_consume_token(OPENPAR);
        jj_consume_token(RANGE);
        prop = RoleName();
        rng = ConceptExpression();
View Full Code Here
732
733
734
735
736
737
738
739
740
741
742
        return dataFactory.getOWLObjectProperty(IRI);
    }

    private Set<OWLObjectProperty> RoleNameSet() {
        Set<OWLObjectProperty> roles = new HashSet<OWLObjectProperty>();
        OWLObjectProperty role;
        label_6: while (true) {
            role = RoleName();
            roles.add(role);
            if (jj_2_63(2)) {} else {
                break label_6;
View Full Code Here
788
789
790
791
792
793
794
795
796
797
798
        addAxiom(dataFactory.getOWLClassAssertionAxiom(type, ind));
    }

    private void Related() {
        OWLIndividual subj;
        OWLObjectProperty prop;
        OWLIndividual obj;
        jj_consume_token(OPENPAR);
        jj_consume_token(RELATED);
        subj = IndividualName();
        prop = RoleName();
View Full Code Here
409
410
411
412
413
414
415
416
417
418
419
        if (jj_2_30(5)) {
            jj_consume_token(INVERSE);
            inverse = true;
        }
        if (inverse) {
            OWLObjectProperty prop = factory.getOWLObjectProperty(iri);
            return factory.getOWLObjectInverseOf(prop);
        } else {
            return factory.getOWLObjectProperty(iri);
        }
    }
View Full Code Here
492
493
494
495
496
497
498
499
500
501
502
503
504
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveDisjointObjectProperties() {
        OWLObjectProperty a = OP(IRI());
        OWLObjectProperty b = OP(IRI());
        OWLObjectProperty c = OP(IRI());
        OWLObject objA = testSubject.getOWLDisjointObjectPropertiesAxiom(a, b,
                c);
        OWLObject objB = testSubject.getOWLDisjointObjectPropertiesAxiom(a, b,
                c);
        assertEquals(objA, objB);
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • de.fzi.herakles.examples.ComplexClassDescriptionExample
  • de.fzi.herakles.protege.anytime.tab.AnytimeReasoningListCellRenderer
  • de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OInstance
  • edu.pitt.ontology.owl.OInstance
  • edu.stanford.bmir.protege.web.client.ui.frame.ObjectPropertyFrameEditor
  • org.apache.stanbol.commons.owl.transformation.ConversionTester
    • 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.