Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectProperty.asOWLObjectProperty()

1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
        consumeToken(OBJECT_PROPERTY);
        String token = consumeToken();
        OWLObjectProperty prop = getOWLObjectProperty(token);
        if (!prop.isAnonymous()) {
            axioms.add(new OntologyAxiomPair(defaultOntology, dataFactory
                    .getOWLDeclarationAxiom(prop.asOWLObjectProperty())));
        }
        parseFrameSections(eof, axioms, prop, objectPropertyFrameSections);
        return axioms;
    }
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
        OWLClass clsC1 = mock(OWLClass.class);
        when(clsC1.getIRI()).thenReturn(mock(IRI.class));
        when(entityChecker.getOWLClass("C1")).thenReturn(clsC1);
        OWLObjectProperty oP = mock(OWLObjectProperty.class);
        when(oP.getIRI()).thenReturn(mock(IRI.class));
        when(oP.asOWLObjectProperty()).thenReturn(oP);
        when(entityChecker.getOWLObjectProperty("oP")).thenReturn(oP);
        when(entityChecker.getOWLDataProperty("dP")).thenReturn(
                mock(OWLDataProperty.class));
        when(entityChecker.getOWLAnnotationProperty("aP")).thenReturn(
                mock(OWLAnnotationProperty.class));
View Full Code Here
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
        OWLObjectProperty prop = getOWLObjectProperty(token);
        if (prop == null) {
            throw createException(false, true, false, false);
        }
        if (!prop.isAnonymous()) {
            axioms.add(new OntologyAxiomPair(defaultOntology, dataFactory.getOWLDeclarationAxiom(prop.asOWLObjectProperty())));
        }
        parseFrameSections(eof, axioms, prop, objectPropertyFrameSections);
        return 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.