Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLIndividual

293
294
295
296
297
298
299
300
301
302
303
                BuiltInTypeHandler typeHandler = builtInTypes.get(object);
                if (typeHandler != null) {
                    typeHandler.handleTriple(subject, predicate, object);
                } else if (axiomTypes.get(object) == null) {
                    // C(a)
                    OWLIndividual ind = consumer.translateIndividual(subject);
                    OWLClassExpression ce = consumer.translatorAccessor
                            .translateClassExpression(object);
                    consumer.addAxiom(consumer.getDataFactory()
                            .getOWLClassAssertionAxiom(ce, ind,
                                    consumer.getPendingAnnotations()));
View Full Code Here
34
35
36
37
38
39
40
41
42
    @Override
    protected Set<OWLAxiom> getAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClassExpression desc = getDataFactory().getOWLObjectComplementOf(
                createClass());
        OWLIndividual ind = createIndividual();
        axioms.add(getDataFactory().getOWLClassAssertionAxiom(desc, ind));
        return axioms;
    }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
    }

    @Nonnull
    @Override
    protected Set<OWLAxiom> getAxioms() {
        OWLIndividual subj = createIndividual();
        OWLDataProperty prop = createDataProperty();
        OWLLiteral obj = getDataFactory().getOWLLiteral("TestConstant");
        OWLAxiom ax = getDataFactory()
                .getOWLNegativeDataPropertyAssertionAxiom(prop, subj, obj);
        return singleton(ax);
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
48
    }

    @Nonnull
    @Override
    protected Set<OWLAxiom> getAxioms() {
        OWLIndividual subj = createIndividual();
        OWLObjectProperty prop = createObjectProperty();
        OWLIndividual obj = createIndividual();
        OWLAxiom ax = getDataFactory()
                .getOWLNegativeObjectPropertyAssertionAxiom(prop, subj, obj);
        return singleton(ax);
    }
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
    }

    @Override
    public void visit(OWLSubObjectPropertyOfAxiom axiom) {
        // subProp some {a} subClassOf supProp some {a}
        OWLIndividual ind = dataFactory.getOWLNamedIndividual(IRI.create(
                "http://debugger.com#", "A" + System.nanoTime()));
        OWLClassExpression sub = dataFactory.getOWLObjectHasValue(
                axiom.getSubProperty(), ind);
        OWLClassExpression sup = dataFactory.getOWLObjectHasValue(
                axiom.getSuperProperty(), ind);
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
176
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveAxiomSameIndividual() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLIndividual c = I();
        OWLObject objA = testSubject.getOWLSameIndividualAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLSameIndividualAxiom(a, b, c);
        assertEquals(objA, objB);
    }
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
186
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeAxiomSameIndividual() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLObject objA = testSubject.getOWLSameIndividualAxiom(a, b);
        OWLIndividual c = I();
        OWLObject objB = testSubject.getOWLSameIndividualAxiom(a, b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
185
186
187
188
189
190
191
192
193
194
195
196
        assertFalse(objA.equals(objB));
    }

    @Test
    public void testHashCodeAxiomSameIndividual() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLIndividual c = I();
        OWLObject objA = testSubject.getOWLSameIndividualAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLSameIndividualAxiom(a, b, c);
        assertEquals(objA.hashCode(), objB.hashCode());
    }
View Full Code Here
202
203
204
205
206
207
208
209
210
211
212
213
        assertNotNull(obj);
    }

    @Test
    public void testEqualsPositiveAxiomDifferentFrom() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLIndividual c = I();
        OWLObject objA = testSubject.getOWLDifferentIndividualsAxiom(a, b, c);
        OWLObject objB = testSubject.getOWLDifferentIndividualsAxiom(a, b, c);
        assertEquals(objA, objB);
    }
View Full Code Here
212
213
214
215
216
217
218
219
220
221
222
223
        assertEquals(objA, objB);
    }

    @Test
    public void testEqualsNegativeAxiomDifferentFrom() {
        OWLIndividual a = I();
        OWLIndividual b = I();
        OWLObject objA = testSubject.getOWLDifferentIndividualsAxiom(a, b);
        OWLIndividual c = I();
        OWLObject objB = testSubject.getOWLDifferentIndividualsAxiom(a, b, c);
        assertFalse(objA.equals(objB));
    }
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.modularity.EntailmentChecker
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
  • com.clarkparsia.owlwg.testrun.TestRunResultAdapter
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.ConceptConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • com.clarkparsia.pellet.owlapiv3.Reasoner
    • 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.