org.semanticweb.owlapi.model
Interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>

All Superinterfaces:

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

All Known Subinterfaces:

OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, OWLInverseObjectPropertiesAxiom

All Known Implementing Classes:

OWLDisjointDataPropertiesAxiomImpl, OWLDisjointObjectPropertiesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLEquivalentObjectPropertiesAxiomImpl, OWLInverseObjectPropertiesAxiomImpl, OWLNaryPropertyAxiomImpl

public interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression>
extends OWLPropertyAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

java.util.Set<P>	getProperties() Gets all of the properties that appear in this axiom
java.util.Set<P>	getPropertiesMinus(P property)

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

getProperties

java.util.Set<P> getProperties()

Gets all of the properties that appear in this axiom

getPropertiesMinus

java.util.Set<P> getPropertiesMinus(P property)