Package net.sf.tweety.logics.dl.semantics

Class DlInterpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<B,S>

net.sf.tweety.commons.InterpretationSet<AssertionalAxiom,DlBeliefSet,DlAxiom>

net.sf.tweety.logics.dl.semantics.DlInterpretation

All Implemented Interfaces:

Iterable<AssertionalAxiom>, Collection<AssertionalAxiom>, net.sf.tweety.commons.Interpretation<DlBeliefSet,DlAxiom>

public class DlInterpretation
extends net.sf.tweety.commons.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 (the 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 (the extension of the concept).
Set<net.sf.tweety.commons.util.Pair<Individual,Individual>>	getRoleDomain(AtomicRole r)	Returns the subset of the domain that belongs to the given role (the extension of the role).
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)
boolean	satisfies(DlBeliefSet beliefBase)

Methods inherited from class net.sf.tweety.commons.InterpretationSet

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

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, finalize, 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 Detail

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 Detail

satisfies

public boolean satisfies(DlAxiom formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(DlBeliefSet beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

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<net.sf.tweety.commons.util.Pair<Individual,Individual>> getRoleDomain(AtomicRole r)

Returns the subset of the domain that belongs to the given role (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 (the extension of the concept).

Parameters:

c - concept

Returns:

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