uk.ac.manchester.cs.owl
Class OWLAnonymousDescriptionImpl

java.lang.Object
  extended by uk.ac.manchester.cs.owl.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.OWLAnonymousDescriptionImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAnonymousDescription, OWLDescription, OWLObject, OWLPropertyRange
Direct Known Subclasses:
OWLNaryBooleanDescriptionImpl, OWLObjectComplementOfImpl, OWLObjectOneOfImpl, OWLRestrictionImpl

public abstract class OWLAnonymousDescriptionImpl
extends OWLObjectImpl
implements OWLAnonymousDescription

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


Constructor Summary
OWLAnonymousDescriptionImpl(OWLDataFactory dataFactory)
           
 
Method Summary
 OWLClass asOWLClass()
          If this class description is in fact a named class then this method may be used to obtain the description as an OWLClass without the need for casting.
 OWLDescription getComplementNNF()
          Gets the negation normal form of the complement of this description.
 OWLDescription getNNF()
          Gets this description in negation normal form.
 boolean isAnonymous()
          Determines whether or not this description represents an anonymous class description.
 boolean isOWLNothing()
          Determines if this description is the built in class owl:Nothing.
 boolean isOWLThing()
          Determines if this description is the built in class owl:Thing.
 
Methods inherited from class uk.ac.manchester.cs.owl.OWLObjectImpl
compareTo, equals, getOWLDataFactory, getSignature, hashCode, toString
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.semanticweb.owl.model.OWLDescription
accept, accept, isLiteral
 
Methods inherited from interface org.semanticweb.owl.model.OWLObject
accept, accept, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Constructor Detail

OWLAnonymousDescriptionImpl

public OWLAnonymousDescriptionImpl(OWLDataFactory dataFactory)
Method Detail

isAnonymous

public boolean isAnonymous()
Description copied from interface: OWLDescription
Determines whether or not this description represents an anonymous class description.

Specified by:
isAnonymous in interface OWLDescription
Returns:
true if this is an anonymous class description, or false if this is a named class (OWLClass)

isOWLThing

public boolean isOWLThing()
Description copied from interface: OWLDescription
Determines if this description is the built in class owl:Thing. This method does not determine if the class is equivalent to owl:Thing.

Specified by:
isOWLThing in interface OWLDescription
Returns:
true if this description is owl:Thing, or false if this description is not owl:Thing

isOWLNothing

public boolean isOWLNothing()
Description copied from interface: OWLDescription
Determines if this description is the built in class owl:Nothing. This method does not determine if the class is equivalent to owl:Nothing.

Specified by:
isOWLNothing in interface OWLDescription
Returns:
true if this description is owl:Nothing, or false if this description is not owl:Nothing.

getNNF

public OWLDescription getNNF()
Description copied from interface: OWLDescription
Gets this description in negation normal form.

Specified by:
getNNF in interface OWLDescription
Returns:
The description in negation normal form.

getComplementNNF

public OWLDescription getComplementNNF()
Description copied from interface: OWLDescription
Gets the negation normal form of the complement of this description.

Specified by:
getComplementNNF in interface OWLDescription
Returns:
A description that represents the NNF of the complement of this description.

asOWLClass

public OWLClass asOWLClass()
Description copied from interface: OWLDescription
If this class description is in fact a named class then this method may be used to obtain the description as an OWLClass without the need for casting. The general pattern of use is to use the isAnonymous to first check

Specified by:
asOWLClass in interface OWLDescription
Returns:
This class description as an OWLClass.