public class RedundantInferences extends Object
Modifier and Type | Class and Description |
---|---|
static class |
RedundantInferences.RedundantAxiom |
Modifier and Type | Method and Description |
---|---|
static Map<org.semanticweb.owlapi.model.OWLClass,Set<RedundantInferences.RedundantAxiom>> |
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>> |
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.
|
public static Map<org.semanticweb.owlapi.model.OWLClass,Set<RedundantInferences.RedundantAxiom>> findRedundantSubClassAxioms(Iterable<org.semanticweb.owlapi.model.OWLClass> classes, org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
classes
- ontology
- reasoner
- public static Map<org.semanticweb.owlapi.model.OWLClass,Set<RedundantInferences.RedundantAxiom>> removeRedundantSubClassAxioms(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
ontology
- reasoner
- Copyright © 2010–2016. All rights reserved.