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.
-