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

Packages that use AtomicRole

Package	Description
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.dl.syntax

Uses of AtomicRole in org.tweetyproject.logics.dl.semantics

Methods in org.tweetyproject.logics.dl.semantics with parameters of type AtomicRole

Modifier and Type	Method	Description
Set<Pair<Individual,Individual>>	DlInterpretation.getRoleDomain(AtomicRole r)	Returns the subset of the domain that belongs to the given role (i.e.

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

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

Modifier and Type	Method	Description
AtomicRole	AtomicRole.collapseAssociativeFormulas()
AtomicRole	DlSignature.getRole(String s)	Get the role with the given name.
AtomicRole	ExistentialRestriction.getRole()
AtomicRole	RoleAssertion.getRole()
AtomicRole	UniversalRestriction.getRole()

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

Modifier and Type	Method	Description
Pair<AtomicRole,ComplexConcept>	ExistentialRestriction.getFormulas()
Pair<AtomicRole,ComplexConcept>	UniversalRestriction.getFormulas()
Set<AtomicRole>	DlSignature.getRoles()	Get the role names of the signature.

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

Modifier	Constructor	Description
	ExistentialRestriction(AtomicRole r, ComplexConcept c)	Creates a new ALC existential restriction with the given role and concept.
	RoleAssertion(List<Individual> args, AtomicRole r)	Initializes a role assertion with the given individuals and role.
	RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)	Initializes a role assertion with the given role and individuals.
	RoleAssertion(Individual a, Individual b, AtomicRole r)	Initializes a role assertion with the given individuals and role.
	UniversalRestriction(AtomicRole r, ComplexConcept c)	Creates a new ALC universal restriction with the given role and concept.

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

Modifier	Constructor	Description
	ExistentialRestriction(Pair<AtomicRole,ComplexConcept> f)