Package | Description |
---|---|
owltools |
OWLTools - an OWL API wrapper
|
Modifier and Type | Method and Description |
---|---|
static Map<org.semanticweb.owlapi.model.OWLClass,Set<RedundantInferences.RedundantAxiom>> |
RedundantInferences.findRedundantSubClassAxioms(Iterable<org.semanticweb.owlapi.model.OWLClass> classes,
org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
Find redundant and marked as inferred axioms for each class in the given
ontology.
|
static Map<org.semanticweb.owlapi.model.OWLClass,Set<RedundantInferences.RedundantAxiom>> |
RedundantInferences.removeRedundantSubClassAxioms(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
Remove the redundant and marked as inferred super class assertions for
each class in the ontology signature.
|
Copyright © 2010–2015. All rights reserved.