public static class InferenceBuilder.PotentialRedundant extends Object
Modifier and Type | Field and Description |
---|---|
static Comparator<InferenceBuilder.PotentialRedundant> |
PRINT_COMPARATOR |
Constructor and Description |
---|
PotentialRedundant(org.semanticweb.owlapi.model.OWLAxiom axiomOne,
org.semanticweb.owlapi.model.OWLAxiom axiomTwo,
org.semanticweb.owlapi.model.OWLClass a,
org.semanticweb.owlapi.model.OWLObjectProperty p,
org.semanticweb.owlapi.model.OWLClass b) |
Modifier and Type | Method and Description |
---|---|
org.semanticweb.owlapi.model.OWLAxiom |
getAxiomOne() |
org.semanticweb.owlapi.model.OWLAxiom |
getAxiomTwo() |
org.semanticweb.owlapi.model.OWLClass |
getClassA() |
org.semanticweb.owlapi.model.OWLClass |
getClassB() |
org.semanticweb.owlapi.model.OWLObjectProperty |
getProperty() |
public static Comparator<InferenceBuilder.PotentialRedundant> PRINT_COMPARATOR
public PotentialRedundant(org.semanticweb.owlapi.model.OWLAxiom axiomOne, org.semanticweb.owlapi.model.OWLAxiom axiomTwo, org.semanticweb.owlapi.model.OWLClass a, org.semanticweb.owlapi.model.OWLObjectProperty p, org.semanticweb.owlapi.model.OWLClass b)
axiomOne
- axiomTwo
- a
- p
- b
- public org.semanticweb.owlapi.model.OWLAxiom getAxiomOne()
public org.semanticweb.owlapi.model.OWLAxiom getAxiomTwo()
public org.semanticweb.owlapi.model.OWLClass getClassA()
public org.semanticweb.owlapi.model.OWLObjectProperty getProperty()
public org.semanticweb.owlapi.model.OWLClass getClassB()
Copyright © 2010–2016. All rights reserved.