public class JustifyAssertionsTool extends Object
OWLSubClassOfAxiom
.Modifier and Type | Class and Description |
---|---|
static class |
JustifyAssertionsTool.JustifyResult
Generic result for a justify.
|
Constructor and Description |
---|
JustifyAssertionsTool() |
Modifier and Type | Method and Description |
---|---|
static JustifyAssertionsTool.JustifyResult |
justifySubClasses(org.semanticweb.owlapi.model.OWLOntology ontology,
InferenceBuilder infBuilder,
Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> axioms)
Justify the given set of subClass axioms from the given ontology.
|
static JustifyAssertionsTool.JustifyResult |
justifySubClasses(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> axioms)
Justify the given set of subClass axioms from the given ontology.
|
static JustifyAssertionsTool.JustifyResult |
justifySubClasses(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> removedAxioms,
Collection<org.semanticweb.owlapi.model.OWLAxiom> inferredAxioms)
Justify the given set of subClass axioms from the given ontology.
|
public static JustifyAssertionsTool.JustifyResult justifySubClasses(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> axioms)
ontology
- reasoner
- axioms
- public static JustifyAssertionsTool.JustifyResult justifySubClasses(org.semanticweb.owlapi.model.OWLOntology ontology, InferenceBuilder infBuilder, Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> axioms)
ontology
- infBuilder
- axioms
- public static JustifyAssertionsTool.JustifyResult justifySubClasses(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> removedAxioms, Collection<org.semanticweb.owlapi.model.OWLAxiom> inferredAxioms)
ontology
- reasoner
- removedAxioms
- inferredAxioms
- Copyright © 2010–2015. All rights reserved.