org.semanticweb.kaon2.api.owl.elements
Interface ObjectAnd

All Superinterfaces:

Description, Predicate

public interface ObjectAnd
extends Description

A description specifying intersection of descriptions.

Method Summary

java.util.Set<Description>

getDescriptions() Returns the set of descriptions being intersected.

Methods inherited from interface org.semanticweb.kaon2.api.owl.elements.Description

accept, getComplementNNF, getDataPropertiesFrom, getDisjointDescriptions, getEquivalentDescriptions, getMemberIndividuals, getNNF, getObjectPropertiesFrom, getObjectPropertiesTo, getSimplified, getSubDescriptions, getSuperDescriptions, isInNNF, toString

Methods inherited from interface org.semanticweb.kaon2.api.rules.Predicate

getArity

Method Detail

getDescriptions

java.util.Set<Description> getDescriptions()

Returns the set of descriptions being intersected.

Returns:

the descriptions being intersected