Package | Description |
---|---|
owltools |
OWLTools - an OWL API wrapper
|
Modifier and Type | Method and Description |
---|---|
static JustifyAssertionsTool.JustifyResult |
JustifyAssertionsTool.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.
|
Copyright © 2010–2016. All rights reserved.