Package net.sf.tweety.logics.dl.syntax
Class BottomConcept
- java.lang.Object
-
- net.sf.tweety.logics.dl.syntax.ComplexConcept
-
- net.sf.tweety.logics.dl.syntax.BottomConcept
-
- All Implemented Interfaces:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
public class BottomConcept extends ComplexConcept
This class models the bottom concept (empty concept) in description logics. No individual of the domain is an instance of the bottom concept.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description BottomConcept()
Creates a new BottomConcept.
-
Method Summary
Modifier and Type Method Description BottomConcept
clone()
Creates a deep copy of this formulaComplexConcept
collapseAssociativeFormulas()
This method collapses all associative operations appearing in this term, e.g.boolean
equals(java.lang.Object obj)
java.util.Set<Predicate>
getPredicates()
Processes the set of all predicates which appear in this formulaDlSignature
getSignature()
Returns the signature of the language of this formula.int
hashCode()
boolean
isLiteral()
java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.logics.dl.syntax.ComplexConcept
combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability
-
-
-
-
Method Detail
-
collapseAssociativeFormulas
public ComplexConcept collapseAssociativeFormulas()
Description copied from class:ComplexConcept
This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.- Specified by:
collapseAssociativeFormulas
in classComplexConcept
- Returns:
- the collapsed formula.
-
getPredicates
public java.util.Set<Predicate> getPredicates()
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Specified by:
getPredicates
in classComplexConcept
- Returns:
- all predicates that appear in this formula
-
clone
public BottomConcept clone()
Description copied from class:ComplexConcept
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classComplexConcept
- Returns:
- the cloned formula
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
isLiteral
public boolean isLiteral()
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Specified by:
equals
in classComplexConcept
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Specified by:
hashCode
in classComplexConcept
-
getSignature
public DlSignature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Specified by:
getSignature
in classComplexConcept
- Returns:
- the signature of the language of this formula.
-
-