Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDisjointUnionAxiom

656
657
658
659
660
661
662
663
664
665
666
    }

    @Test
    public void shouldBuildDisjointUnion() {
        // given
        OWLDisjointUnionAxiom expected = df.getOWLDisjointUnionAxiom(ce,
                classes, annotations);
        BuilderDisjointUnion builder = new BuilderDisjointUnion(expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
        OWLOntology o = m.createOntology();
        OWLClass a = Class(IRI("http://iri/#a"));
        OWLClass b = Class(IRI("http://iri/#b"));
        OWLClass c = Class(IRI("http://iri/#c"));
        OWLClass d = Class(IRI("http://iri/#d"));
        OWLDisjointUnionAxiom axiom = DisjointUnion(a, b, c, d);
        o.getOWLOntologyManager().addAxiom(o, axiom);
        o.getOWLOntologyManager().addAxiom(o, Declaration(a));
        o.getOWLOntologyManager().addAxiom(o, Declaration(b));
        o.getOWLOntologyManager().addAxiom(o, Declaration(c));
        o.getOWLOntologyManager().addAxiom(o, Declaration(d));
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
155
                NO_ANNOTATIONS);
    }

    @Override
    protected int compareObjectOfSameType(OWLObject object) {
        OWLDisjointUnionAxiom other = (OWLDisjointUnionAxiom) object;
        int diff = owlClass.compareTo(other.getOWLClass());
        if (diff != 0) {
            return diff;
        }
        return compareSets(classExpressions, other.getClassExpressions());
    }
View Full Code Here
138
139
140
141
142
143
144
145
146
147
148
149
        return getOWLDataFactory().getOWLDisjointClassesAxiom(getClassExpressions());
    }

    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLDisjointUnionAxiom other = (OWLDisjointUnionAxiom) object;
        int diff = owlClass.compareTo(other.getOWLClass());
        if (diff != 0) {
            return diff;
        }
        return compareSets(classExpressions, other.getClassExpressions());
    }
View Full Code Here
TOP

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

  • org.semanticweb.owlapi.api.test.syntax.ManchesterOWLSyntaxParserTestCase
  • org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase
  • uk.ac.manchester.cs.owl.owlapi.OWLDisjointUnionAxiomImpl
    • 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.