Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataProperty

146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
    @Test
    public void testRenameDataProperty() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLDataProperty propA = DataProperty(iri("propA"));
        OWLDataProperty propA2 = DataProperty(iri("propA2"));
        OWLDataPropertyExpression propB = DataProperty(iri("propB"));
        OWLIndividual indA = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
        Set<OWLAxiom> axioms1 = new HashSet<>();
        axioms1.add(SubDataPropertyOf(propA, propB));
        axioms1.add(EquivalentDataProperties(propA, propB));
        axioms1.add(DisjointDataProperties(propA, propB));
        axioms1.add(DataPropertyDomain(propA, clsA));
        axioms1.add(DataPropertyRange(propA, TopDatatype()));
        axioms1.add(FunctionalDataProperty(propA));
        axioms1.add(DataPropertyAssertion(propA, indA, Literal(33)));
        axioms1.add(NegativeDataPropertyAssertion(propA, indA, Literal(44)));
        axioms1.add(AnnotationAssertion(annoProp, propA.getIRI(), Literal("X")));
        ont.getOWLOntologyManager().addAxioms(ont, axioms1);
        Set<OWLAxiom> axioms2 = new HashSet<>();
        axioms2.add(SubDataPropertyOf(propA2, propB));
        axioms2.add(EquivalentDataProperties(propA2, propB));
        axioms2.add(DisjointDataProperties(propA2, propB));
        axioms2.add(DataPropertyDomain(propA2, clsA));
        axioms2.add(DataPropertyRange(propA2, TopDatatype()));
        axioms2.add(FunctionalDataProperty(propA2));
        axioms2.add(DataPropertyAssertion(propA2, indA, Literal(33)));
        axioms2.add(NegativeDataPropertyAssertion(propA2, indA, Literal(44)));
        axioms2.add(AnnotationAssertion(annoProp, propA2.getIRI(), Literal("X")));
        OWLEntityRenamer entityRenamer = new OWLEntityRenamer(
                ont.getOWLOntologyManager(), singleton(ont));
        List<OWLOntologyChange> changes = entityRenamer.changeIRI(propA,
                propA2.getIRI());
        ont.getOWLOntologyManager().applyChanges(changes);
        assertEquals(ont.getAxioms(), axioms2);
        List<OWLOntologyChange> changes2 = entityRenamer.changeIRI(
                propA2.getIRI(), propA.getIRI());
        ont.getOWLOntologyManager().applyChanges(changes2);
        assertEquals(ont.getAxioms(), axioms1);
    }
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
    @Test
    public void testRenameIndividual() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLDataProperty propA = DataProperty(iri("propA"));
        OWLObjectProperty propB = ObjectProperty(iri("propB"));
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLNamedIndividual indB = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
        Set<OWLAxiom> axioms1 = new HashSet<>();
        axioms1.add(ClassAssertion(clsA, indA));
        axioms1.add(DataPropertyAssertion(propA, indA, Literal(33)));
        axioms1.add(NegativeDataPropertyAssertion(propA, indA, Literal(44)));
        axioms1.add(AnnotationAssertion(annoProp, propA.getIRI(), Literal("X")));
        axioms1.add(ObjectPropertyAssertion(propB, indA, indB));
        axioms1.add(NegativeObjectPropertyAssertion(propB, indA, indB));
        ont.getOWLOntologyManager().addAxioms(ont, axioms1);
        Set<OWLAxiom> axioms2 = new HashSet<>();
        axioms2.add(ClassAssertion(clsA, indB));
        axioms2.add(DataPropertyAssertion(propA, indB, Literal(33)));
        axioms2.add(NegativeDataPropertyAssertion(propA, indB, Literal(44)));
        axioms2.add(AnnotationAssertion(annoProp, propA.getIRI(), Literal("X")));
        axioms2.add(ObjectPropertyAssertion(propB, indB, indB));
        axioms2.add(NegativeObjectPropertyAssertion(propB, indB, indB));
        OWLEntityRenamer entityRenamer = new OWLEntityRenamer(
                ont.getOWLOntologyManager(), singleton(ont));
        List<OWLOntologyChange> changes = entityRenamer.changeIRI(indA,
View Full Code Here
589
590
591
592
593
594
595
596
597
598
599
600
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveDisjointDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLDataProperty c = DP(IRI());
        OWLObject objA = testSubject.getOWLDisjointDataPropertiesAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLDisjointDataPropertiesAxiom(a, b, c);
        assertEquals(objA, objB);
    }
View Full Code Here
599
600
601
602
603
604
605
606
607
608
609
610
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeDisjointDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLObject objA = testSubject.getOWLDisjointDataPropertiesAxiom(a, b);
        OWLDataProperty c = DP(IRI());
        OWLObject objB = testSubject.getOWLDisjointDataPropertiesAxiom(a, b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
609
610
611
612
613
614
615
616
617
618
619
620
        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeDisjointDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLDataProperty c = DP(IRI());
        OWLObject objA = testSubject.getOWLDisjointDataPropertiesAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLDisjointDataPropertiesAxiom(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }
View Full Code Here
619
620
621
622
623
624
625
626
627
628
629
630
        assertEquals(objA.hashCode(), objB.hashCode());
    }

    @Test
    public void testAsSubAxiomsEquivalentDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLDataPropertyExpression[] properties = { a, b };
        OWLEquivalentDataPropertiesAxiom objA = testSubject
                .getOWLEquivalentDataPropertiesAxiom(properties);
        assertEquals(2, objA.asSubDataPropertyOfAxioms().size());
    }
View Full Code Here
638
639
640
641
642
643
644
645
646
647
648
649
650
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveEquivalentDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLDataProperty c = DP(IRI());
        OWLObject objA = testSubject.getOWLEquivalentDataPropertiesAxiom(a, b,
                c);
        OWLObject objB = testSubject.getOWLEquivalentDataPropertiesAxiom(a, b,
                c);
        assertEquals(objA, objB);
View Full Code Here
650
651
652
653
654
655
656
657
658
659
660
661
662
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeEquivalentDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLObject objA = testSubject.getOWLEquivalentDataPropertiesAxiom(a, b);
        OWLDataProperty c = DP(IRI());
        OWLObject objB = testSubject.getOWLEquivalentDataPropertiesAxiom(a, b,
                c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
661
662
663
664
665
666
667
668
669
670
671
672
673
        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeEquivalentDataProperties() {
        OWLDataProperty a = DP(IRI());
        OWLDataProperty b = DP(IRI());
        OWLDataProperty c = DP(IRI());
        OWLObject objA = testSubject.getOWLEquivalentDataPropertiesAxiom(a, b,
                c);
        OWLObject objB = testSubject.getOWLEquivalentDataPropertiesAxiom(a, b,
                c);
        assertEquals(objA.hashCode(), objB.hashCode());
View Full Code Here
825
826
827
828
829
830
831
832
833
834
835
        assertEquals(restA.hashCode(), restB.hashCode());
    }

    @Test
    public void testCreationDataExact() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • com.clarkparsia.explanation.test.AbstractExplanationTest
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • com.clarkparsia.pellint.test.util.OWL2DLProfileViolationsTest
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OInstance
  • edu.pitt.ontology.owl.OInstance
  • edu.stanford.bmir.protege.web.client.ui.frame.DataPropertyFrameEditor
  • 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.