org.semanticweb.owlapi.model
Interface OWLObject

All Superinterfaces:

java.lang.Comparable<OWLObject>

All Known Subinterfaces:

OWLAnnotation, OWLAnnotationAssertionAxiom, OWLAnnotationAxiom, OWLAnnotationObject, OWLAnnotationProperty, OWLAnnotationPropertyDomainAxiom, OWLAnnotationPropertyRangeAxiom, OWLAnnotationSubject, OWLAnnotationValue, OWLAnonymousClassExpression, OWLAnonymousIndividual, OWLAsymmetricObjectPropertyAxiom, OWLAxiom, OWLBooleanClassExpression, OWLCardinalityRestriction<R,P,F>, OWLClass, OWLClassAssertionAxiom, OWLClassAxiom, OWLClassExpression, OWLDataAllValuesFrom, OWLDataCardinalityRestriction, OWLDataComplementOf, OWLDataExactCardinality, OWLDataHasValue, OWLDataIntersectionOf, OWLDataMaxCardinality, OWLDataMinCardinality, OWLDataOneOf, OWLDataProperty, OWLDataPropertyAssertionAxiom, OWLDataPropertyAxiom, OWLDataPropertyCharacteristicAxiom, OWLDataPropertyDomainAxiom, OWLDataPropertyExpression, OWLDataPropertyRangeAxiom, OWLDataRange, OWLDataSomeValuesFrom, OWLDatatype, OWLDatatypeDefinitionAxiom, OWLDatatypeRestriction, OWLDataUnionOf, OWLDeclarationAxiom, OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLDisjointUnionAxiom, OWLEntity, OWLEquivalentClassesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, OWLFacetRestriction, OWLFunctionalDataPropertyAxiom, OWLFunctionalObjectPropertyAxiom, OWLHasKeyAxiom, OWLHasValueRestriction<R,P,V>, OWLIndividual, OWLIndividualAxiom, OWLInverseFunctionalObjectPropertyAxiom, OWLInverseObjectPropertiesAxiom, OWLIrreflexiveObjectPropertyAxiom, OWLLiteral, OWLLogicalAxiom, OWLLogicalEntity, OWLMutableOntology, OWLNamedIndividual, OWLNamedObject, OWLNaryAxiom, OWLNaryBooleanClassExpression, OWLNaryClassAxiom, OWLNaryDataRange, OWLNaryIndividualAxiom, OWLNaryPropertyAxiom<P>, OWLNegativeDataPropertyAssertionAxiom, OWLNegativeObjectPropertyAssertionAxiom, OWLObjectAllValuesFrom, OWLObjectCardinalityRestriction, OWLObjectComplementOf, OWLObjectExactCardinality, OWLObjectHasSelf, OWLObjectHasValue, OWLObjectIntersectionOf, OWLObjectInverseOf, OWLObjectMaxCardinality, OWLObjectMinCardinality, OWLObjectOneOf, OWLObjectProperty, OWLObjectPropertyAssertionAxiom, OWLObjectPropertyAxiom, OWLObjectPropertyCharacteristicAxiom, OWLObjectPropertyDomainAxiom, OWLObjectPropertyExpression, OWLObjectPropertyRangeAxiom, OWLObjectSomeValuesFrom, OWLObjectUnionOf, OWLOntology, OWLProperty<R,P>, OWLPropertyAssertionAxiom<P,O>, OWLPropertyAssertionObject, OWLPropertyAxiom, OWLPropertyDomainAxiom<P>, OWLPropertyExpression<R,P>, OWLPropertyRange, OWLPropertyRangeAxiom<P,R>, OWLQuantifiedDataRestriction, OWLQuantifiedObjectRestriction, OWLQuantifiedRestriction<R,P,F>, OWLReflexiveObjectPropertyAxiom, OWLRestriction<R,P,F>, OWLSameIndividualAxiom, OWLSubAnnotationPropertyOfAxiom, OWLSubClassOfAxiom, OWLSubDataPropertyOfAxiom, OWLSubObjectPropertyOfAxiom, OWLSubPropertyAxiom<P>, OWLSubPropertyChainOfAxiom, OWLSymmetricObjectPropertyAxiom, OWLTransitiveObjectPropertyAxiom, OWLUnaryPropertyAxiom<P>, SWRLArgument, SWRLAtom, SWRLBinaryAtom<A,B>, SWRLBuiltInAtom, SWRLClassAtom, SWRLDArgument, SWRLDataPropertyAtom, SWRLDataRangeAtom, SWRLDifferentIndividualsAtom, SWRLIArgument, SWRLIndividualArgument, SWRLLiteralArgument, SWRLObject, SWRLObjectPropertyAtom, SWRLRule, SWRLSameIndividualAtom, SWRLUnaryAtom<A>, SWRLVariable

All Known Implementing Classes:

IRI, OWLAnnotationAssertionAxiomImpl, OWLAnnotationImpl, OWLAnnotationPropertyDomainAxiomImpl, OWLAnnotationPropertyImpl, OWLAnnotationPropertyRangeAxiomImpl, OWLAnonymousClassExpressionImpl, OWLAnonymousIndividualImpl, OWLAsymmetricObjectPropertyAxiomImpl, OWLAxiomImpl, OWLCardinalityRestrictionImpl, OWLClassAssertionImpl, OWLClassAxiomImpl, OWLClassExpressionImpl, OWLClassImpl, OWLDataAllValuesFromImpl, OWLDataCardinalityRestrictionImpl, OWLDataComplementOfImpl, OWLDataExactCardinalityImpl, OWLDataHasValueImpl, OWLDataIntersectionOfImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl, OWLDataOneOfImpl, OWLDataPropertyAssertionAxiomImpl, OWLDataPropertyCharacteristicAxiomImpl, OWLDataPropertyDomainAxiomImpl, OWLDataPropertyImpl, OWLDataPropertyRangeAxiomImpl, OWLDataSomeValuesFromImpl, OWLDatatypeDefinitionAxiomImpl, OWLDatatypeImpl, OWLDatatypeRestrictionImpl, OWLDataUnionOfImpl, OWLDeclarationAxiomImpl, OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLDisjointDataPropertiesAxiomImpl, OWLDisjointObjectPropertiesAxiomImpl, OWLDisjointUnionAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLEquivalentObjectPropertiesAxiomImpl, OWLFacetRestrictionImpl, OWLFunctionalDataPropertyAxiomImpl, OWLFunctionalObjectPropertyAxiomImpl, OWLHasKeyAxiomImpl, OWLIndividualAxiomImpl, OWLIndividualImpl, OWLIndividualRelationshipAxiomImpl, OWLInverseFunctionalObjectPropertyAxiomImpl, OWLInverseObjectPropertiesAxiomImpl, OWLIrreflexiveObjectPropertyAxiomImpl, OWLLiteralImpl, OWLLogicalAxiomImpl, OWLNamedIndividualImpl, OWLNaryBooleanClassExpressionImpl, OWLNaryClassAxiomImpl, OWLNaryDataRangeImpl, OWLNaryIndividualAxiomImpl, OWLNaryPropertyAxiomImpl, OWLNegativeDataPropertyAssertionImplAxiom, OWLNegativeObjectPropertyAssertionAxiomImpl, OWLObjectAllValuesFromImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectComplementOfImpl, OWLObjectExactCardinalityImpl, OWLObjectHasSelfImpl, OWLObjectHasValueImpl, OWLObjectImpl, OWLObjectIntersectionOfImpl, OWLObjectInverseOfImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl, OWLObjectOneOfImpl, OWLObjectPropertyAssertionAxiomImpl, OWLObjectPropertyCharacteristicAxiomImpl, OWLObjectPropertyDomainAxiomImpl, OWLObjectPropertyExpressionImpl, OWLObjectPropertyImpl, OWLObjectPropertyRangeAxiomImpl, OWLObjectSomeValuesFromImpl, OWLObjectUnionOfImpl, OWLOntologyImpl, OWLPropertyAxiomImpl, OWLPropertyDomainAxiomImpl, OWLPropertyExpressionImpl, OWLPropertyRangeAxiomImpl, OWLQuantifiedDataRestrictionImpl, OWLQuantifiedObjectRestrictionImpl, OWLQuantifiedRestrictionImpl, OWLReflexiveObjectPropertyAxiomImpl, OWLRestrictionImpl, OWLSameIndividualAxiomImpl, OWLSubAnnotationPropertyOfAxiomImpl, OWLSubClassOfAxiomImpl, OWLSubDataPropertyOfAxiomImpl, OWLSubObjectPropertyOfAxiomImpl, OWLSubPropertyAxiomImpl, OWLSubPropertyChainAxiomImpl, OWLSymmetricObjectPropertyAxiomImpl, OWLTransitiveObjectPropertyAxiomImpl, OWLUnaryPropertyAxiomImpl, OWLValueRestrictionImpl, SWRLAtomImpl, SWRLBinaryAtomImpl, SWRLBuiltInAtomImpl, SWRLClassAtomImpl, SWRLDataPropertyAtomImpl, SWRLDataRangeAtomImpl, SWRLDifferentIndividualsAtomImpl, SWRLIndividualArgumentImpl, SWRLLiteralArgumentImpl, SWRLObjectPropertyAtomImpl, SWRLRuleImpl, SWRLSameIndividualAtomImpl, SWRLUnaryAtomImpl, SWRLVariableImpl

public interface OWLObject
extends java.lang.Comparable<OWLObject>

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

Method Summary

void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
java.util.Set<OWLClass>	getClassesInSignature() A convenience method that obtains the classes that are in the signature of this object
java.util.Set<OWLDataProperty>	getDataPropertiesInSignature() A convenience method that obtains the data properties that are in the signature of this object
java.util.Set<OWLDatatype>	getDatatypesInSignature() A convenience method that obtains the datatypes that are in the signature of this object
java.util.Set<OWLNamedIndividual>	getIndividualsInSignature() A convenience method that obtains the individuals that are in the signature of this object
java.util.Set<OWLClassExpression>	getNestedClassExpressions() Gets all of the nested (includes top level) class expressions that are used in this object
java.util.Set<OWLObjectProperty>	getObjectPropertiesInSignature() A convenience method that obtains the object properties that are in the signature of this object
java.util.Set<OWLEntity>	getSignature() Gets the signature of this object
boolean	isBottomEntity() Determines if this object is either, owl:Nothing (the bottom class), owl:bottomObjectProperty (the bottom object property) , owl:bottomDataProperty (the bottom data property).
boolean	isTopEntity() Determines if this object is either, owl:Thing (the top class), owl:topObjectProperty (the top object property) , owl:topDataProperty (the top data property) or rdfs:Literal (the top datatype).

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getSignature

java.util.Set<OWLEntity> getSignature()

Gets the signature of this object

Returns:

A set of entities that correspond to the signature of this object.

getClassesInSignature

java.util.Set<OWLClass> getClassesInSignature()

A convenience method that obtains the classes that are in the signature of this object

Returns:

A set containing the classes that are in the signature of this object.

getDataPropertiesInSignature

java.util.Set<OWLDataProperty> getDataPropertiesInSignature()

A convenience method that obtains the data properties that are in the signature of this object

Returns:

A set containing the data properties that are in the signature of this object.

getObjectPropertiesInSignature

java.util.Set<OWLObjectProperty> getObjectPropertiesInSignature()

A convenience method that obtains the object properties that are in the signature of this object

Returns:

A set containing the object properties that are in the signature of this object.

getIndividualsInSignature

java.util.Set<OWLNamedIndividual> getIndividualsInSignature()

A convenience method that obtains the individuals that are in the signature of this object

Returns:

A set containing the individuals that are in the signature of this object.

getDatatypesInSignature

java.util.Set<OWLDatatype> getDatatypesInSignature()

A convenience method that obtains the datatypes that are in the signature of this object

Returns:

A set containing the datatypes that are in the signature of this object.

getNestedClassExpressions

java.util.Set<OWLClassExpression> getNestedClassExpressions()

Gets all of the nested (includes top level) class expressions that are used in this object

Returns:

A set of OWLClassExpressions that represent the nested class expressions used in this object.

accept

void accept(OWLObjectVisitor visitor)

accept

<O> O accept(OWLObjectVisitorEx<O> visitor)

isTopEntity

boolean isTopEntity()

Determines if this object is either, owl:Thing (the top class), owl:topObjectProperty (the top object property) , owl:topDataProperty (the top data property) or rdfs:Literal (the top datatype).

Returns:

true if this object corresponds to one of the above entities.

isBottomEntity

boolean isBottomEntity()

Determines if this object is either, owl:Nothing (the bottom class), owl:bottomObjectProperty (the bottom object property) , owl:bottomDataProperty (the bottom data property).

Returns:

true if this object corresponds to one of the above entities.