Examples of UseOfUndeclaredDatatype

org.semanticweb.owlapi.profiles.violations.UseOfUndeclaredDatatype
Specifies that a datatype is not declared @author Matthew Horridge, The University of Manchester, InformationManagement Group

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

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

                // 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

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.