org.semanticweb.owlapi.model
Interface OWLNaryAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLObject

All Known Subinterfaces:

OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLEquivalentClassesAxiom, OWLNaryClassAxiom, OWLNaryIndividualAxiom, OWLSameIndividualAxiom

All Known Implementing Classes:

OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLNaryClassAxiomImpl, OWLNaryIndividualAxiomImpl, OWLSameIndividualAxiomImpl

public interface OWLNaryAxiom
extends OWLAxiom

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

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

Method Summary

java.util.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, isLogicalAxiom, isOfType, isOfType

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

accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

asPairwiseAxioms

java.util.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.