org.semanticweb.HermiT.hierarchy
Class AtomicConceptElement
java.lang.Object
org.semanticweb.HermiT.hierarchy.AtomicConceptElement
public class AtomicConceptElement
- extends Object
LB
public static final String LB
m_knownInstances
protected final Set<Individual> m_knownInstances
m_possibleInstances
protected final Set<Individual> m_possibleInstances
AtomicConceptElement
public AtomicConceptElement(Set<Individual> known,
Set<Individual> possible)
isKnown
public boolean isKnown(Individual individual)
isPossible
public boolean isPossible(Individual individual)
getKnownInstances
public Set<Individual> getKnownInstances()
getPossibleInstances
public Set<Individual> getPossibleInstances()
hasPossibles
public boolean hasPossibles()
setToKnown
public void setToKnown(Individual individual)
addPossible
public boolean addPossible(Individual individual)
addPossibles
public boolean addPossibles(Set<Individual> individuals)
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.