Examples of UseOfNonSimplePropertyInCardinalityRestriction

org.semanticweb.owlapi.profiles.violations.UseOfNonSimplePropertyInCardinalityRestriction
@author Matthew Horridge, The University of Manchester, InformationManagement Group

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


        @Override
        public void visit(OWLObjectMinCardinality ce) {
            if (getPropertyManager().isNonSimple(ce.getProperty())) {
                profileViolations
                        .add(new UseOfNonSimplePropertyInCardinalityRestriction(
                                getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }

View Full Code Here

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


        @Override
        public void visit(OWLObjectMaxCardinality ce) {
            if (getPropertyManager().isNonSimple(ce.getProperty())) {
                profileViolations
                        .add(new UseOfNonSimplePropertyInCardinalityRestriction(
                                getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }

View Full Code Here

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


        @Override
        public void visit(OWLObjectExactCardinality ce) {
            if (getPropertyManager().isNonSimple(ce.getProperty())) {
                profileViolations
                        .add(new UseOfNonSimplePropertyInCardinalityRestriction(
                                getCurrentOntology(), getCurrentAxiom(), ce));
            }
        }

View Full Code Here

TOP

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.