org.semanticweb.owlapi.model

Interface OWLNaryAxiom

All Superinterfaces:

Comparable<OWLObject>, OWLAxiom, OWLObject, Serializable

All Known Subinterfaces:

OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLEquivalentClassesAxiom, OWLNaryClassAxiom, OWLNaryIndividualAxiom, OWLSameIndividualAxiom

All Known Implementing Classes:

OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLNaryClassAxiomImpl, OWLNaryIndividualAxiomImpl, OWLSameIndividualAxiomImpl

public interface OWLNaryAxiom
extends OWLAxiom

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

Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 05-Jan-2010

Method Summary

Methods

Modifier and Type	Method and Description
Set<? extends OWLNaryAxiom>	asPairwiseAxioms() Gets this axiom as a set of pairwise axioms.

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, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

asPairwiseAxioms

Set<? extends OWLNaryAxiom> asPairwiseAxioms()

Gets this axiom as a set of pairwise axioms. Note that annotations on this axiom will not be copied to each axiom returned in the set of pairwise axioms.

Returns:

This axiom as a set of pairwise axioms.