| 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectuk.ac.manchester.cs.owl.OWLObjectImpl
uk.ac.manchester.cs.owl.OWLAnonymousDescriptionImpl
public abstract class OWLAnonymousDescriptionImpl
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 | 
|---|
public OWLAnonymousDescriptionImpl(OWLDataFactory dataFactory)
| Method Detail | 
|---|
public boolean isAnonymous()
OWLDescription
isAnonymous in interface OWLDescriptiontrue if this is an anonymous class description,
 or false if this is a named class (OWLClass)public boolean isOWLThing()
OWLDescription
isOWLThing in interface OWLDescriptiontrue if this description is owl:Thing,
 or false if this description is not owl:Thingpublic boolean isOWLNothing()
OWLDescription
isOWLNothing in interface OWLDescriptiontrue if this description is owl:Nothing,
 or false if this description is not owl:Nothing.public OWLDescription getNNF()
OWLDescription
getNNF in interface OWLDescriptionpublic OWLDescription getComplementNNF()
OWLDescription
getComplementNNF in interface OWLDescriptionpublic OWLClass asOWLClass()
OWLDescriptionOWLClass
 without the need for casting.  The general pattern of use is to use
 the isAnonymous to first check
asOWLClass in interface OWLDescriptionOWLClass.
  | 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||