uk.ac.manchester.cs.owl.owlapi
Class OWLRestrictionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F>

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>

All Implemented Interfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, OWLRestriction<R,P,F>, SWRLPredicate

Direct Known Subclasses:

OWLCardinalityRestrictionImpl, OWLObjectHasSelfImpl, OWLQuantifiedRestrictionImpl, OWLValueRestrictionImpl

public abstract class OWLRestrictionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F>
extends OWLAnonymousClassExpressionImpl
implements OWLRestriction<R,P,F>

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/properties that the restriction acts along depending on R being a scalar or collection type.
boolean	isClassExpressionLiteral() Determines if this class is a literal.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isOWLNothing, isOWLThing

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareObjectOfSameType, 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.OWLRestriction

isDataRestriction, isObjectRestriction

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, 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/properties that the restriction acts along depending on R being a scalar or collection type.

Specified by:

getProperty in interface OWLRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F>

Returns:

The property

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLObjectImpl