Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLRuntimeException

342
343
344
345
346
347
348
349
350
351
352
        Set<OWLAxiom> newMUPS = getNewMUPS(unsatClass, allMups,
                currentPathContents);
        // Generate a new node - i.e. a new justification set
        if (newMUPS.contains(axiom)) {
            // How can this be the case???
            throw new OWLRuntimeException(
                    "Explanation contains removed axiom: " + axiom);
        }
        if (!newMUPS.isEmpty()) {
            // Note that getting a previous justification does not mean
            // we can stop. stopping here causes some justifications to
View Full Code Here
78
79
80
81
82
83
84
85
        try {
            reasoner = checkNotNull(reasonerFactory,
                    "reasonerFactory cannot be null")
                    .createNonBufferingReasoner(man.createOntology());
        } catch (Exception e) {
            throw new OWLRuntimeException(e);
        }
    }
View Full Code Here
183
184
185
186
187
188
189
190
191
192
        public OWLClassExpression
                replaceBottom(@Nonnull OWLClassExpression desc) {
            newClassExpression = null;
            checkNotNull(desc, "desc cannot be null").accept(this);
            if (newClassExpression == null) {
                throw new OWLRuntimeException("Unsupported class expression "
                        + desc);
            }
            return verifyNotNull(newClassExpression);
        }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
        try {
            ontology = owlOntologyManager
                    .createOntology(OWLOntologyDocumentSourceBase
                            .getNextDocumentIRI("http://debugger.semanticweb.org/ontolog"));
        } catch (OWLOntologyCreationException e) {
            throw new OWLRuntimeException(e);
        }
        List<AddAxiom> changes = new ArrayList<>();
        for (OWLOntology ont : owlOntologyManager
                .getImportsClosure(originalOntology)) {
            for (OWLAxiom ax : ont.getLogicalAxioms()) {
View Full Code Here
130
131
132
133
134
135
136
137
                lastNewLinePos = pos + newLineIndex;
            }
            pos += s.length();
            writer.write(s);
        } catch (IOException e) {
            throw new OWLRuntimeException(e);
        }
    }
View Full Code Here
140
141
142
143
144
145
146
147
        try {
            String s = " " + i + ' ';
            pos += s.length();
            writer.write(s);
        } catch (IOException e) {
            throw new OWLRuntimeException(e);
        }
    }
View Full Code Here
46
47
48
49
50
51
52
53
        try {
            OWLTutorialSyntaxRenderer renderer = new OWLTutorialSyntaxRenderer();
            renderer.render(ontology, writer);
            writer.flush();
        } catch (IOException e) {
            throw new OWLRuntimeException(e);
        }
    }
View Full Code Here
40
41
42
43
44
45
46
47
            format.setDefaultPrefix("http://default.com");
            format.setPrefix("a", "http://ontology.com/a#");
            format.setPrefix("b", "http://ontology.com/b#");
            return ont;
        } catch (OWLOntologyCreationException e) {
            throw new OWLRuntimeException(e);
        }
    }
View Full Code Here
109
110
111
112
113
114
115
116
        return false;
    }

    @Override
    public boolean parseBoolean() {
        throw new OWLRuntimeException(getClass().getName()
                + " does not have a boolean value");
    }
View Full Code Here
115
116
117
118
119
120
121
122
                + " does not have a boolean value");
    }

    @Override
    public double parseDouble() {
        throw new OWLRuntimeException(getClass().getName()
                + " does not have a double value");
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.model.OWLRuntimeException

  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.BlackBoxExplanation
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.HSTExplanationGenerator
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
  • com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl
  • com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator
  • com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator$BottomReplacer
  • com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator
  • com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator$AxiomLocalityVisitor
    • 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.