Package net.sf.tweety.logics.dl.syntax
Class ConceptAssertion
- java.lang.Object
-
- net.sf.tweety.logics.dl.syntax.DlAxiom
-
- net.sf.tweety.logics.dl.syntax.AssertionalAxiom
-
- net.sf.tweety.logics.dl.syntax.ConceptAssertion
-
- All Implemented Interfaces:
Formula
,SimpleLogicalFormula
public class ConceptAssertion extends AssertionalAxiom
This class models a concept assertion in description logic, i.e. an expression of the form "a : C" (a is in the extension of C) where a is an Individual and C is a concept.- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description ConceptAssertion()
Empty default constructor.ConceptAssertion(Individual i, AtomicConcept c)
Initializes a role assertion with the given atomic concept and Individual.ConceptAssertion(Individual i, ComplexConcept c)
Initializes a role assertion with the given concept and Individual.
-
Method Summary
Modifier and Type Method Description ConceptAssertion
clone()
Creates a deep copy of this formulaboolean
equals(java.lang.Object obj)
ComplexConcept
getConcept()
Get the concept of this assertional axiom (= the concept that the individual is an instance of).Individual
getIndividual()
Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)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
isAtomic()
java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.logics.dl.syntax.DlAxiom
getAtoms, getPredicateCls, isLiteral
-
-
-
-
Constructor Detail
-
ConceptAssertion
public ConceptAssertion()
Empty default constructor.
-
ConceptAssertion
public ConceptAssertion(Individual i, ComplexConcept c)
Initializes a role assertion with the given concept and Individual.- Parameters:
i
- an Individual, term of the conceptc
- a (complex) concept
-
ConceptAssertion
public ConceptAssertion(Individual i, AtomicConcept c)
Initializes a role assertion with the given atomic concept and Individual.- Parameters:
i
- an Individual, term of the conceptc
- AtomicConcept
-
-
Method Detail
-
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 classDlAxiom
- Returns:
- all predicates that appear in this formula
-
clone
public ConceptAssertion clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classDlAxiom
- Returns:
- the cloned formula
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Overrides:
equals
in classjava.lang.Object
-
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 classDlAxiom
- Returns:
- the signature of the language of this formula.
-
getIndividual
public Individual getIndividual()
Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)- Returns:
- the individual
-
getConcept
public ComplexConcept getConcept()
Get the concept of this assertional axiom (= the concept that the individual is an instance of).- Returns:
- the concept of this assertional axiom
-
isAtomic
public boolean isAtomic()
- Specified by:
isAtomic
in classAssertionalAxiom
- Returns:
- "true" if the concept of the assertion is atomic, "false" if it is a complex concept
-
-