Examples of filterAxioms()

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

111
112
113
114
115
116
117
118
119
120
121
        man.addAxiom(ont, ax2);
        performAxiomTests(ont, ax, ax2);
        assertTrue(ont.getSubClassAxiomsForSubClass(clsA).contains(ax));
        assertTrue(ont.getSubClassAxiomsForSuperClass(clsB).contains(ax));
        assertTrue(ont.getAxioms(clsA, EXCLUDED).contains(ax));
        assertTrue(sup(ont.filterAxioms(subClassWithSub, clsA, INCLUDED))
                .contains(clsB));
        assertTrue(sub(ont.filterAxioms(subClassWithSuper, clsB, INCLUDED))
                .contains(clsA));
    }
View Full Code Here

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

113
114
115
116
117
118
119
120
121
122
123
        assertTrue(ont.getSubClassAxiomsForSubClass(clsA).contains(ax));
        assertTrue(ont.getSubClassAxiomsForSuperClass(clsB).contains(ax));
        assertTrue(ont.getAxioms(clsA, EXCLUDED).contains(ax));
        assertTrue(sup(ont.filterAxioms(subClassWithSub, clsA, INCLUDED))
                .contains(clsB));
        assertTrue(sub(ont.filterAxioms(subClassWithSuper, clsB, INCLUDED))
                .contains(clsA));
    }

    @Test
    public void testEquivalentClassesAxiomAccessors() {
View Full Code Here

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

43
44
45
46
47
48
49
50
51
52
53
        OWLAnnotationProperty propR = AnnotationProperty(iri("propR"));
        ont.getOWLOntologyManager().addAxiom(ont,
                df.getOWLSubAnnotationPropertyOfAxiom(propP, propQ));
        ont.getOWLOntologyManager().addAxiom(ont,
                df.getOWLSubAnnotationPropertyOfAxiom(propP, propR));
        Collection<OWLAxiom> axioms = ont.filterAxioms(
                Filters.subAnnotationWithSub, propP, INCLUDED);
        assertTrue(sup(axioms).contains(propQ));
        assertTrue(sup(axioms).contains(propR));
        axioms = ont
                .filterAxioms(Filters.subAnnotationWithSub, propP, EXCLUDED);
View Full Code Here

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

47
48
49
50
51
52
53
54
55
56
57
                df.getOWLSubAnnotationPropertyOfAxiom(propP, propR));
        Collection<OWLAxiom> axioms = ont.filterAxioms(
                Filters.subAnnotationWithSub, propP, INCLUDED);
        assertTrue(sup(axioms).contains(propQ));
        assertTrue(sup(axioms).contains(propR));
        axioms = ont
                .filterAxioms(Filters.subAnnotationWithSub, propP, EXCLUDED);
        assertTrue(sup(axioms).contains(propQ));
        assertTrue(sup(axioms).contains(propR));
    }
View Full Code Here

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

64
65
66
67
68
69
70
71
72
73
74
        ont.getOWLOntologyManager().addAxiom(ont,
                df.getOWLSubAnnotationPropertyOfAxiom(propP, propQ));
        ont.getOWLOntologyManager().addAxiom(ont,
                df.getOWLSubAnnotationPropertyOfAxiom(propP, propR));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propQ, INCLUDED))
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propQ, EXCLUDED))
                .contains(propP));
        assertTrue(sub(
View Full Code Here

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

67
68
69
70
71
72
73
74
75
76
77
                df.getOWLSubAnnotationPropertyOfAxiom(propP, propR));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propQ, INCLUDED))
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propQ, EXCLUDED))
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propR, INCLUDED))
                .contains(propP));
        assertTrue(sub(
View Full Code Here

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

70
71
72
73
74
75
76
77
78
79
80
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propQ, EXCLUDED))
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propR, INCLUDED))
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propR, EXCLUDED))
                .contains(propP));
    }
View Full Code Here

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

73
74
75
76
77
78
79
80
81
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propR, INCLUDED))
                .contains(propP));
        assertTrue(sub(
                ont.filterAxioms(subAnnotationWithSuper, propR, EXCLUDED))
                .contains(propP));
    }
}
View Full Code Here

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

574
575
576
577
578
579
580
581
582
583
584
            // do anything that's necessary, e.g., print them out
            // System.out.println("Referenced class: " + cls);
        }
        // We should also find that B is an ASSERTED superclass of A
        Iterable<OWLClassExpression> superClasses = sup(
                ontology.filterAxioms(Filters.subClassWithSub, clsA, INCLUDED),
                OWLClassExpression.class);
        // Now save the ontology. The ontology will be saved to the location
        // where we loaded it from, in the default ontology format
        manager.saveOntology(ontology);
    }
View Full Code Here

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

62
63
64
65
66
67
68
69
70
71
72
        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_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));
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.