Package org.semanticweb.owlapi.profiles.violations

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

518
519
520
521
522
523
524
525
526
        @Override
        public void visit(OWLObjectMinCardinality ce) {
            if (getPropertyManager().isNonSimple(ce.getProperty())) {
                profileViolations
                        .add(new UseOfNonSimplePropertyInCardinalityRestriction(
                                getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }
View Full Code Here
527
528
529
530
531
532
533
534
535
        @Override
        public void visit(OWLObjectMaxCardinality ce) {
            if (getPropertyManager().isNonSimple(ce.getProperty())) {
                profileViolations
                        .add(new UseOfNonSimplePropertyInCardinalityRestriction(
                                getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }
View Full Code Here
536
537
538
539
540
541
542
543
544
        @Override
        public void visit(OWLObjectExactCardinality ce) {
            if (getPropertyManager().isNonSimple(ce.getProperty())) {
                profileViolations
                        .add(new UseOfNonSimplePropertyInCardinalityRestriction(
                                getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }
View Full Code Here
TOP

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

  • 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.