Uses of Interface
org.semanticweb.owlapi.model.HasClassesInSignature

Packages that use HasClassesInSignature

Package	Description
org.semanticweb.owlapi.model	Main API classes.
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.
uk.ac.manchester.cs.owl.owlapi.concurrent	Concurrent implementation package.

Uses of HasClassesInSignature in org.semanticweb.owlapi.model

Subinterfaces of HasClassesInSignature in org.semanticweb.owlapi.model

Modifier and Type	Interface	Description
interface	OWLAnnotation	Annotations are used in the various types of annotation axioms, which bind annotations to their subjects (i.e.
interface	OWLAnnotationAssertionAxiom	Represents AnnotationAssertion axioms in the OWL 2 specification.
interface	OWLAnnotationAxiom	A super interface for annotation axioms.
interface	OWLAnnotationObject	A marker interface for the values (objects) of annotations.
interface	OWLAnnotationProperty	Represents an AnnotationProperty in the OWL 2 specification.
interface	OWLAnnotationPropertyDomainAxiom	Represents an AnnotationPropertyDomain axiom in the OWL 2 specification.
interface	OWLAnnotationPropertyRangeAxiom	Represents an AnnotationPropertyRange axiom in the OWL 2 specification.
interface	OWLAnnotationSubject	A marker interface for annotation subjects, which can either be IRIs or anonymous individuals, with visitor methods.
interface	OWLAnnotationValue	A marker interface for annotation values, which can either be an IRI (URI), Literal or Anonymous Individual, with visitor methods.
interface	OWLAnonymousClassExpression	The super interface for all class expressions which are not named class expressions (i.e.
interface	OWLAnonymousIndividual	Represents Anonymous Individuals in the OWL 2 Specification.
interface	OWLAsymmetricObjectPropertyAxiom	Represents AsymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLAxiom	Represents Axioms in the OWL 2 Specification. An OWL ontology contains a set of axioms.
interface	OWLBooleanClassExpression
interface	OWLCardinalityRestriction<F extends OWLPropertyRange>
interface	OWLClass	Represents a Class in the OWL 2 specification.
interface	OWLClassAssertionAxiom	Represents ClassAssertion axioms in the OWL 2 Specification.
interface	OWLClassAxiom
interface	OWLClassExpression	Represents Class Expressions in the OWL 2 specification.
interface	OWLDataAllValuesFrom	Represents DataAllValuesFrom class expressions in the OWL 2 Specification.
interface	OWLDataCardinalityRestriction	Represents Data Property Cardinality Restrictions in the OWL 2 specification.
interface	OWLDataComplementOf	Represents DataComplementOf in the OWL 2 Specification.
interface	OWLDataExactCardinality	Represents DataExactCardinality restrictions in the OWL 2 Specification.
interface	OWLDataHasValue	Represents DataHasValue restrictions in the OWL 2 Specification.
interface	OWLDataIntersectionOf	Represents DataIntersectionOf in the OWL 2 Specification.
interface	OWLDataMaxCardinality	Represents DataMaxCardinality restrictions in the OWL 2 Specification.
interface	OWLDataMinCardinality	Represents DataMinCardinality restrictions in the OWL 2 Specification.
interface	OWLDataOneOf	Represents DataOneOf in the OWL 2 Specification.
interface	OWLDataProperty	Represents a Data Property in the OWL 2 Specification.
interface	OWLDataPropertyAssertionAxiom	Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyAxiom	A high level interface which marks data property axioms (e.g.
interface	OWLDataPropertyCharacteristicAxiom
interface	OWLDataPropertyDomainAxiom	Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyExpression	A high level interface to describe different types of data properties.
interface	OWLDataPropertyRangeAxiom	Represents a DataPropertyRange axiom in the OWL 2 Specification.
interface	OWLDataRange	Represents a DataRange in the OWL 2 Specification. A high level interface which represents a data range.
interface	OWLDataRestriction	Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
interface	OWLDataSomeValuesFrom	Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
interface	OWLDatatype	Represents a Datatype (named data range) in the OWL 2 Specification.
interface	OWLDatatypeDefinitionAxiom	Represents a DatatypeDefinition axiom in the OWL 2 Specification.
interface	OWLDatatypeRestriction	Represents a DatatypeRestriction data range in the OWL 2 Specification.
interface	OWLDataUnionOf	Represents a DataUnionOf data range in the OWL 2 Specification.
interface	OWLDeclarationAxiom	Represents a Declaration in the OWL 2 Specification.
interface	OWLDifferentIndividualsAxiom	Represents a DifferentIndividuals axiom in the OWL 2 Specification.
interface	OWLDisjointClassesAxiom	Represents a DisjointClasses axiom in the OWL 2 Specification.
interface	OWLDisjointDataPropertiesAxiom	Represents a DisjointDataProperties axiom in the OWL 2 Specification.
interface	OWLDisjointObjectPropertiesAxiom	Represents DisjointObjectProperties axioms in the OWL 2 specification.
interface	OWLDisjointUnionAxiom	Represents a DisjointUnion axiom in the OWL 2 Specification.
interface	OWLEntity	Represents Entities in the OWL 2 Specification.
interface	OWLEquivalentClassesAxiom	Represents an EquivalentClasses axiom in the OWL 2 Specification.
interface	OWLEquivalentDataPropertiesAxiom	Represents an EquivalentDataProperties axiom in the OWL 2 Specification.
interface	OWLEquivalentObjectPropertiesAxiom	Represents EquivalentObjectProperties axioms in the OWL 2 specification.
interface	OWLFacetRestriction	A facet restriction is used to restrict a particular datatype.
interface	OWLFunctionalDataPropertyAxiom	Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom	Represents FunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLHasKeyAxiom	Represents a HasKey axiom in the OWL 2 Specification.
interface	OWLHasValueRestriction<V extends OWLObject>
interface	OWLIndividual	Represents a named or anonymous individual.
interface	OWLIndividualAxiom
interface	OWLInverseFunctionalObjectPropertyAxiom	Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLInverseObjectPropertiesAxiom	Represents an InverseObjectProperties axiom in the OWL 2 Specification.
interface	OWLIrreflexiveObjectPropertyAxiom	Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
interface	OWLLiteral	Represents a Literal in the OWL 2 Specification.
interface	OWLLogicalAxiom	A base interface of all axioms that affect the logical meaning of an ontology.
interface	OWLLogicalEntity	Deprecated. this interface is redundant
interface	OWLMutableOntology	Marker interface for ontologies where mutating actions must have an effect.
interface	OWLNamedIndividual	Represents a Named Individual in the OWL 2 Specification.
interface	OWLNamedObject	Represents a named object for example, class, property, ontology etc.
interface	OWLNaryAxiom<C extends OWLObject>	Represents an axiom that contains two or more operands that could also be represented with multiple pairwise axioms.
interface	OWLNaryBooleanClassExpression
interface	OWLNaryClassAxiom
interface	OWLNaryDataRange
interface	OWLNaryIndividualAxiom
interface	OWLNaryPropertyAxiom<P extends OWLPropertyExpression>
interface	OWLNegativeDataPropertyAssertionAxiom	Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom	Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObject
interface	OWLObjectAllValuesFrom	Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification.
interface	OWLObjectCardinalityRestriction
interface	OWLObjectComplementOf	Represents an ObjectComplementOf class expression in the OWL 2 Specification.
interface	OWLObjectExactCardinality	Represents an ObjectExactCardinality restriction in the OWL 2 Specification.
interface	OWLObjectHasSelf	Represents an ObjectHasSelf class expression in the OWL 2 Specification.
interface	OWLObjectHasValue	Represents an ObjectHasValue class expression in the OWL 2 Specification.
interface	OWLObjectIntersectionOf	Represents an ObjectIntersectionOf class expression in the OWL 2 Specification.
interface	OWLObjectInverseOf	Represents a ObjectInverseOf Represents the inverse of a property expression.
interface	OWLObjectMaxCardinality	Represents an ObjectMaxCardinality restriction in the OWL 2 Specification.
interface	OWLObjectMinCardinality	Represents a ObjectMinCardinality restriction in the OWL 2 Specification.
interface	OWLObjectOneOf	Represents an ObjectOneOf class expression in the OWL 2 Specification.
interface	OWLObjectProperty	Represents an Object Property in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom	Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyAxiom
interface	OWLObjectPropertyCharacteristicAxiom
interface	OWLObjectPropertyDomainAxiom	Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLObjectPropertyExpression
interface	OWLObjectPropertyRangeAxiom	Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLObjectRestriction	Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
interface	OWLObjectSomeValuesFrom	Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification.
interface	OWLObjectUnionOf	Represents an ObjectUnionOf class expression in the OWL 2 Specification.
interface	OWLOntology	Represents an OWL 2 Ontology in the OWL 2 specification.
interface	OWLPrimitive	A common interface for: OWLClass, OWLObjectProperty, OWLDataProperty, OWLAnnotationProperty, OWLDatatype, OWLAnonymousIndividual, OWLLiteral, IRI.
interface	OWLProperty	A marker interface for properties that aren't expression i.e.
interface	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>	Represents an Assertion in the OWL 2 specification.
interface	OWLPropertyAssertionObject	A marker interface for the types of property assertion objects (individuals and literals) that are the objects of property assertions.
interface	OWLPropertyAxiom	The base interface for property axioms.
interface	OWLPropertyDomain	A marker interface, for objects that can be the ranges of properties.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression>	Represents ObjectPropertyDomain axioms in the OWL 2 specification.
interface	OWLPropertyExpression	Represents a property or possibly the inverse of a property.
interface	OWLPropertyRange	A marker interface, for objects that can be the ranges of properties.
interface	OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange>	Represents ObjectPropertyRange axioms in the OWL 2 specification.
interface	OWLQuantifiedDataRestriction	A quantified data restriction.
interface	OWLQuantifiedObjectRestriction	A quantified object restriction.
interface	OWLQuantifiedRestriction<F extends OWLPropertyRange>
interface	OWLReflexiveObjectPropertyAxiom	Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
interface	OWLRestriction	Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
interface	OWLSameIndividualAxiom	Represents an SameIndividual axiom in the OWL 2 Specification.
interface	OWLSignature	Ontology methods related to its signature.
interface	OWLSignatureBooleanArgs	Ontology methods related to its signature.
interface	OWLSubAnnotationPropertyOfAxiom	Represents an SubAnnotationPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubClassOfAxiom	Represents an SubClassOf axiom in the OWL 2 Specification.
interface	OWLSubDataPropertyOfAxiom	Represents an SubDataPropertyOf axiom in the OWL 2 Specification.
interface	OWLSubObjectPropertyOfAxiom	Represents SubObjectPropertyOf axioms in the OWL 2 specification.
interface	OWLSubPropertyAxiom<P extends OWLPropertyExpression>
interface	OWLSubPropertyChainOfAxiom	Represents a SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of properties.
interface	OWLSymmetricObjectPropertyAxiom	Represents SymmetricObjectProperty axioms in the OWL 2 specification.
interface	OWLTransitiveObjectPropertyAxiom	Represents a TransitiveObjectProperty axiom in the OWL 2 Specification.
interface	OWLUnaryPropertyAxiom<P extends OWLPropertyExpression>
interface	SWRLArgument	Represents an object in an atom (either a data object or and individual object).
interface	SWRLAtom	Represents an atom in a rule.
interface	SWRLBinaryAtom<A extends SWRLArgument,B extends SWRLArgument>	Represents an atom with two ordered arguments.
interface	SWRLBuiltInAtom
interface	SWRLClassAtom
interface	SWRLDArgument	Represents arguments in SWRLAtoms that are either OWLLiterals or variables for individuals SWRLLiteralArgument.
interface	SWRLDataPropertyAtom
interface	SWRLDataRangeAtom
interface	SWRLDifferentIndividualsAtom
interface	SWRLIArgument	Represents arguments in SWRLAtoms that are either OWLIndividuals or variables for individuals SWRLIndividualArgument.
interface	SWRLIndividualArgument
interface	SWRLLiteralArgument
interface	SWRLObject
interface	SWRLObjectPropertyAtom
interface	SWRLRule	Represent a rule.
interface	SWRLSameIndividualAtom
interface	SWRLUnaryAtom<A extends SWRLArgument>
interface	SWRLVariable	Represents a variable that can appear in an atom.

Classes in org.semanticweb.owlapi.model that implement HasClassesInSignature

Modifier and Type	Class	Description
class	IRI	Represents International Resource Identifiers.

Uses of HasClassesInSignature in uk.ac.manchester.cs.owl.owlapi

Subinterfaces of HasClassesInSignature in uk.ac.manchester.cs.owl.owlapi

Modifier and Type	Interface	Description
interface	HasIncrementalSignatureGenerationSupport	Created by ses on 10/7/14.

Classes in uk.ac.manchester.cs.owl.owlapi that implement HasClassesInSignature

Modifier and Type	Class	Description
class	OWL2DatatypeImpl	An optimised implementation of OWLDatatype for OWL2Datatypes.
class	OWLAnnotationAssertionAxiomImpl
class	OWLAnnotationImpl
class	OWLAnnotationImplNotAnnotated
class	OWLAnnotationPropertyDomainAxiomImpl
class	OWLAnnotationPropertyImpl
class	OWLAnnotationPropertyRangeAxiomImpl
class	OWLAnonymousClassExpressionImpl
class	OWLAnonymousIndividualImpl
class	OWLAsymmetricObjectPropertyAxiomImpl
class	OWLAxiomImpl
class	OWLAxiomIndexImpl
class	OWLCardinalityRestrictionImpl<F extends OWLPropertyRange>
class	OWLClassAssertionAxiomImpl
class	OWLClassAxiomImpl
class	OWLClassExpressionImpl
class	OWLClassImpl
class	OWLDataAllValuesFromImpl
class	OWLDataCardinalityRestrictionImpl
class	OWLDataComplementOfImpl
class	OWLDataExactCardinalityImpl
class	OWLDataHasValueImpl
class	OWLDataIntersectionOfImpl
class	OWLDataMaxCardinalityImpl
class	OWLDataMinCardinalityImpl
class	OWLDataOneOfImpl
class	OWLDataPropertyAssertionAxiomImpl
class	OWLDataPropertyCharacteristicAxiomImpl
class	OWLDataPropertyDomainAxiomImpl
class	OWLDataPropertyImpl
class	OWLDataPropertyRangeAxiomImpl
class	OWLDataSomeValuesFromImpl
class	OWLDatatypeDefinitionAxiomImpl
class	OWLDatatypeImpl
class	OWLDatatypeRestrictionImpl
class	OWLDataUnionOfImpl
class	OWLDeclarationAxiomImpl
class	OWLDifferentIndividualsAxiomImpl
class	OWLDisjointClassesAxiomImpl
class	OWLDisjointDataPropertiesAxiomImpl
class	OWLDisjointObjectPropertiesAxiomImpl
class	OWLDisjointUnionAxiomImpl
class	OWLEquivalentClassesAxiomImpl
class	OWLEquivalentDataPropertiesAxiomImpl
class	OWLEquivalentObjectPropertiesAxiomImpl
class	OWLFacetRestrictionImpl
class	OWLFunctionalDataPropertyAxiomImpl
class	OWLFunctionalObjectPropertyAxiomImpl
class	OWLHasKeyAxiomImpl
class	OWLImmutableOntologyImpl
class	OWLIndividualAxiomImpl
class	OWLIndividualImpl
class	OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
class	OWLInverseFunctionalObjectPropertyAxiomImpl
class	OWLInverseObjectPropertiesAxiomImpl
class	OWLIrreflexiveObjectPropertyAxiomImpl
class	OWLLiteralImpl	Implementation of OWLLiteral that uses compression of strings.
class	OWLLiteralImplBoolean
class	OWLLiteralImplDouble
class	OWLLiteralImplFloat
class	OWLLiteralImplInteger
class	OWLLiteralImplLong
class	OWLLiteralImplNoCompression
class	OWLLiteralImplPlain	An OWLLiteral whose datatype is RDF_LANG_STRING or XSD_STRING
class	OWLLiteralImplString	An OWLLiteral with xsd:string datatype and no language tag.
class	OWLLogicalAxiomImpl
class	OWLNamedIndividualImpl
class	OWLNaryBooleanClassExpressionImpl
class	OWLNaryClassAxiomImpl
class	OWLNaryDataRangeImpl
class	OWLNaryIndividualAxiomImpl
class	OWLNaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLNegativeDataPropertyAssertionAxiomImpl
class	OWLNegativeObjectPropertyAssertionAxiomImpl
class	OWLObjectAllValuesFromImpl
class	OWLObjectCardinalityRestrictionImpl
class	OWLObjectComplementOfImpl
class	OWLObjectExactCardinalityImpl
class	OWLObjectHasSelfImpl
class	OWLObjectHasValueImpl
class	OWLObjectImpl
class	OWLObjectIntersectionOfImpl
class	OWLObjectInverseOfImpl
class	OWLObjectMaxCardinalityImpl
class	OWLObjectMinCardinalityImpl
class	OWLObjectOneOfImpl
class	OWLObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyCharacteristicAxiomImpl
class	OWLObjectPropertyDomainAxiomImpl
class	OWLObjectPropertyImpl
class	OWLObjectPropertyRangeAxiomImpl
class	OWLObjectSomeValuesFromImpl
class	OWLObjectUnionOfImpl
class	OWLOntologyImpl
class	OWLPropertyAxiomImpl
class	OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
class	OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>
class	OWLQuantifiedDataRestrictionImpl	Quantified data restriction.
class	OWLQuantifiedObjectRestrictionImpl	Quantified object restriction.
class	OWLQuantifiedRestrictionImpl<F extends OWLPropertyRange>
class	OWLReflexiveObjectPropertyAxiomImpl
class	OWLSameIndividualAxiomImpl
class	OWLSubAnnotationPropertyOfAxiomImpl
class	OWLSubClassOfAxiomImpl
class	OWLSubDataPropertyOfAxiomImpl
class	OWLSubObjectPropertyOfAxiomImpl
class	OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLSubPropertyChainAxiomImpl
class	OWLSymmetricObjectPropertyAxiomImpl
class	OWLTransitiveObjectPropertyAxiomImpl
class	OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>
class	OWLValueRestrictionImpl<V extends OWLObject>
class	SWRLAtomImpl
class	SWRLBinaryAtomImpl<A extends SWRLArgument,B extends SWRLArgument>
class	SWRLBuiltInAtomImpl
class	SWRLClassAtomImpl
class	SWRLDataPropertyAtomImpl
class	SWRLDataRangeAtomImpl
class	SWRLDifferentIndividualsAtomImpl
class	SWRLIndividualArgumentImpl
class	SWRLLiteralArgumentImpl
class	SWRLObjectPropertyAtomImpl
class	SWRLRuleImpl
class	SWRLSameIndividualAtomImpl
class	SWRLUnaryAtomImpl<A extends SWRLArgument>
class	SWRLVariableImpl

Uses of HasClassesInSignature in uk.ac.manchester.cs.owl.owlapi.concurrent

Classes in uk.ac.manchester.cs.owl.owlapi.concurrent that implement HasClassesInSignature

Modifier and Type	Class	Description
class	ConcurrentOWLOntologyImpl	Matthew Horridge Stanford Center for Biomedical Informatics Research 03/04/15