Uses of Class
org.tweetyproject.logics.dl.syntax.AtomicConcept

Packages that use AtomicConcept

Package	Description
org.tweetyproject.logics.dl.syntax

Uses of AtomicConcept in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return AtomicConcept

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

Methods in org.tweetyproject.logics.dl.syntax that return types with arguments of type AtomicConcept

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

Constructors in org.tweetyproject.logics.dl.syntax with parameters of type AtomicConcept

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

Constructor parameters in org.tweetyproject.logics.dl.syntax with type arguments of type AtomicConcept

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