public static class RedundantInferences.RedundantAxiom extends Object
Constructor and Description |
---|
RedundantAxiom(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom,
Set<org.semanticweb.owlapi.model.OWLClass> moreSpecific) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
org.semanticweb.owlapi.model.OWLSubClassOfAxiom |
getAxiom() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getMoreSpecific() |
int |
hashCode() |
public 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–2016. All rights reserved.