Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataRange

36
37
38
39
40
41
42
43
44
45
46
47
public class DataComplementOfTestCase extends AbstractFileRoundTrippingTestCase {

    @Test
    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
35
36
37
38
39
40
41
42
43
44
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDatatype datatype = Datatype(IRI("http://www.ont.com/myont/mydatatype"));
        OWLDataRange dr = DataComplementOf(Integer());
        axioms.add(DatatypeDefinition(datatype, dr));
        axioms.add(Declaration(datatype));
        return axioms;
    }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLDataProperty prop = DataProperty(iri("prop"));
        OWLDataRange dr = Integer();
        OWLClass base = Class(iri("A"));
        axioms.add(SubClassOf(base, DataMaxCardinality(3, prop, dr)));
        return axioms;
    }
View Full Code Here
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
        if (!configuration.isStrict() && complementOfObject == null) {
            complementOfObject = getResourceObject(mainNode, OWL_COMPLEMENT_OF,
                    true);
        }
        if (complementOfObject != null) {
            OWLDataRange operand = translateDataRange(complementOfObject);
            return dataFactory.getOWLDataComplementOf(operand);
        }
        IRI oneOfObject = getResourceObject(mainNode, OWL_ONE_OF, true);
        if (oneOfObject != null) {
            Set<OWLLiteral> literals = translatorAccessor
View Full Code Here
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
        }

        private void translateAsDataPropertyRange(@Nonnull IRI subject,
                @Nonnull IRI predicate, @Nonnull IRI object) {
            OWLDataPropertyExpression property = translateDataProperty(subject);
            OWLDataRange dataRange = translateDataRange(object);
            addAxiom(df.getOWLDataPropertyRangeAxiom(property, dataRange,
                    getPendingAnnotations()));
            consumeTriple(subject, predicate, object);
        }
View Full Code Here
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
        super(handler);
    }

    @Override
    void handleChild(@Nonnull AbstractOWLDataRangeHandler h) {
        OWLDataRange handledDataRange = h.getOWLObject();
        if (handledDataRange.isDatatype() && datatype == null) {
            datatype = handledDataRange.asOWLDatatype();
        } else {
            dataRange = handledDataRange;
        }
    }
View Full Code Here
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
                verifyNotNull(restrictedDataRange), facetRestrictions));
    }

    @Override
    void handleChild(@Nonnull AbstractOWLDataRangeHandler h) {
        OWLDataRange dr = h.getOWLObject();
        if (dr.isDatatype()) {
            restrictedDataRange = dr.asOWLDatatype();
        }
    }
View Full Code Here
45
46
47
48
49
50
51
52
53
        this.property = checkNotNull(property, "property cannot be null");
    }

    @Override
    public void addSignatureEntitiesToSet(Set<OWLEntity> entities) {
        OWLDataRange filler = getFiller();
        addSignatureEntitiesToSetForValue(entities, filler);
        addSignatureEntitiesToSetForValue(entities, property);
    }
View Full Code Here
52
53
54
55
56
57
58
59
        addSignatureEntitiesToSetForValue(entities, property);
    }

    @Override
    public void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) {
        OWLDataRange filler = getFiller();
        addAnonymousIndividualsToSetForValue(anons, filler);
    }
View Full Code Here
243
244
245
246
247
248
249
250
                ce.getProperty(), filler);
    }

    @Override
    public OWLClassExpression visit(@Nonnull OWLDataSomeValuesFrom ce) {
        OWLDataRange filler = ce.getFiller().accept(this);
        return dataFactory.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
    }
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.ConceptConverter
  • org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParser
  • org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntaxEditorParser
  • org.coode.owlapi.owlxmlparser.OWLDatatypeDefinitionElementHandler
  • org.coode.owlapi.owlxmlparser.OWLDatatypeRestrictionElementHandler
  • org.coode.owlapi.rdfxml.parser.DataAllValuesFromTranslator
  • org.coode.owlapi.rdfxml.parser.DataCardinalityTranslator
  • org.coode.owlapi.rdfxml.parser.DataMaxCardinalityTranslator
    • 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.