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

Packages that use ComplexConcept

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

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

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

Modifier and Type	Method	Description
Set<Individual>	DlInterpretation.getConceptDomain(ComplexConcept c)	Returns the subset of the domain that belongs to the given concept (i.e.
boolean	DlInterpretation.isSubsumedBy(ComplexConcept c1, ComplexConcept c2)	Checks whether a concept is subsumed by another concept (c1 => c2) wrt to this interpretation.

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

Subclasses of ComplexConcept in org.tweetyproject.logics.dl.syntax

Modifier and Type	Class	Description
class	AssociativeDlFormula	This class captures the common functionalities of description logic associative formulas (union and intersection).
class	AtomicConcept	This class models an atomic concept (aka concept name) in description logics.
class	AtomicRole	This class models a role in description logics.
class	BottomConcept	This class models the bottom concept (empty concept) in description logics.
class	Complement	This class models the complement (negation) in description logics.
class	ExistentialRestriction	This class models an existential restriction in description logics, i.e.
class	Intersection	This class models an intersection in description logics.
class	TopConcept	This class models the top concept (universal concept) in description logics.
class	Union	This class models an union in description logics.
class	UniversalRestriction	This class models an universal restriction in description logics, i.e.

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

Modifier and Type	Method	Description
ComplexConcept	AtomicConcept.clone()	Clones this atomic concept.
ComplexConcept	AtomicRole.clone()
ComplexConcept	Complement.clone()	Clones this complement.
abstract ComplexConcept	ComplexConcept.clone()	Creates a deep copy of this formula
ComplexConcept	ExistentialRestriction.clone()
ComplexConcept	Intersection.clone()
ComplexConcept	Union.clone()
ComplexConcept	UniversalRestriction.clone()
ComplexConcept	BottomConcept.collapseAssociativeFormulas()
ComplexConcept	Complement.collapseAssociativeFormulas()	Collapses associative formulas within the negated concept, if applicable.
abstract ComplexConcept	ComplexConcept.collapseAssociativeFormulas()	This method collapses all associative operations appearing in this term, e.g.
ComplexConcept	ExistentialRestriction.collapseAssociativeFormulas()
ComplexConcept	Intersection.collapseAssociativeFormulas()
ComplexConcept	TopConcept.collapseAssociativeFormulas()
ComplexConcept	Union.collapseAssociativeFormulas()
ComplexConcept	UniversalRestriction.collapseAssociativeFormulas()
ComplexConcept	ComplexConcept.complement()
ComplexConcept	AssociativeDlFormula.get(int index)
ComplexConcept	ConceptAssertion.getConcept()	Returns the concept involved in this concept assertion.
ComplexConcept	ExistentialRestriction.getConcept()	Return the concept of the existential restriction.
ComplexConcept	UniversalRestriction.getConcept()	Return the concept of the universal restriction.
ComplexConcept	Complement.getFormula()	Returns the concept that is being negated by this complement.
ComplexConcept	AssociativeDlFormula.remove(int index)
ComplexConcept	AssociativeDlFormula.set(int index, ComplexConcept element)

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

Modifier and Type	Method	Description
List<ComplexConcept>	AssociativeDlFormula.getFormulas()
Pair<ComplexConcept,ComplexConcept>	EquivalenceAxiom.getFormulas()	Return the formulas
Pair<ComplexConcept,ComplexConcept>	EquivalenceAxiom.getFormulas()	Return the formulas
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.
Iterator<ComplexConcept>	AssociativeDlFormula.iterator()
ListIterator<ComplexConcept>	AssociativeDlFormula.listIterator()
ListIterator<ComplexConcept>	AssociativeDlFormula.listIterator(int index)
List<ComplexConcept>	AssociativeDlFormula.subList(int fromIndex, int toIndex)

Methods in org.tweetyproject.logics.dl.syntax with parameters of type ComplexConcept

Modifier and Type	Method	Description
void	AssociativeDlFormula.add(int index, ComplexConcept element)
boolean	AssociativeDlFormula.add(ComplexConcept e)
boolean	AssociativeDlFormula.add(ComplexConcept... formulas)	Adds the specified elements to the end of this collection (optional operation).
ComplexConcept	AssociativeDlFormula.set(int index, ComplexConcept element)

Method parameters in org.tweetyproject.logics.dl.syntax with type arguments of type ComplexConcept

Modifier and Type	Method	Description
boolean	AssociativeDlFormula.addAll(int index, Collection<? extends ComplexConcept> c)
boolean	AssociativeDlFormula.addAll(Collection<? extends ComplexConcept> c)

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

Modifier	Constructor	Description
	AssociativeDlFormula(ComplexConcept first, ComplexConcept second)	Creates a new associative formula with the two given formulae
	Complement(ComplexConcept formula)	Creates a new complement with the given concept to be negated.
	ConceptAssertion(Individual i, ComplexConcept c)	Initializes a role assertion with the given concept and Individual.
	EquivalenceAxiom(ComplexConcept c, ComplexConcept d)	Creates a new equivalence axiom with the given formulas (atomic or complex concepts).
	ExistentialRestriction(AtomicRole r, ComplexConcept c)	Creates a new ALC existential restriction with the given role and concept.
	Intersection(ComplexConcept first, ComplexConcept second)	Creates a new intersection with the two given formulas.
	Union(ComplexConcept formula)	Create a new union with the given formula.
	Union(ComplexConcept first, ComplexConcept second)	Creates a new union with the two given formulae
	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 ComplexConcept

Modifier	Constructor	Description
	AssociativeDlFormula(Collection<? extends ComplexConcept> formulas)	Creates a new associative formula with the given inner formulas.
	ExistentialRestriction(Pair<AtomicRole,ComplexConcept> f)	Constructor
	Intersection(Collection<? extends ComplexConcept> formulas)	Creates a new intersection with the given inner formulas.
	Union(Collection<? extends ComplexConcept> formulas)	Creates a new union with the given inner formulas.