uk.ac.manchester.cs.owl.owlapi

Class OWLClassImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLClassImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, AsOWLAnnotationProperty, AsOWLClass, AsOWLDataProperty, AsOWLDatatype, AsOWLNamedIndividual, AsOWLObjectProperty, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasIRI, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLClass, OWLClassExpression, OWLEntity, OWLLogicalEntity, OWLNamedObject, OWLObject, OWLPrimitive, OWLPropertyRange, SWRLPredicate, HasIncrementalSignatureGenerationSupport

public class OWLClassImpl
extends OWLClassExpressionImpl
implements OWLClass, Serializable

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Property Summary

Properties inherited from interface org.semanticweb.owlapi.model.AsOWLDataProperty

asOWLDataProperty, isOWLDataProperty

Properties inherited from interface org.semanticweb.owlapi.model.AsOWLAnnotationProperty

asOWLAnnotationProperty, isOWLAnnotationProperty

Properties inherited from interface org.semanticweb.owlapi.model.AsOWLObjectProperty

asOWLObjectProperty, isOWLObjectProperty

Constructor Summary

Constructors

Constructor and Description
OWLClassImpl(IRI iri)

Method Summary

Modifier and Type	Method and Description
Set<OWLClassExpression>	asConjunctSet() Interprets this expression as a conjunction and returns the conjuncts.
Set<OWLClassExpression>	asDisjunctSet() Interprets this expression as a disjunction and returns the disjuncts.
boolean	containsConjunct(OWLClassExpression ce) Determines if this class expression contains a particular conjunct.
OWLClassExpression	getComplementNNF() Gets the negation normal form of the complement of this expression.
IRI	getIRI() Gets the IRI of this object.
OWLClassExpression	getNNF() Gets this expression in negation normal form.
OWLClassExpression	getObjectComplementOf() Gets the object complement of this class expression.
boolean	isBuiltIn() Determines if this entity is a built in entity.
boolean	isOWLNothing() Determines if this expression is the built in class owl:Nothing.
boolean	isOWLThing() Determines if this expression is the built in class owl:Thing.
String	toStringID() Returns a string representation that can be used as the ID of this entity.

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

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

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

accept, accept, accept, accept, accept, accept, accept, accept, getClassExpressionType, getEntityType, hashIndex, isBottomEntity, isClassExpressionLiteral, isOWLClass, isTopEntity, typeIndex

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

conjunctSet, disjunctSet

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

components

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

isType

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

getNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isAxiom, isIndividual, isIRI, isOntology, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature, signature

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

containsEntityInSignature

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

anonymousIndividuals, getAnonymousIndividuals

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

classesInSignature, getClassesInSignature

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

getObjectPropertiesInSignature, objectPropertiesInSignature

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

dataPropertiesInSignature, getDataPropertiesInSignature

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

getIndividualsInSignature, individualsInSignature

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

datatypesInSignature, getDatatypesInSignature

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

annotationPropertiesInSignature, getAnnotationPropertiesInSignature

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

componentsAnnotationsFirst, componentsWithoutAnnotations

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

isAnonymous

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

asOWLClass

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

asOWLDataProperty, isOWLDataProperty

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

asOWLDatatype, isOWLDatatype

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

asOWLAnnotationProperty, isOWLAnnotationProperty

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

asOWLNamedIndividual, isOWLNamedIndividual

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

asOWLObjectProperty, isOWLObjectProperty

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLClassImpl

public OWLClassImpl(IRI iri)

Parameters:

iri - class iri

Method Detail

getObjectComplementOf

public OWLClassExpression getObjectComplementOf()

Description copied from interface: OWLClassExpression

Gets the object complement of this class expression.

Specified by:

getObjectComplementOf in interface OWLClassExpression

Returns:

A class expression that is the complement of this class expression.

toStringID

public String toStringID()

Description copied from interface: OWLEntity

Returns a string representation that can be used as the ID of this entity. This is the toString representation of the IRI

Specified by:

toStringID in interface OWLEntity

Returns:

A string representing the toString of the IRI of this entity.

getIRI

public IRI getIRI()

Description copied from interface: HasIRI

Gets the IRI of this object.

Specified by:

getIRI in interface HasIRI

Returns:

The IRI of this object

isBuiltIn

public boolean isBuiltIn()

Description copied from interface: OWLEntity

Determines if this entity is a built in entity. The entity is a built in entity if it is:

• a class and the URI corresponds to owl:Thing or owl:Nothing
• an object property and the URI corresponds to owl:topObjectProperty or owl:bottomObjectProperty
• a data property and the URI corresponds to owl:topDataProperty or owl:bottomDataProperty
• a datatype and the IRI is rdfs:Literal or is in the OWL 2 datatype map or is rdf:PlainLiteral
• an annotation property and the URI is in the set of built in annotation property URIs, i.e. one of:
  • rdfs:label
  • rdfs:comment
  • rdfs:seeAlso
  • rdfs:isDefinedBy
  • owl:deprecated
  • owl:priorVersion
  • owl:backwardCompatibleWith
  • owl:incompatibleWith

Specified by:

isBuiltIn in interface OWLEntity

Returns:

true if this entity is a built in entity, or false if this entity is not a builtin entity.

isOWLThing

public boolean isOWLThing()

Description copied from interface: OWLClassExpression

Determines if this expression 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 OWLClassExpression

Returns:

true if this expression is owl:Thing, or false if this expression is not owl:Thing

isOWLNothing

public boolean isOWLNothing()

Description copied from interface: OWLClassExpression

Determines if this expression 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 OWLClassExpression

Returns:

true if this expression is owl:Nothing, or false if this expression is not owl:Nothing.

getNNF

public OWLClassExpression getNNF()

Description copied from interface: OWLClassExpression

Gets this expression in negation normal form.

Specified by:

getNNF in interface OWLClassExpression

Returns:

The expression in negation normal form.

asConjunctSet

public Set<OWLClassExpression> asConjunctSet()

Description copied from interface: OWLClassExpression

Interprets this expression as a conjunction and returns the conjuncts. This method does not normalise the expression (full CNF is not computed).

Specified by:

asConjunctSet in interface OWLClassExpression

Returns:

The conjucts of this expression if it is a conjunction (object intersection of), or otherwise a singleton set containing this expression. Note that nested conjunctions will be flattened, for example, calling this method on (A and B) and C will return the set {A, B, C}

containsConjunct

public boolean containsConjunct(OWLClassExpression ce)

Description copied from interface: OWLClassExpression

Determines if this class expression contains a particular conjunct. This method does not do any normalisation such as applying DeMorgans rules.

Specified by:

containsConjunct in interface OWLClassExpression

Parameters:

ce - The conjunct to test for

Returns:

true if this class expression is equal to ce or if this class expression is an ObjectIntersectionOf (possibly nested withing another ObjectIntersectionOf) that contains ce, otherwise false.

asDisjunctSet

public Set<OWLClassExpression> asDisjunctSet()

Description copied from interface: OWLClassExpression

Interprets this expression as a disjunction and returns the disjuncts. This method does not normalise the expression (full DNF is not computed).

Specified by:

asDisjunctSet in interface OWLClassExpression

Returns:

The disjuncts of this expression if it is a disjunction (object union of), or otherwise a singleton set containing this expression. Note that nested disjunctions will be flattened, for example, calling this method on (A or B) or C will return the set {A, B, C}

getComplementNNF

public OWLClassExpression getComplementNNF()

Description copied from interface: OWLClassExpression

Gets the negation normal form of the complement of this expression.

Specified by:

getComplementNNF in interface OWLClassExpression

Returns:

A expression that represents the NNF of the complement of this expression.