Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLClassExpression

187
188
189
190
191
192
193
194
195
196
197
        }
    }

    @Override
    public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) {
        OWLClassExpression filler = ce.getFiller().accept(this);
        if (negated) {
            return dataFactory.getOWLObjectAllValuesFrom(ce.getProperty(),
                    filler);
        } else {
            return dataFactory.getOWLObjectSomeValuesFrom(ce.getProperty(),
View Full Code Here
199
200
201
202
203
204
205
206
207
208
209
        }
    }

    @Override
    public OWLClassExpression visit(OWLObjectAllValuesFrom ce) {
        OWLClassExpression filler = ce.getFiller().accept(this);
        if (negated) {
            return dataFactory.getOWLObjectSomeValuesFrom(ce.getProperty(),
                    filler);
        } else {
            return dataFactory.getOWLObjectAllValuesFrom(ce.getProperty(),
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
237
            if (card < 0) {
                card = 0;
            }
        }
        negated = false;
        OWLClassExpression filler = ce.getFiller().accept(this);
        OWLClassExpression nnf = null;
        if (neg) {
            nnf = dataFactory.getOWLObjectMaxCardinality(card,
                    ce.getProperty(), filler);
        } else {
            nnf = dataFactory.getOWLObjectMinCardinality(card,
View Full Code Here
252
253
254
255
256
257
258
259
260
261
262
263
        int card = ce.getCardinality();
        if (negated) {
            card = ce.getCardinality() + 1;
        }
        negated = false;
        OWLClassExpression filler = ce.getFiller().accept(this);
        OWLClassExpression nnf = null;
        if (neg) {
            nnf = dataFactory.getOWLObjectMinCardinality(card,
                    ce.getProperty(), filler);
        } else {
            nnf = dataFactory.getOWLObjectMaxCardinality(card,
View Full Code Here
330
331
332
333
334
335
336
337
338
339
340
        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 {
            nnf = dataFactory.getOWLDataMaxCardinality(card, ce.getProperty(),
View Full Code Here
354
355
356
357
358
359
360
361
362
363
364
                card = 0;
            }
        }
        negated = false;
        OWLDataRange filler = ce.getFiller().accept(this);
        OWLClassExpression nnf = null;
        if (neg) {
            nnf = dataFactory.getOWLDataMaxCardinality(card, ce.getProperty(),
                    filler);
        } else {
            nnf = dataFactory.getOWLDataMinCardinality(card, ce.getProperty(),
View Full Code Here
126
127
128
129
130
131
132
133
134
135
136
        return b(true);
    }

    @Override
    public Boolean visit(OWLDisjointUnionAxiom axiom) {
        OWLClassExpression c1 = axiom.getOWLClass();
        if (!checkPositive(c1) || !checkNegative(c1)) {
            return b(false);
        }
        for (OWLClassExpression c : axiom.getClassExpressions()) {
            if (!checkPositive(c) || !checkNegative(c)) {
View Full Code Here
1270
1271
1272
1273
1274
1275
1276
1277
1278
            OWLObjectPropertyExpression property = getConsumer()
                    .translateObjectPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ALL_VALUES_FROM, true);
            assert fillerIRI != null;
            OWLClassExpression filler = accessor
                    .translateClassExpression(fillerIRI);
            return getDataFactory().getOWLObjectAllValuesFrom(property, filler);
        }
View Full Code Here
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {
                // Be tolerant
                OWLClassExpression filler = accessor
                        .translateClassExpression(fillerIRI);
                return getDataFactory().getOWLObjectExactCardinality(cardi,
                        property, filler);
            } else {
                return getDataFactory().getOWLObjectExactCardinality(cardi,
View Full Code Here
1358
1359
1360
1361
1362
1363
1364
1365
1366
        @Override
        public OWLObjectComplementOf translate(IRI mainNode) {
            IRI complementOfObject = getConsumer().getResourceObject(mainNode,
                    OWL_COMPLEMENT_OF, true);
            assert complementOfObject != null;
            OWLClassExpression operand = accessor
                    .translateClassExpression(complementOfObject);
            return getDataFactory().getOWLObjectComplementOf(operand);
        }
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • com.clarkparsia.explanation.test.ExplanationTester
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.EntailmentChecker
  • com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.PelletExplanation
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
    • 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.