public static class RedundantInferences.RedundantAxiom extends Object
Constructor and Description |
---|
RedundantInferences.RedundantAxiom(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom,
Set<org.semanticweb.owlapi.model.OWLClass> moreSpecific) |
public RedundantInferences.RedundantAxiom(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom, Set<org.semanticweb.owlapi.model.OWLClass> moreSpecific)
axiom
- moreSpecific
- public org.semanticweb.owlapi.model.OWLSubClassOfAxiom getAxiom()
public Set<org.semanticweb.owlapi.model.OWLClass> getMoreSpecific()
Copyright © 2010–2015. All rights reserved.