Examples of org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom

org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom
3.org/TR/owl2-syntax/#Data_Property_Domain"> DataPropertyDomain axiom in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

    }


    @Test
    public void shouldBuildDataPropertyDomain() {
        // given
        OWLDataPropertyDomainAxiom expected = df.getOWLDataPropertyDomainAxiom(
                dp, ce, annotations);
        BuilderDataPropertyDomain builder = new BuilderDataPropertyDomain(
                expected, df);
        // when
        OWLObject built = builder.buildObject();

View Full Code Here

    public void testDataPropertyDomainAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLClass clsA = Class(iri("ClsA"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDataPropertyDomainAxiom ax = DataPropertyDomain(propP, clsA);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDataPropertyDomainAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(domain(ont.getDataPropertyDomainAxioms(propP))

View Full Code Here

TOP

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

org.semanticweb.owlapi.api.test.ontology.OWLOntologyAccessorsTestCase

org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase

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.