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

Packages that use HasProperty

Package	Description
org.semanticweb.owlapi.model	Main API classes.
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 retrictions in the OWL 2 Specification.
interface	OWLDataHasValue	Represents DataHasValue retrictions in the OWL 2 Specification.
interface	OWLDataMaxCardinality	Represents DataMaxCardinality retrictions in the OWL 2 Specification.
interface	OWLDataMinCardinality	Represents DataMinCardinality retrictions 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 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	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>