org.semanticweb.owlapi.model

Interface OWLNaryPropertyAxiom<P extends OWLPropertyExpression<?,?>>

Type Parameters:

P - property expression

All Superinterfaces:

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

All Known Subinterfaces:

OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, OWLInverseObjectPropertiesAxiom

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

Modifier and Type	Method and Description
Set<P>	getProperties()
Set<P>	getPropertiesMinus(P property)

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

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

containsEntityInSignature

Method Detail

getProperties

Set<P> getProperties()

Returns:

all of the properties that appear in this axiom

getPropertiesMinus

Set<P> getPropertiesMinus(P property)

Parameters:

property - the property to skip

Returns:

the set of properties minus property