Examples of OWLClass

Examples of org.semanticweb.owlapi.model.OWLClass

243
244
245
246
247
248
249
250
251
252
253
            }
        }

        @Override
        public OWLClassExpression visit(OWLObjectIntersectionOf ce) {
            OWLClass name = createNewName();
            for (OWLClassExpression op : ce.getOperands()) {
                axioms.add(getSCA(name, op.accept(this)));
            }
            return name;
        }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

253
254
255
256
257
258
259
260
261
262
263
        }

        @Override
        public OWLClassExpression visit(OWLObjectMaxCardinality ce) {
            if (signature.containsAll(ce.getFiller().getSignature())) {
                OWLClass name = createNewName();
                axioms.add(getSCA(name, ce.getFiller().accept(this)));
                return ldf.getOWLObjectMaxCardinality(ce.getCardinality(),
                        ce.getProperty(), name);
            } else {
                return ce;
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

265
266
267
268
269
270
271
272
273
274
275
        }

        @Override
        public OWLClassExpression visit(OWLObjectMinCardinality ce) {
            if (signature.containsAll(ce.getFiller().getSignature())) {
                OWLClass name = createNewName();
                axioms.add(getSCA(name, ce.getFiller().accept(this)));
                return ldf.getOWLObjectMinCardinality(ce.getCardinality(),
                        ce.getProperty(), name);
            } else {
                return ce;
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

291
292
293
294
295
296
297
298
299
300
301
        }

        @Override
        public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) {
            if (ce.getFiller().isAnonymous()) {
                OWLClass name = createNewName();
                axioms.add(getSCA(name, ce.getFiller().accept(this)));
                return ldf.getOWLObjectSomeValuesFrom(ce.getProperty(), name);
            } else {
                return ce;
            }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

306
307
308
309
310
311
312
313
314
315
316
            Set<OWLClassExpression> descs = new HashSet<>();
            for (OWLClassExpression op : ce.getOperands()) {
                OWLClassExpression flatOp = op.accept(this);
                if (flatOp.isAnonymous()
                        || signature.contains(flatOp.asOWLClass())) {
                    OWLClass name = createNewName();
                    descs.add(name);
                    axioms.add(ldf.getOWLSubClassOfAxiom(name, flatOp));
                } else {
                    descs.add(flatOp);
                }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

38
39
40
41
42
43
44
45
46
47
48
49
50
    protected Set<? extends OWLAxiom> createAxioms() {
        XMLWriterPreferences.getInstance().setUseNamespaceEntities(true);
        IRI iriA = IRI("http://owlapi.sourceforge.net/properties#propA");
        IRI iriB = IRI("http://owlapi.sourceforge.net/properties2#propB");
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLAnnotationProperty propA = AnnotationProperty(iriA);
        OWLAnnotationProperty propB = AnnotationProperty(iriB);
        axioms.add(Declaration(clsA));
        axioms.add(AnnotationAssertion(propA, clsA.getIRI(), Literal("value1")));
        axioms.add(AnnotationAssertion(propB, clsA.getIRI(), Literal("value2")));
        return axioms;
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

36
37
38
39
40
41
42
43
44
45
46
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLObjectProperty prop = ObjectProperty(iri("p"));
        axioms.add(Declaration(prop));
        axioms.add(SubClassOf(clsA, ObjectMinCardinality(3, prop, OWLThing())));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

39
40
41
42
43
44
45
46
47
48
49
50
51
52
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        OWLLiteral literalWithLang = Literal("abc", "en");
        OWLClass cls = Class(iri("A"));
        OWLAnnotationProperty prop = AnnotationProperty(iri("prop"));
        OWLAnnotationAssertionAxiom ax = AnnotationAssertion(prop,
                cls.getIRI(), literalWithLang);
        Set<OWLAxiom> axioms = new HashSet<>();
        axioms.add(ax);
        axioms.add(Declaration(cls));
        return axioms;
    }
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

36
37
38
39
40
41
42
43
44
45
46
47
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        axioms.add(SubClassOf(clsA, ObjectSomeValuesFrom(propP, clsB)));
        axioms.add(Declaration(clsB));
        axioms.add(Declaration(propP));
        assertEquals(getOnt().getAxioms(), axioms);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClass

35
36
37
38
39
40
41
42
43
44
45
public class ObjectHasSelfTestCase extends AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        axioms.add(SubClassOf(clsA, ObjectHasSelf(propP)));
        axioms.add(Declaration(propP));
        assertEquals(getOnt().getAxioms(), axioms);
    }
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.