Package org.semanticweb.owlapi.model

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

65
66
67
68
69
70
71
72
73
74
75
        o.getOWLOntologyManager().addAxiom(o, ax4);
        assertTrue(o.getAxioms(AxiomType.SUB_OBJECT_PROPERTY).contains(ax));
        Collection<OWLAxiom> axioms = o.filterAxioms(
                Filters.subObjectPropertyWithSuper, d, INCLUDED);
        assertTrue(sub(axioms).contains(c));
        axioms = o.filterAxioms(Filters.subObjectPropertyWithSub, c, INCLUDED);
        assertTrue(sup(axioms).contains(d));
        assertTrue(domain(o.getObjectPropertyDomainAxioms(c)).contains(x));
        assertTrue(equivalent(o.getEquivalentObjectPropertiesAxioms(c))
                .contains(e));
    }
View Full Code Here
90
91
92
93
94
95
96
97
98
99
100
        o.getOWLOntologyManager().addAxiom(o, ax);
        o.getOWLOntologyManager().addAxiom(o, ax2);
        o.getOWLOntologyManager().addAxiom(o, ax3);
        o.getOWLOntologyManager().addAxiom(o, ax4);
        assertTrue(o.getAxioms(AxiomType.SUB_DATA_PROPERTY).contains(ax));
        Collection<OWLAxiom> axioms = o.filterAxioms(
                Filters.subDataPropertyWithSuper, d, INCLUDED);
        assertTrue(sub(axioms).contains(c));
        axioms = o.filterAxioms(Filters.subDataPropertyWithSub, c, INCLUDED);
        assertTrue(sup(axioms).contains(d));
        assertTrue(domain(o.getDataPropertyDomainAxioms(c)).contains(x));
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
        o.getOWLOntologyManager().addAxiom(o, ax4);
        assertTrue(o.getAxioms(AxiomType.SUB_DATA_PROPERTY).contains(ax));
        Collection<OWLAxiom> axioms = o.filterAxioms(
                Filters.subDataPropertyWithSuper, d, INCLUDED);
        assertTrue(sub(axioms).contains(c));
        axioms = o.filterAxioms(Filters.subDataPropertyWithSub, c, INCLUDED);
        assertTrue(sup(axioms).contains(d));
        assertTrue(domain(o.getDataPropertyDomainAxioms(c)).contains(x));
        assertTrue(range(o.getDataPropertyRangeAxioms(c)).contains(Boolean()));
        assertTrue(equivalent(o.getEquivalentDataPropertiesAxioms(c)).contains(
                e));
View Full Code Here
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
        // rdfs:label
        OWLAnnotationProperty label = df
                .getOWLAnnotationProperty(OWLRDFVocabulary.RDFS_LABEL.getIRI());
        for (OWLClass cls : ont.getClassesInSignature()) {
            // Get the annotations on the class that use the label property
            for (OWLAnnotation annotation : annotations(ont.filterAxioms(
                    Filters.annotations, cls.getIRI(), INCLUDED), label)) {
                if (annotation.getValue() instanceof OWLLiteral) {
                    OWLLiteral val = (OWLLiteral) annotation.getValue();
                    if (val.hasLang("pt")) {
                        // System.out.println(cls + " -> " + val.getLiteral());
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    @Test
    public void testAnnotationAssertionsPresent()
            throws OWLOntologyCreationException {
        OWLOntology ont = createOntology();
        OWLClass cls = Class(iri("http://www.semanticweb.org/owlapi/test#ClsA"));
        for (OWLAnnotation anno : annotations(ont.filterAxioms(
                Filters.annotations, cls.getIRI(), INCLUDED))) {
            assertTrue(anno.isDeprecatedIRIAnnotation());
        }
        OWLDataProperty prop = DataProperty(iri("http://www.semanticweb.org/owlapi/test#prop"));
        for (OWLAnnotation anno : annotations(ont.filterAxioms(
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
        for (OWLAnnotation anno : annotations(ont.filterAxioms(
                Filters.annotations, cls.getIRI(), INCLUDED))) {
            assertTrue(anno.isDeprecatedIRIAnnotation());
        }
        OWLDataProperty prop = DataProperty(iri("http://www.semanticweb.org/owlapi/test#prop"));
        for (OWLAnnotation anno : annotations(ont.filterAxioms(
                Filters.annotations, prop.getIRI(), INCLUDED))) {
            assertTrue(anno.isDeprecatedIRIAnnotation());
        }
    }
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.