Package org.tweetyproject.logics.dl.semantics

Class DlInterpretation

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<DlBeliefSet,DlAxiom>

org.tweetyproject.commons.InterpretationSet<AssertionalAxiom,DlBeliefSet,DlAxiom>

org.tweetyproject.logics.dl.semantics.DlInterpretation

All Implemented Interfaces:

Iterable<AssertionalAxiom>, Collection<AssertionalAxiom>, Interpretation<DlBeliefSet,DlAxiom>

public class DlInterpretation
extends InterpretationSet<AssertionalAxiom,DlBeliefSet,DlAxiom>

This class models an interpretation for description logics. A DL interpretation consists of a domain (a set of individuals) and a mapping of each concept name to a subset of the domain and of each role name to a binary relation on the domain (this mapping is often referred to as the interpretation function in literature).

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
DlInterpretation(Collection<AssertionalAxiom> assertions)	Create a new DL interpretation with the given set of concept and role assertions that represent the mapping of concept names and role names to the domain.

Method Summary

Modifier and Type	Method	Description
Set<Individual>	getConceptDomain(ComplexConcept c)	Returns the subset of the domain that belongs to the given concept (i.e.
Set<Pair<Individual,Individual>>	getRoleDomain(AtomicRole r)	Returns the subset of the domain that belongs to the given role (i.e.
boolean	isSubsumedBy(ComplexConcept c1, ComplexConcept c2)	Checks whether a concept is subsumed by another concept (c1 => c2) wrt to this interpretation.
boolean	satisfies(DlAxiom formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(DlBeliefSet beliefBase)	Checks whether this interpretation satisfies the given knowledge base.

Methods inherited from class org.tweetyproject.commons.InterpretationSet

add, add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

DlInterpretation

public DlInterpretation(Collection<AssertionalAxiom> assertions)

Create a new DL interpretation with the given set of concept and role assertions that represent the mapping of concept names and role names to the domain.

Parameters:

assertions - collection of AssertionalAxiom

Method Details

satisfies

public boolean satisfies(DlAxiom formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(DlBeliefSet beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

isSubsumedBy

public boolean isSubsumedBy(ComplexConcept c1,
 ComplexConcept c2)

Checks whether a concept is subsumed by another concept (c1 => c2) wrt to this interpretation.

Parameters:

c1 - a concept

c2 - a concept

Returns:

"true" if c1 is subsumed by c2, "false" otherwise

getRoleDomain

public Set<Pair<Individual,Individual>> getRoleDomain(AtomicRole r)

Returns the subset of the domain that belongs to the given role (i.e. the extension of the role).

Parameters:

r - role

Returns:

binary subset of domain, i.e. a set of pairs of individuals

getConceptDomain

public Set<Individual> getConceptDomain(ComplexConcept c)

Returns the subset of the domain that belongs to the given concept (i.e. the extension of the concept).

Parameters:

c - concept

Returns:

subset of domain, i.e. a set of individuals