Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLOntologyManager

30
31
32
33
34
35
36
37
38
39
40
41
42
@SuppressWarnings("javadoc")
public class OWLOntologyToStringTestCase {

    @Test
    public void testNamedOntologyToString() throws OWLOntologyCreationException {
        OWLOntologyManager man = OWLManager.createOWLOntologyManager();
        IRI ontIRI = IRI("http://owlapi.sourceforge.net/ont");
        OWLOntology ont = man.createOntology(ontIRI);
        String s = ont.toString();
        String expected = "Ontology(" + ont.getOntologyID() + ") [Axioms: "
                + ont.getAxiomCount() + " Logical Axioms: "
                + ont.getLogicalAxiomCount() + "] First 20 axioms: {}";
        assertEquals(expected, s);
View Full Code Here
39
40
41
42
43
44
45
46
47
    @Nonnull
    private static final IRI ONTOLOGY_IRI = IRI("http://test.com/ont");

    private static OWLOntologyManager createManager() {
        OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
        manager.getIRIMappers().clear();
        return manager;
    }
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
        return manager;
    }

    @Test
    public void testCreateOntologyWithIRI() throws OWLOntologyCreationException {
        OWLOntologyManager manager = createManager();
        OWLOntology ontology = manager.createOntology(ONTOLOGY_IRI);
        assertEquals(ONTOLOGY_IRI, ontology.getOntologyID().getOntologyIRI()
                .get());
        assertEquals(ONTOLOGY_IRI, manager.getOntologyDocumentIRI(ontology));
    }
View Full Code Here
56
57
58
59
60
61
62
63
64
65
    }

    @Test
    public void testCreateOntologyWithAxioms()
            throws OWLOntologyCreationException {
        OWLOntologyManager manager = createManager();
        OWLOntology ontology = manager.createOntology(new HashSet<OWLAxiom>());
        assertNotNull("ontology should not be null",
                manager.getOntologyDocumentIRI(ontology));
    }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
    }

    @Test
    public void testCreateOntologyWithAxiomsAndIRI()
            throws OWLOntologyCreationException {
        OWLOntologyManager manager = createManager();
        OWLOntology ontology = manager.createOntology(new HashSet<OWLAxiom>(),
                ONTOLOGY_IRI);
        assertEquals(ONTOLOGY_IRI, ontology.getOntologyID().getOntologyIRI()
                .get());
        assertEquals(ONTOLOGY_IRI, manager.getOntologyDocumentIRI(ontology));
    }
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
87
88
89
    }

    @Test
    public void testCreateOntologyWithIdWithVersionIRI()
            throws OWLOntologyCreationException {
        OWLOntologyManager manager = createManager();
        IRI versionIRI = IRI("http://version/1");
        OWLOntologyID id = new OWLOntologyID(of(ONTOLOGY_IRI), of(versionIRI));
        OWLOntology ontology = manager.createOntology(id);
        assertEquals(ONTOLOGY_IRI, ontology.getOntologyID().getOntologyIRI()
                .get());
        assertEquals(versionIRI, ontology.getOntologyID().getVersionIRI().get());
        assertEquals(versionIRI, manager.getOntologyDocumentIRI(ontology));
    }
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
        assertEquals(versionIRI, manager.getOntologyDocumentIRI(ontology));
    }

    @Test
    public void testCreateOntologyWithId() throws OWLOntologyCreationException {
        OWLOntologyManager manager = createManager();
        OWLOntologyID id = new OWLOntologyID(of(ONTOLOGY_IRI), absent());
        OWLOntology ontology = manager.createOntology(id);
        assertEquals(ONTOLOGY_IRI, ontology.getOntologyID().getOntologyIRI()
                .get());
        assertEquals(ONTOLOGY_IRI, manager.getOntologyDocumentIRI(ontology));
    }
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
    public void testSubClassOfAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLSubClassOfAxiom ax = SubClassOf(clsA, clsB);
        man.addAxiom(ont, ax);
        OWLSubClassOfAxiom ax2 = SubClassOf(clsA,
                ObjectSomeValuesFrom(prop, clsB));
        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))
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
136
137
138
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLClass clsC = Class(iri("C"));
        OWLClass clsD = Class(iri("D"));
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLEquivalentClassesAxiom ax = EquivalentClasses(clsA, clsB, clsC,
                ObjectSomeValuesFrom(prop, clsD));
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getEquivalentClassesAxioms(clsA).contains(ax));
        assertTrue(ont.getEquivalentClassesAxioms(clsB).contains(ax));
        assertTrue(ont.getEquivalentClassesAxioms(clsC).contains(ax));
        assertTrue(ont.getAxioms(clsA, EXCLUDED).contains(ax));
View Full Code Here
146
147
148
149
150
151
152
153
154
155
156
157
158
159
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLClass clsC = Class(iri("C"));
        OWLClass clsD = Class(iri("D"));
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDisjointClassesAxiom ax = DisjointClasses(clsA, clsB, clsC,
                ObjectSomeValuesFrom(prop, clsD));
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDisjointClassesAxioms(clsA).contains(ax));
        assertTrue(ont.getDisjointClassesAxioms(clsB).contains(ax));
        assertTrue(ont.getDisjointClassesAxioms(clsC).contains(ax));
        assertTrue(ont.getAxioms(clsA, EXCLUDED).contains(ax));
View Full Code Here
TOP

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

  • com.clarkparsia.owlwg.owlapi3.testcase.impl.OwlApi3ETImpl
  • com.clarkparsia.owlwg.owlapi3.testcase.impl.OwlApi3xCTImpl
  • com.clarkparsia.pellet.owlapiv3.test.OWLWGTestCase
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • edu.pitt.dbmi.nlp.noble.ontology.owl.OOntology
  • edu.pitt.ontology.owl.OOntology
  • edu.stanford.bmir.protege.web.server.owlapi.DeleteEntityChangeFactory
  • edu.stanford.bmir.protege.web.server.owlapi.manager.WebProtegeOWLManager
  • edu.stanford.bmir.protege.web.server.owlapi.OWLAPIProjectImporter
  • 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.