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()	Return the (atomic) role of the existential restriction.
AtomicRole	RoleAssertion.getRole()	Return the role that the individuals assertional axiom
AtomicRole	UniversalRestriction.getRole()	Return the (atomic) role of the universal restriction.

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()	Return the (atomic) role and the concept that are part of the existential restriction.
Pair<AtomicRole,ComplexConcept>	UniversalRestriction.getFormulas()	Return the (atomic) role and the concept that are part of the universal restriction.
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)	Constructor