Package org.semanticweb.owlapi.profiles.violations

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

169
170
171
172
173
174
175
176
177
        @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
361
362
363
364
365
366
367
368
369
370
371
                // 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

  • org.semanticweb.owlapi.profiles.OWL2DLProfile$OWL2DLProfileObjectVisitor
  • org.semanticweb.owlapi.profiles.OWL2Profile$OWL2ProfileObjectWalker
    • 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.