Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLClass

71
72
73
74
75
76
77
78
79
80
81
        equal(ontology, onto2);
    }

    @Test
    public void shouldDoCompleteRoundtripManchesterOWLSyntax() throws Exception {
        OWLClass a = Class(IRI(NS + "#A"));
        OWLDataProperty p = df.getOWLDataProperty(IRI(NS + "#P"));
        SWRLVariable x = df.getSWRLVariable(IRI(NS + "#X"));
        SWRLVariable y = df.getSWRLVariable(IRI(NS + "#Y"));
        OWLOntology ontology = m.createOntology(IRI(NS));
        Set<SWRLAtom> body = new TreeSet<>();
View Full Code Here
184
185
186
187
188
189
190
191
192
193
194
     * @return
     * @throws OWLOntologyCreationException
     */
    @Nonnull
    OWLOntology prepareOntology() throws OWLOntologyCreationException {
        OWLClass a = Class(IRI(NS + "#A"));
        OWLDataProperty p = df.getOWLDataProperty(IRI(NS + "#P"));
        SWRLVariable x = df.getSWRLVariable(IRI(NS + "#X"));
        SWRLVariable y = df.getSWRLVariable(IRI(NS + "#Y"));
        OWLOntology ontology = m.createOntology(IRI(NS));
        Set<SWRLAtom> body = new TreeSet<>();
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
51
public class OntologyChangeListenerTestCase extends TestBase {

    @Test
    public void testOntologyChangeListener() {
        OWLOntology ont = getOWLOntology("ont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLClass clsB = Class(iri("ClsB"));
        OWLSubClassOfAxiom ax = SubClassOf(clsA, clsB);
        final Set<OWLAxiom> impendingAdditions = new HashSet<>();
        final Set<OWLAxiom> impendingRemovals = new HashSet<>();
        final Set<OWLAxiom> additions = new HashSet<>();
        final Set<OWLAxiom> removals = new HashSet<>();
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
56
57
58
public class RenameEntityTestCase extends TestBase {

    @Test
    public void testRenameClass() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsAIRI1 = Class(iri("ClsA1"));
        OWLClass clsAIRI2 = Class(iri("ClsA2"));
        OWLClass clsB = Class(iri("ClsB"));
        OWLClass clsC = Class(iri("ClsC"));
        OWLObjectPropertyExpression propA = ObjectProperty(iri("propA"));
        OWLDataPropertyExpression propB = DataProperty(iri("propA"));
        OWLIndividual indA = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
        Set<OWLAxiom> axioms1 = new HashSet<>();
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
    }

    @Test
    public void testRenameObjectProperty() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLObjectProperty propA = ObjectProperty(iri("propA"));
        OWLObjectProperty propA2 = ObjectProperty(iri("propA2"));
        OWLObjectPropertyExpression propB = ObjectProperty(iri("propB"))
                .getInverseProperty();
        OWLIndividual indA = NamedIndividual(iri("indA"));
View Full Code Here
145
146
147
148
149
150
151
152
153
154
155
    }

    @Test
    public void testRenameDataProperty() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLDataProperty propA = DataProperty(iri("propA"));
        OWLDataProperty propA2 = DataProperty(iri("propA2"));
        OWLDataPropertyExpression propB = DataProperty(iri("propB"));
        OWLIndividual indA = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
    }

    @Test
    public void testRenameIndividual() {
        OWLOntology ont = getOWLOntology("testont");
        OWLClass clsA = Class(iri("ClsA"));
        OWLDataProperty propA = DataProperty(iri("propA"));
        OWLObjectProperty propB = ObjectProperty(iri("propB"));
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLNamedIndividual indB = NamedIndividual(iri("indA"));
        OWLAnnotationProperty annoProp = AnnotationProperty(iri("annoProp"));
View Full Code Here
2367
2368
2369
2370
2371
2372
2373
2374
2375
2376
    }

    @Test
    public void testEqualsPositiveObjectPropertyRange() {
        OWLObjectProperty left = OP(IRI());
        OWLClass right = C(IRI());
        OWLAxiom axA = testSubject.getOWLObjectPropertyRangeAxiom(left, right);
        OWLAxiom axB = testSubject.getOWLObjectPropertyRangeAxiom(left, right);
        assertEquals(axA, axB);
    }
View Full Code Here
2376
2377
2378
2379
2380
2381
2382
2383
2384
2385
2386
    }

    @Test
    public void testEqualsNegativeObjectPropertyRange() {
        OWLObjectProperty left = OP(IRI());
        OWLClass right = C(IRI());
        // Different left operand
        OWLAxiom axA = testSubject.getOWLObjectPropertyRangeAxiom(OP(IRI()),
                right);
        OWLAxiom axB = testSubject.getOWLObjectPropertyRangeAxiom(OP(IRI()),
                right);
View Full Code Here
2394
2395
2396
2397
2398
2399
2400
2401
2402
2403
2404
    }

    @Test
    public void testHashCodeObjectPropertyRange() {
        OWLObjectProperty left = OP(IRI());
        OWLClass right = C(IRI());
        int hashCodeA = testSubject.getOWLObjectPropertyRangeAxiom(left, right)
                .hashCode();
        int hashCodeB = testSubject.getOWLObjectPropertyRangeAxiom(left, right)
                .hashCode();
        assertEquals(hashCodeA, hashCodeB);
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.AbstractExplanationTest
  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.modularity.AbstractModuleExtractor
  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • com.clarkparsia.pellint.format.SimpleLintFormat
  • com.clarkparsia.pellint.lintpattern.axiom.EquivalentToAllValuePattern
    • 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.