Package org.semanticweb.owlapi.profiles.violations

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


        @Override
        public void visit(OWLDatatypeDefinitionAxiom axiom) {
            // The datatype MUST be declared
            if (!getCurrentOntology().isDeclared(axiom.getDatatype(), INCLUDED)) {
                profileViolations.add(new UseOfUndeclaredDatatype(
                        getCurrentOntology(), axiom, axiom.getDatatype()));
            }
        }
View Full Code Here


                // bug?
                // if (!datatype.isTopDatatype() && datatype.isBuiltIn()
                // && getCurrentOntology().isDeclared(datatype, true)) {
                if (!node.isTopDatatype() && !node.isBuiltIn()
                        && !getCurrentOntology().isDeclared(node, INCLUDED)) {
                    profileViolations.add(new UseOfUndeclaredDatatype(
                            getCurrentOntology(), getCurrentAxiom(), node));
                }
            }
            if (getCurrentOntology().containsClassInSignature(node.getIRI(),
                    INCLUDED)) {
View Full Code Here

TOP

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

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.