uk.ac.manchester.cs.owl.owlapi
Class OWLRestrictionImpl<P extends OWLPropertyExpression>

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
          extended by uk.ac.manchester.cs.owl.owlapi.OWLRestrictionImpl<P>
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, OWLRestriction<P>, SWRLPredicate
Direct Known Subclasses:
OWLCardinalityRestrictionImpl, OWLObjectHasSelfImpl, OWLQuantifiedRestrictionImpl, OWLValueRestrictionImpl

public abstract class OWLRestrictionImpl<P extends OWLPropertyExpression>
extends OWLAnonymousClassExpressionImpl
implements OWLRestriction<P>

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


Constructor Summary
OWLRestrictionImpl(OWLDataFactory dataFactory, P property)
           
 
Method Summary
 boolean equals(java.lang.Object obj)
           
 P getProperty()
          Gets the property that the restriction acts along.
 boolean isClassExpressionLiteral()
          Determines if this class is a literal.
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl
asConjunctSet, asDisjunctSet, asOWLClass, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
compareObjectOfSameType, compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLRestriction
isDataRestriction, isObjectRestriction
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing
 

Constructor Detail

OWLRestrictionImpl

public OWLRestrictionImpl(OWLDataFactory dataFactory,
                          P property)
Method Detail

isClassExpressionLiteral

public boolean isClassExpressionLiteral()
Description copied from interface: OWLClassExpression
Determines if this class is a literal. A literal being either a named class or the negation of a named class (i.e. A or not(A)).

Specified by:
isClassExpressionLiteral in interface OWLClassExpression
Returns:
true if this is a literal, or false if this is not a literal.

getProperty

public P getProperty()
Description copied from interface: OWLRestriction
Gets the property that the restriction acts along.

Specified by:
getProperty in interface OWLRestriction<P extends OWLPropertyExpression>

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLObjectImpl