Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataRange

301
302
303
304
305
306
307
308
309
310
311
        }
    }

    @Override
    public OWLClassExpression visit(OWLDataAllValuesFrom ce) {
        OWLDataRange filler = ce.getFiller().accept(this);
        if (negated) {
            return dataFactory.getOWLDataSomeValuesFrom(ce.getProperty(),
                    filler);
        } else {
            return dataFactory
View Full Code Here
329
330
331
332
333
334
335
336
337
338
339
        int card = ce.getCardinality();
        if (negated) {
            card = ce.getCardinality() + 1;
        }
        negated = false;
        OWLDataRange filler = ce.getFiller().accept(this);
        OWLClassExpression nnf = null;
        if (neg) {
            nnf = dataFactory.getOWLDataMinCardinality(card, ce.getProperty(),
                    filler);
        } else {
View Full Code Here
353
354
355
356
357
358
359
360
361
362
363
            if (card < 0) {
                card = 0;
            }
        }
        negated = false;
        OWLDataRange filler = ce.getFiller().accept(this);
        OWLClassExpression nnf = null;
        if (neg) {
            nnf = dataFactory.getOWLDataMaxCardinality(card, ce.getProperty(),
                    filler);
        } else {
View Full Code Here
764
765
766
767
768
769
770
771
772
773
774
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {
                // Be tolerant
                OWLDataRange filler = getConsumer().translateDataRange(
                        fillerIRI);
                return getDataFactory().getOWLDataMaxCardinality(cardi,
                        property, filler);
            } else {
                return getDataFactory().getOWLDataMaxCardinality(cardi,
View Full Code Here
814
815
816
817
818
819
820
821
822
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataMaxCardinality(cardi, property,
                    filler);
        }
View Full Code Here
856
857
858
859
860
861
862
863
864
865
866
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {
                // Be tolerant
                OWLDataRange filler = getConsumer().translateDataRange(
                        fillerIRI);
                return getDataFactory().getOWLDataMinCardinality(cardi,
                        property, filler);
            } else {
                return getDataFactory().getOWLDataMinCardinality(cardi,
View Full Code Here
906
907
908
909
910
911
912
913
914
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataMinCardinality(cardi, property,
                    filler);
        }
View Full Code Here
970
971
972
973
974
975
976
977
978
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_DATA_RANGE, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataExactCardinality(cardi, property,
                    filler);
        }
View Full Code Here
1031
1032
1033
1034
1035
1036
1037
1038
            OWLDataPropertyExpression property = getConsumer()
                    .translateDataPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_SOME_VALUES_FROM, true);
            assert fillerIRI != null;
            OWLDataRange filler = getConsumer().translateDataRange(fillerIRI);
            return getDataFactory().getOWLDataSomeValuesFrom(property, filler);
        }
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, DataMinCardinality(3, prop, dr)));
        return axioms;
    }
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.