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(java.lang.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 java.util.Set<AtomicConcept>
DlSignature. getConcepts()
Get the atomic concepts of the signature.Constructors in org.tweetyproject.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 org.tweetyproject.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.
-