Uses of Class
net.sf.tweety.logics.dl.syntax.AtomicConcept

Packages that use AtomicConcept

Package	Description
net.sf.tweety.logics.dl.syntax

Uses of AtomicConcept in net.sf.tweety.logics.dl.syntax

Methods in net.sf.tweety.logics.dl.syntax that return AtomicConcept

Modifier and Type	Method	Description
AtomicConcept	AtomicConcept.collapseAssociativeFormulas()
AtomicConcept	DlSignature.getConcept(java.lang.String s)	Get the concept with the given name.

Methods in net.sf.tweety.logics.dl.syntax that return types with arguments of type AtomicConcept

Modifier and Type	Method	Description
java.util.Set<AtomicConcept>	DlSignature.getConcepts()	Get the atomic concepts of the signature.

Constructors in net.sf.tweety.logics.dl.syntax with parameters of type AtomicConcept

Constructor	Description
ConceptAssertion(Individual i, AtomicConcept c)	Initializes a role assertion with the given atomic concept and Individual.

Constructor parameters in net.sf.tweety.logics.dl.syntax with type arguments of type AtomicConcept

Constructor	Description
DlSignature(java.util.Set<AtomicConcept> concepts, java.util.Set<AtomicRole> roles, java.util.Set<Individual> individuals)	Creates a signature with the given concept names, role names and individuals.