uk.ac.manchester.cs.owl.owlapi
Class OWLObjectCardinalityRestrictionImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl<R,P,F>
uk.ac.manchester.cs.owl.owlapi.OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
uk.ac.manchester.cs.owl.owlapi.OWLObjectCardinalityRestrictionImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLClassExpression, OWLObject, OWLObjectCardinalityRestriction, OWLPropertyRange, OWLQuantifiedRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>, SWRLPredicate
- Direct Known Subclasses:
- OWLObjectExactCardinalityImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl
public abstract class OWLObjectCardinalityRestrictionImpl
- extends OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
- implements OWLObjectCardinalityRestriction
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression |
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing |
OWLObjectCardinalityRestrictionImpl
protected OWLObjectCardinalityRestrictionImpl(OWLDataFactory dataFactory,
OWLObjectPropertyExpression property,
int cardinality,
OWLClassExpression filler)
isQualified
public boolean isQualified()
- Description copied from interface:
OWLCardinalityRestriction
- Determines if this restriction is qualified. Qualified cardinality restrictions
are defined to be cardinality restrictions that have fillers which aren't TOP (owl:Thing
or rdfs:Literal). An object restriction is unqualified if it has a filler that is owl:Thing.
A data restriction is unqualified if it has a filler which is the top data type (rdfs:Literal).
- Specified by:
isQualified
in interface OWLCardinalityRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
- Returns:
true
if this restriction is qualified, or false
if
this restriction is unqualified.
isObjectRestriction
public boolean isObjectRestriction()
- Description copied from interface:
OWLRestriction
- Determines if this is an object restriction.
- Specified by:
isObjectRestriction
in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
- Returns:
true
if this is an object restriction, otherwise false
isDataRestriction
public boolean isDataRestriction()
- Description copied from interface:
OWLRestriction
- Determines if this is a data restriction.
- Specified by:
isDataRestriction
in interface OWLRestriction<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>
- Returns:
true
if this is a data restriction, otherwise false
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLCardinalityRestrictionImpl<OWLClassExpression,OWLObjectPropertyExpression,OWLClassExpression>