Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLOntology.containsAxiom()

697
698
699
700
701
702
703
704
705
706
707
                df.getOWLTopObjectProperty(), annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }

    @Test
    public void shouldBuildSWRLRule() throws OWLOntologyCreationException {
        // given
View Full Code Here
710
711
712
713
714
715
716
717
718
719
720
        OWLAxiom expected = df.getSWRLRule(body, head);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }

    @Test
    public void shouldBuildSymmetricObjectProperty()
            throws OWLOntologyCreationException {
View Full Code Here
725
726
727
728
729
730
731
732
733
734
735
                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }

    @Test
    public void shouldBuildTransitiveObjectProperty()
            throws OWLOntologyCreationException {
View Full Code Here
740
741
742
743
744
745
746
747
                annotations);
        OWLOntology o = m.createOntology();
        // when
        builder.applyChanges(o);
        // then
        assertTrue(o.containsAxiom(expected));
    }
}
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
        assertNotNull(src);
        assertNull(src.getOrigin());
        OWLOntology o = src.getRootOntology();
        assertNotNull(o);
        OWLAxiom ax = df.getOWLClassAssertionAxiom(FOAF_PERSON, ALEX);
        assertTrue(o.containsAxiom(ax));
        ax = df.getOWLClassAssertionAxiom(FOAF_PERSON, BEGONA);
        assertTrue(o.containsAxiom(ax));

        // Not knowing how the foaf:knows assertion is interpreted, we check for either (but not both!).
        ax = df.getOWLObjectPropertyAssertionAxiom(FOAF_KNOWS, ALEX, BEGONA);
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
        OWLOntology o = src.getRootOntology();
        assertNotNull(o);
        OWLAxiom ax = df.getOWLClassAssertionAxiom(FOAF_PERSON, ALEX);
        assertTrue(o.containsAxiom(ax));
        ax = df.getOWLClassAssertionAxiom(FOAF_PERSON, BEGONA);
        assertTrue(o.containsAxiom(ax));

        // Not knowing how the foaf:knows assertion is interpreted, we check for either (but not both!).
        ax = df.getOWLObjectPropertyAssertionAxiom(FOAF_KNOWS, ALEX, BEGONA);
        OWLAxiom ann = df.getOWLAnnotationAssertionAxiom(FOAF_KNOWS_AP, ALEX.getIRI(), BEGONA.getIRI());
        assertTrue(o.containsAxiom(ann) || o.containsAxiom(ax));
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
        assertTrue(o.containsAxiom(ax));

        // Not knowing how the foaf:knows assertion is interpreted, we check for either (but not both!).
        ax = df.getOWLObjectPropertyAssertionAxiom(FOAF_KNOWS, ALEX, BEGONA);
        OWLAxiom ann = df.getOWLAnnotationAssertionAxiom(FOAF_KNOWS_AP, ALEX.getIRI(), BEGONA.getIRI());
        assertTrue(o.containsAxiom(ann) || o.containsAxiom(ax));
        assertFalse(o.containsAxiom(ann) && o.containsAxiom(ax));

        assertSame(3, o.getAxiomCount()); // No other axioms exist.
    }
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
        assertTrue(o.containsAxiom(ax));

        // Not knowing how the foaf:knows assertion is interpreted, we check for either (but not both!).
        ax = df.getOWLObjectPropertyAssertionAxiom(FOAF_KNOWS, ALEX, BEGONA);
        OWLAxiom ann = df.getOWLAnnotationAssertionAxiom(FOAF_KNOWS_AP, ALEX.getIRI(), BEGONA.getIRI());
        assertTrue(o.containsAxiom(ann) || o.containsAxiom(ax));
        assertFalse(o.containsAxiom(ann) && o.containsAxiom(ax));

        assertSame(3, o.getAxiomCount()); // No other axioms exist.
    }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
        // Not knowing how the foaf:knows assertion is interpreted, we check for either (but not both!).
        ax = df.getOWLObjectPropertyAssertionAxiom(FOAF_KNOWS, ALEX, BEGONA);
        OWLAxiom ann = df.getOWLAnnotationAssertionAxiom(FOAF_KNOWS_AP, ALEX.getIRI(), BEGONA.getIRI());
        assertTrue(o.containsAxiom(ann) || o.containsAxiom(ax));
        assertFalse(o.containsAxiom(ann) && o.containsAxiom(ax));

        assertSame(3, o.getAxiomCount()); // No other axioms exist.
    }

    @Test
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
        // Not knowing how the foaf:knows assertion is interpreted, we check for either (but not both!).
        ax = df.getOWLObjectPropertyAssertionAxiom(FOAF_KNOWS, ALEX, BEGONA);
        OWLAxiom ann = df.getOWLAnnotationAssertionAxiom(FOAF_KNOWS_AP, ALEX.getIRI(), BEGONA.getIRI());
        assertTrue(o.containsAxiom(ann) || o.containsAxiom(ax));
        assertFalse(o.containsAxiom(ann) && o.containsAxiom(ax));

        assertSame(3, o.getAxiomCount()); // No other axioms exist.
    }

    @Test
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.