Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom

516
517
518
519
520
521
522
523
524
525
526
    }

    @Test
    public void shouldBuildDataPropertyRange() {
        // given
        OWLDataPropertyRangeAxiom expected = df.getOWLDataPropertyRangeAxiom(
                dp, d, annotations);
        BuilderDataPropertyRange builder = new BuilderDataPropertyRange(
                expected, df);
        // when
        OWLObject built = builder.buildObject();
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange intdr = df.getIntegerOWLDatatype();
        OWLDataRange floatdr = df.getFloatOWLDatatype();
        OWLDataRange intersection = df.getOWLDataIntersectionOf(intdr, floatdr);
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = df.getOWLDataPropertyRangeAxiom(p,
                intersection);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
366
367
368
369
370
371
372
373
374
375
376
        // :hasAge data property to 18 or more we specify its range as this data
        // range
        PrefixManager pm = new DefaultPrefixManager(null, null,
                "http://www.semanticweb.org/ontologies/dataranges#");
        OWLDataProperty hasAge = factory.getOWLDataProperty(":hasAge", pm);
        OWLDataPropertyRangeAxiom rangeAxiom = factory
                .getOWLDataPropertyRangeAxiom(hasAge, integerGE18);
        OWLOntology ontology = manager.createOntology(IRI
                .create("http://www.semanticweb.org/ontologies/dataranges"));
        // Add the range axiom to our ontology
        manager.addAxiom(ontology, rangeAxiom);
View Full Code Here
38
39
40
41
42
43
44
45
46
47
    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange oneOf = DataOneOf(Literal(30), Literal(31f));
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(p, oneOf);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange dr = DatatypeRestriction(Integer(),
                FacetRestriction(OWLFacet.MIN_INCLUSIVE, Literal(18)),
                FacetRestriction(OWLFacet.MAX_INCLUSIVE, Literal(30)));
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(p, dr);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
50
51
52
53
54
55
56
57
        OWLDataIntersectionOf disj2 = DataIntersectionOf(DataComplementOf(dt),
                dr);
        // here I negate dt
        OWLDataUnionOf union = DataUnionOf(disj1, disj2);
        OWLDataProperty prop = DataProperty(iri("prop"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(prop, union);
        return singleton(ax);
    }
View Full Code Here
850
851
852
853
854
855
856
857
858
859
860
        OWLDatatypeRestriction integerGE18 = df.getOWLDatatypeRestriction(
                integer, OWLFacet.MIN_INCLUSIVE, eighteen);
        OWLDataProperty hasAge = df
                .getOWLDataProperty(IRI
                        .create("http://www.semanticweb.org/ontologies/dataranges#hasAge"));
        OWLDataPropertyRangeAxiom rangeAxiom = df.getOWLDataPropertyRangeAxiom(
                hasAge, integerGE18);
        OWLOntology o = m.createOntology(IRI
                .create("http://www.semanticweb.org/ontologies/dataranges"));
        // Add the range axiom to our ontology
        m.addAxiom(o, rangeAxiom);
View Full Code Here
40
41
42
43
44
45
46
47
48
49
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange intdr = Integer();
        OWLDataRange floatdr = Float();
        OWLDataRange union = DataUnionOf(intdr, floatdr);
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(p, union);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataRange intdr = Integer();
        OWLDataRange complement = DataComplementOf(intdr);
        OWLDataProperty p = DataProperty(iri("p"));
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(p, complement);
        axioms.add(ax);
        axioms.add(Declaration(p));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
410
411
412
413
414
415
416
417
418
419
420
    public void testDataPropertyRangeAxiomAccessors() {
        OWLOntology ont = getOWLOntology("ont");
        OWLDataProperty propP = DataProperty(iri("p"));
        OWLDatatype dt = Datatype(iri("dt"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDataPropertyRangeAxiom ax = DataPropertyRange(propP, dt);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDataPropertyRangeAxioms(propP).contains(ax));
        assertTrue(ont.getAxioms(propP, EXCLUDED).contains(ax));
        assertTrue(range(ont.getDataPropertyRangeAxioms(propP)).contains(dt));
View Full Code Here
TOP

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

  • org.semanticweb.owlapi.api.test.classexpressions.DataIntersectionOfTestCase
  • org.semanticweb.owlapi.api.test.classexpressions.DataOneOfTestCase
  • org.semanticweb.owlapi.api.test.classexpressions.DataUnionOfTestCase
  • org.semanticweb.owlapi.api.test.classexpressions.DataUnionOfTestCase2
  • org.semanticweb.owlapi.api.test.literals.DataComplementOfTestCase
  • org.semanticweb.owlapi.api.test.literals.DatatypeRestrictionTestCase
  • org.semanticweb.owlapi.api.test.ontology.OWLOntologyAccessorsTestCase
  • org.semanticweb.owlapi.examples.Examples
  • org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase
  • uk.ac.manchester.owl.owlapi.tutorialowled2011.TutorialSnippetsTestCase
    • 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.