org.semanticweb.owlapi.model
Interface OWLObjectMinCardinality

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLClassExpression, OWLObject, OWLObjectCardinalityRestriction, OWLPropertyRange, OWLQuantifiedRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, SWRLPredicate

All Known Implementing Classes:

OWLObjectMinCardinalityImpl

public interface OWLObjectMinCardinality
extends OWLObjectCardinalityRestriction

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

Represents a ObjectMinCardinality restriction in the OWL 2 Specification.

Method Summary

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

getCardinality, isQualified

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

getFiller

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

getProperty, isDataRestriction, isObjectRestriction

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing