Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

34
35
36
37
38
39
40
41
42
43
44
45
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLObjectPropertyExpression propA = ObjectProperty(iri("p"))
                .getInverseProperty();
        OWLObjectPropertyExpression propB = ObjectProperty(iri("q"))
                .getInverseProperty();
        axioms.add(SubObjectPropertyOf(propA, propB));
        return axioms;
    }
View Full Code Here
33
34
35
36
37
38
39
40
41
42
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLObjectPropertyExpression propA = ObjectProperty(iri("propA"));
        OWLObjectPropertyExpression propB = ObjectProperty(iri("propB"));
        axioms.add(DisjointObjectProperties(propA, propB));
        return axioms;
    }
View Full Code Here
598
599
600
601
602
603
604
605
606
607
608
        }
        throw new Error("Missing return statement in function");
    }

    final public OWLClassExpression ObjectAllValuesFrom() throws ParseException {
        OWLObjectPropertyExpression prop;
        OWLClassExpression filler;
        jj_consume_token(OBJECTALLVALUESFROM);
        jj_consume_token(OPENPAR);
        prop = ObjectPropertyExpression();
        filler = ClassExpression();
View Full Code Here
615
616
617
618
619
620
621
622
623
624
625
        throw new Error("Missing return statement in function");
    }

    final public OWLClassExpression ObjectSomeValuesFrom()
            throws ParseException {
        OWLObjectPropertyExpression prop;
        OWLClassExpression filler;
        jj_consume_token(OBJECTSOMEVALUESFROM);
        jj_consume_token(OPENPAR);
        prop = ObjectPropertyExpression();
        filler = ClassExpression();
View Full Code Here
631
632
633
634
635
636
637
638
639
640
641
        }
        throw new Error("Missing return statement in function");
    }

    final public OWLClassExpression ObjectHasValue() throws ParseException {
        OWLObjectPropertyExpression prop;
        OWLIndividual ind;
        jj_consume_token(OBJECTHASVALUE);
        jj_consume_token(OPENPAR);
        prop = ObjectPropertyExpression();
        ind = Individual();
View Full Code Here
647
648
649
650
651
652
653
654
655
656
657
        }
        throw new Error("Missing return statement in function");
    }

    final public OWLClassExpression ObjectSelf() throws ParseException {
        OWLObjectPropertyExpression prop;
        jj_consume_token(OBJECTHASSELF);
        jj_consume_token(OPENPAR);
        prop = ObjectPropertyExpression();
        jj_consume_token(CLOSEPAR);
        {
View Full Code Here
663
664
665
666
667
668
669
670
671
672
673
    }

    final public OWLClassExpression ObjectMinCardinality()
            throws ParseException {
        int cardinality = 0;
        OWLObjectPropertyExpression prop = null;
        OWLClassExpression filler = null;
        jj_consume_token(OBJECTMINCARDINALITY);
        jj_consume_token(OPENPAR);
        cardinality = Cardinality();
        prop = ObjectPropertyExpression();
View Full Code Here
718
719
720
721
722
723
724
725
726
727
728
    }

    final public OWLClassExpression ObjectExactCardinality()
            throws ParseException {
        int cardinality = 0;
        OWLObjectPropertyExpression prop = null;
        OWLClassExpression filler = null;
        jj_consume_token(OBJECTEXACTCARDINALITY);
        jj_consume_token(OPENPAR);
        cardinality = Cardinality();
        prop = ObjectPropertyExpression();
View Full Code Here
773
774
775
776
777
778
779
780
781
782
783
    }

    final public OWLClassExpression ObjectMaxCardinality()
            throws ParseException {
        int cardinality = 0;
        OWLObjectPropertyExpression prop = null;
        OWLClassExpression filler = null;
        jj_consume_token(OBJECTMAXCARDINALITY);
        jj_consume_token(OPENPAR);
        cardinality = Cardinality();
        prop = ObjectPropertyExpression();
View Full Code Here
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
        throw new Error("Missing return statement in function");
    }

    final public OWLObjectPropertyExpression ObjectPropertyExpression()
            throws ParseException {
        OWLObjectPropertyExpression prop;
        switch (jj_ntk == -1 ? jj_ntk_f() : jj_ntk) {
            case OBJECTINVERSEOF: {
                prop = InverseObjectProperty();
                break;
            }
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.