Examples of asOWLSubClassOfAxioms()

Examples of org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom.asOWLSubClassOfAxioms()

86
87
88
89
90
91
92
93
94
95
96
    public void testSplit() {
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLClass clsC = Class(iri("C"));
        OWLEquivalentClassesAxiom ax = EquivalentClasses(clsA, clsB, clsC);
        Set<OWLSubClassOfAxiom> scas = ax.asOWLSubClassOfAxioms();
        assertEquals(6, scas.size());
        assertTrue(scas.contains(SubClassOf(clsA, clsB)));
        assertTrue(scas.contains(SubClassOf(clsB, clsA)));
        assertTrue(scas.contains(SubClassOf(clsA, clsC)));
        assertTrue(scas.contains(SubClassOf(clsC, clsA)));
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom.asOWLSubClassOfAxioms()

676
677
678
679
680
681
682
683
684
685
686
    @Test
    public void testAsSubAxiomsEquivalentClasses() {
        OWLClassExpression[] classExpressions = { C(IRI()), C(IRI()) };
        OWLEquivalentClassesAxiom objA = testSubject
                .getOWLEquivalentClassesAxiom(classExpressions);
        assertEquals(2, objA.asOWLSubClassOfAxioms().size());
    }

    @Test
    public void testCreationEquivalentClasses() {
        OWLClassExpression[] classExpressions = { C(IRI()), C(IRI()), C(IRI()) };
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.