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

Packages that use HasProperty

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapitools.builders	Builders package.
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.

Uses of HasProperty in org.semanticweb.owlapi.model

Subinterfaces of HasProperty 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	OWLAnnotationPropertyDomainAxiom	Represents an AnnotationPropertyDomain axiom in the OWL 2 specification.
interface	OWLAnnotationPropertyRangeAxiom	Represents an AnnotationPropertyRange axiom in the OWL 2 specification.
interface	OWLAsymmetricObjectPropertyAxiom	Represents AsymmetricObjectProperty axioms 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	OWLDataExactCardinality	Represents DataExactCardinality restrictions in the OWL 2 Specification.
interface	OWLDataHasValue	Represents DataHasValue restrictions 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	OWLDataPropertyAssertionAxiom	Represents a DataPropertyAssertion in the OWL 2 Specification.
interface	OWLDataPropertyCharacteristicAxiom
interface	OWLDataPropertyDomainAxiom	Represents a DataPropertyDomain axiom in the OWL 2 Specification.
interface	OWLDataPropertyRangeAxiom	Represents a DataPropertyRange axiom in the OWL 2 Specification.
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	OWLFunctionalDataPropertyAxiom	Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
interface	OWLFunctionalObjectPropertyAxiom	Represents FunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLInverseFunctionalObjectPropertyAxiom	Represents InverseFunctionalObjectProperty axioms in the OWL 2 specification.
interface	OWLIrreflexiveObjectPropertyAxiom	Represents IrreflexiveObjectProperty axioms in the OWL 2 Specification.
interface	OWLNegativeDataPropertyAssertionAxiom	Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLNegativeObjectPropertyAssertionAxiom	Represents a NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectAllValuesFrom	Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification.
interface	OWLObjectCardinalityRestriction
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	OWLObjectMaxCardinality	Represents an ObjectMaxCardinality restriction in the OWL 2 Specification.
interface	OWLObjectMinCardinality	Represents a ObjectMinCardinality restriction in the OWL 2 Specification.
interface	OWLObjectPropertyAssertionAxiom	Represents an ObjectPropertyAssertion axiom in the OWL 2 Specification.
interface	OWLObjectPropertyCharacteristicAxiom
interface	OWLObjectPropertyDomainAxiom	Represents ObjectPropertyDomain axioms in the OWL 2 specification.
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	OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>	Represents an Assertion in the OWL 2 specification.
interface	OWLPropertyDomainAxiom<P extends OWLPropertyExpression>	Represents ObjectPropertyDomain axioms in the OWL 2 specification.
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	OWLReflexiveObjectPropertyAxiom	Represents ReflexiveObjectProperty axioms in the OWL 2 specification.
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>

Uses of HasProperty in org.semanticweb.owlapitools.builders

Subinterfaces of HasProperty in org.semanticweb.owlapitools.builders

Modifier and Type	Interface	Description
interface	SettableProperty<P extends OWLObject,B>	An object with a settable property attribute.

Classes in org.semanticweb.owlapitools.builders that implement HasProperty

Modifier and Type	Class	Description
class	BaseAnnotationPropertyBuilder<T extends OWLObject,B>	Builder class for OWLDataAllValuesFrom.
class	BaseDataBuilder<T extends OWLObject,B>	Builder class for OWLDataAllValuesFrom.
class	BaseDataPropertyBuilder<T extends OWLObject,B>	Builder class for OWLDataAllValuesFrom.
class	BaseObjectBuilder<T extends OWLObject,B>	Builder class for OWLDataAllValuesFrom.
class	BaseObjectPropertyBuilder<T extends OWLObject,B>	Builder class for OWLDataAllValuesFrom.
class	BuilderAnnotation	Builder class for OWLAnnotation.
class	BuilderAnnotationAssertion	Builder class for OWLAnnotationAssertionAxiom.
class	BuilderAnnotationPropertyDomain	Builder class for OWLAnnotationPropertyDomainAxiom.
class	BuilderAnnotationPropertyRange	Builder class for OWLAnnotationPropertyRangeAxiom.
class	BuilderAsymmetricObjectProperty	Builder class for OWLAsymmetricObjectPropertyAxiom.
class	BuilderDataAllValuesFrom	Builder class for OWLDataAllValuesFrom.
class	BuilderDataExactCardinality	Builder class for OWLDataExactCardinality.
class	BuilderDataHasValue	Builder class for OWLDataHasValue.
class	BuilderDataMaxCardinality	Builder class for OWLDataMaxCardinality.
class	BuilderDataMinCardinality	Builder class for OWLDataMinCardinality.
class	BuilderDataPropertyAssertion	Builder class for OWLDataPropertyAssertionAxiom.
class	BuilderDataPropertyDomain	Builder class for OWLDataPropertyDomainAxiom.
class	BuilderDataPropertyRange	Builder class for OWLDataPropertyRangeAxiom.
class	BuilderDataSomeValuesFrom	Builder class for OWLDataSomeValuesFrom.
class	BuilderFunctionalDataProperty	Builder class for OWLFunctionalDataPropertyAxiom.
class	BuilderFunctionalObjectProperty	Builder class for OWLFunctionalObjectPropertyAxiom.
class	BuilderInverseFunctionalObjectProperty	Builder class for OWLInverseFunctionalObjectPropertyAxiom.
class	BuilderInverseObjectProperties	Builder class for OWLInverseObjectPropertiesAxiom.
class	BuilderIrreflexiveObjectProperty	Builder class for OWLIrreflexiveObjectPropertyAxiom.
class	BuilderNegativeDataPropertyAssertion	Builder class for OWLNegativeDataPropertyAssertionAxiom.
class	BuilderNegativeObjectPropertyAssertion	Builder class for OWLNegativeObjectPropertyAssertionAxiom.
class	BuilderObjectAllValuesFrom	Builder class for OWLObjectAllValuesFrom.
class	BuilderObjectExactCardinality	Builder class for OWLObjectExactCardinality.
class	BuilderObjectHasSelf	Builder class for OWLObjectHasSelf.
class	BuilderObjectHasValue	Builder class for OWLObjectHasValue.
class	BuilderObjectInverseOf	Builder class for OWLObjectInverseOf.
class	BuilderObjectMaxCardinality	Builder class for OWLObjectMaxCardinality.
class	BuilderObjectMinCardinality	Builder class for OWLObjectMinCardinality.
class	BuilderObjectPropertyAssertion	Builder class for OWLObjectPropertyAssertionAxiom.
class	BuilderObjectPropertyDomain	Builder class for OWLObjectPropertyDomainAxiom.
class	BuilderObjectPropertyRange	Builder class for OWLObjectPropertyRangeAxiom.
class	BuilderObjectSomeValuesFrom	Builder class for OWLObjectSomeValuesFrom.
class	BuilderPropertyChain	Builder class for OWLSubPropertyChainOfAxiom.
class	BuilderReflexiveObjectProperty	Builder class for OWLReflexiveObjectPropertyAxiom.
class	BuilderSWRLDataPropertyAtom	Builder class for SWRLDataPropertyAtom.
class	BuilderSymmetricObjectProperty	Builder class for OWLSymmetricObjectPropertyAxiom.
class	BuilderTransitiveObjectProperty	Builder class for OWLTransitiveObjectPropertyAxiom.

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

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

Modifier and Type	Class	Description
class	OWLAnnotationAssertionAxiomImpl
class	OWLAnnotationImpl
class	OWLAnnotationImplNotAnnotated
class	OWLAnnotationPropertyDomainAxiomImpl
class	OWLAnnotationPropertyRangeAxiomImpl
class	OWLAsymmetricObjectPropertyAxiomImpl
class	OWLDataAllValuesFromImpl
class	OWLDataCardinalityRestrictionImpl
class	OWLDataExactCardinalityImpl
class	OWLDataHasValueImpl
class	OWLDataMaxCardinalityImpl
class	OWLDataMinCardinalityImpl
class	OWLDataPropertyAssertionAxiomImpl
class	OWLDataPropertyCharacteristicAxiomImpl
class	OWLDataPropertyDomainAxiomImpl
class	OWLDataPropertyRangeAxiomImpl
class	OWLDataSomeValuesFromImpl
class	OWLFunctionalDataPropertyAxiomImpl
class	OWLFunctionalObjectPropertyAxiomImpl
class	OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
class	OWLInverseFunctionalObjectPropertyAxiomImpl
class	OWLIrreflexiveObjectPropertyAxiomImpl
class	OWLNegativeDataPropertyAssertionAxiomImpl
class	OWLNegativeObjectPropertyAssertionAxiomImpl
class	OWLObjectAllValuesFromImpl
class	OWLObjectCardinalityRestrictionImpl
class	OWLObjectExactCardinalityImpl
class	OWLObjectHasSelfImpl
class	OWLObjectHasValueImpl
class	OWLObjectMaxCardinalityImpl
class	OWLObjectMinCardinalityImpl
class	OWLObjectPropertyAssertionAxiomImpl
class	OWLObjectPropertyCharacteristicAxiomImpl
class	OWLObjectPropertyDomainAxiomImpl
class	OWLObjectPropertyRangeAxiomImpl
class	OWLObjectSomeValuesFromImpl
class	OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression>
class	OWLPropertyRangeAxiomImpl<P extends OWLPropertyExpression,R extends OWLPropertyRange>
class	OWLQuantifiedDataRestrictionImpl	Quantified data restriction.
class	OWLQuantifiedObjectRestrictionImpl	Quantified object restriction.
class	OWLReflexiveObjectPropertyAxiomImpl
class	OWLSymmetricObjectPropertyAxiomImpl
class	OWLTransitiveObjectPropertyAxiomImpl
class	OWLUnaryPropertyAxiomImpl<P extends OWLPropertyExpression>