Package org.semanticweb.owlapi.profiles.violations

Examples of org.semanticweb.owlapi.profiles.violations.InsufficientIndividuals

280
281
282
283
284
285
286
287
288
        }

        @Override
        public void visit(OWLSameIndividualAxiom axiom) {
            if (axiom.getIndividuals().size() < 2) {
                profileViolations.add(new InsufficientIndividuals(
                        getCurrentOntology(), axiom));
            }
        }
View Full Code Here
288
289
290
291
292
293
294
295
296
        }

        @Override
        public void visit(OWLDifferentIndividualsAxiom axiom) {
            if (axiom.getIndividuals().size() < 2) {
                profileViolations.add(new InsufficientIndividuals(
                        getCurrentOntology(), axiom));
            }
        }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.profiles.violations.InsufficientIndividuals

  • org.semanticweb.owlapi.profiles.OWL2DLProfile$OWL2DLProfileObjectVisitor
    • 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.