org.semanticweb.owlapi.model

Interface OWLNaryAxiom<C extends OWLObject>

Type Parameters:

C - class of contained objects

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAxiom, OWLObject, Serializable

All Known Subinterfaces:

OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLEquivalentClassesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, OWLInverseObjectPropertiesAxiom, OWLNaryClassAxiom, OWLNaryIndividualAxiom, OWLNaryPropertyAxiom<P>, OWLSameIndividualAxiom

All Known Implementing Classes:

OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLDisjointDataPropertiesAxiomImpl, OWLDisjointObjectPropertiesAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLEquivalentObjectPropertiesAxiomImpl, OWLInverseObjectPropertiesAxiomImpl, OWLNaryClassAxiomImpl, OWLNaryIndividualAxiomImpl, OWLNaryPropertyAxiomImpl, OWLSameIndividualAxiomImpl

public interface OWLNaryAxiom<C extends OWLObject>
extends OWLAxiom

Represents an axiom that contains two or more operands that could also be represented with multiple pairwise axioms

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Method Summary

Modifier and Type	Method and Description
Set<? extends OWLNaryAxiom<C>>	asPairwiseAxioms() Gets this axiom as a set of pairwise axioms; if the axiom contains only two operands, the axiom itself is returned unchanged, including its annotations.
Set<? extends OWLNaryAxiom<C>>	splitToAnnotatedPairs() Splits this axiom to pairs, including annotations.
<T> Collection<T>	walkPairwise(OWLPairwiseVisitor<T,C> visitor)

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasSignature

getSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnonymousIndividuals

getAnonymousIndividuals

Methods inherited from interface org.semanticweb.owlapi.model.HasClassesInSignature

getClassesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasObjectPropertiesInSignature

getObjectPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDataPropertiesInSignature

getDataPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasIndividualsInSignature

getIndividualsInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasDatatypesInSignature

getDatatypesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.HasAnnotationPropertiesInSignature

getAnnotationPropertiesInSignature

Methods inherited from interface org.semanticweb.owlapi.model.IsAnonymous

isAnonymous, isNamed

Method Detail

asPairwiseAxioms

@Nonnull
Set<? extends OWLNaryAxiom<C>> asPairwiseAxioms()

Gets this axiom as a set of pairwise axioms; if the axiom contains only two operands, the axiom itself is returned unchanged, including its annotations. Note that, aside from this exception, annotations on this axiom will not be copied to each axiom returned in the set of pairwise axioms.
Note: This will contain all pairs, i.e., for the set "a, b, c" the pairs "a, b", "a, c", "b, c" will be returned. For some applications, only "a, b", "b, c" are required.

Returns:

This axiom as a set of pairwise axioms.

walkPairwise

@Nonnull
<T> Collection<T> walkPairwise(OWLPairwiseVisitor<T,C> visitor)

Type Parameters:

T - type returned by visitor

Parameters:

visitor - visitor to apply to all pairwise elements in this axiom

Returns:

collection of all visitor return values that are not null

splitToAnnotatedPairs

@Nonnull
Set<? extends OWLNaryAxiom<C>> splitToAnnotatedPairs()

Splits this axiom to pairs, including annotations. This method implements the process described at http://www.w3.org/TR/owl2-mapping-to-rdf/# Axioms_that_are_Translated_to_Multiple_Triples which is used, for example, in serializing EquivalentProperty axioms with three operands. Note that annotations on this axiom will be copied to each axiom returned in the set of pairwise axioms. Note: This will contain only the "An, An+1" pairs, i.e., for the set "a, b, c" the pairs "a, b" and "b, c" will be returned, but not "a, c".

Returns:

This axiom as a set of pairwise axioms, annotations included.