Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom


    }

    @Test
    public void shouldBuildFunctionalObjectProperty() {
        // given
        OWLFunctionalObjectPropertyAxiom expected = df
                .getOWLFunctionalObjectPropertyAxiom(op, annotations);
        BuilderFunctionalObjectProperty builder = new BuilderFunctionalObjectProperty(
                expected, df);
        // when
        OWLObject built = builder.buildObject();
View Full Code Here


    @Test
    public void testFunctionalObjectPropertyAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLFunctionalObjectPropertyAxiom ax = FunctionalObjectProperty(propP);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getFunctionalObjectPropertyAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(isFunctional(propP, ont));
View Full Code Here

TOP

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

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.