Examples of InsufficientOperands


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

        }

        @Override
        public void visit(OWLDataUnionOf node) {
            if (node.getOperands().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), getCurrentAxiom(), node));
            }
        }
View Full Code Here

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

        }

        @Override
        public void visit(OWLDataIntersectionOf node) {
            if (node.getOperands().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), getCurrentAxiom(), node));
            }
        }
View Full Code Here

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

        }

        @Override
        public void visit(OWLObjectIntersectionOf ce) {
            if (ce.getOperands().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }
View Full Code Here

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

        }

        @Override
        public void visit(OWLObjectUnionOf ce) {
            if (ce.getOperands().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }
View Full Code Here

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

        }

        @Override
        public void visit(OWLEquivalentClassesAxiom axiom) {
            if (axiom.getClassExpressions().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), axiom, axiom));
            }
        }
View Full Code Here

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

        }

        @Override
        public void visit(OWLDisjointClassesAxiom axiom) {
            if (axiom.getClassExpressions().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), axiom, axiom));
            }
        }
View Full Code Here

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

        }

        @Override
        public void visit(OWLDisjointUnionAxiom axiom) {
            if (axiom.getClassExpressions().size() < 2) {
                profileViolations.add(new InsufficientOperands(
                        getCurrentOntology(), axiom, axiom));
            }
        }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.