O
- is the ontology.J
- is the ground.public interface ObjectProperty<O,J> extends Axiom.Descriptor<O,J>
OWLObjectProperty
). The expressions are the following:
ObjectProperty.Equivalent
: this expression describes that an ObjectProperty is equivalent to another ObjectProperty.ObjectProperty.Disjoint
: this expression describes that an ObjectProperty is disjoint to another ObjectProperty.ObjectProperty.Sub
: this expression describes that an ObjectProperty subsumes another ObjectProperty.ObjectProperty.Super
: this expression describes that an ObjectProperty super-sumes another ObjectProperty.ObjectProperty.Domain
: this expression describes the domain restrictions of an ObjectProperty.ObjectProperty.Range
: this expression describes the range restrictions of an ObjectProperty.ObjectProperty.Inverse
: this expression describes that an ObjectProperty has another inverse ObjectProperty.
Modifier and Type | Interface and Description |
---|---|
static interface |
ObjectProperty.Disjoint<O,J,D extends ObjectProperty<O,J>>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Disjoint expression. |
static interface |
ObjectProperty.Domain<O,J,Y>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Domain expression. |
static interface |
ObjectProperty.Equivalent<O,J,D extends ObjectProperty<O,J>>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Equivalent expression. |
static interface |
ObjectProperty.Inverse<O,J,D extends ObjectProperty<O,J>>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Inverse expression. |
static interface |
ObjectProperty.Range<O,J,Y>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Range expression. |
static interface |
ObjectProperty.Sub<O,J,D extends ObjectProperty<O,J>>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Sub expression. |
static interface |
ObjectProperty.Super<O,J,D extends ObjectProperty<O,J>>
Implementation of this interface enables a
ObjectProperty to have the ObjectProperty.Super expression. |
Axiom.Descriptor.OntologyReference
Axiom.Descriptor<O,J>, Axiom.EntitySet<Y>, Axiom.ExpressionEntity<S,Y>, Axiom.ExpressionEntitySet<F extends Axiom.ExpressionEntity<?,Y>,Y>, Axiom.Ground<O,J>, Axiom.MappingIntent<I extends Axiom.Ground,C>
Modifier and Type | Method and Description |
---|---|
void |
setAsymmetric()
Make
Axiom.Descriptor.getInstance() as a asymmetric property. |
void |
setFunctional()
Make
Axiom.Descriptor.getInstance() as a functional property. |
void |
setInverseFunctional()
Make
Axiom.Descriptor.getInstance() as an inverse functional property. |
void |
setIrreflexive()
Make
Axiom.Descriptor.getInstance() as an irreflexive property. |
void |
setNotAsymmetric()
Make
Axiom.Descriptor.getInstance() to be not an asymmetric property anymore. |
void |
setNotFunctional()
Make
Axiom.Descriptor.getInstance() to be not a functional property anymore. |
void |
setNotInverseFunctional()
Make
Axiom.Descriptor.getInstance() to be not an inverse functional property anymore. |
void |
setNotIrreflexive()
Make
Axiom.Descriptor.getInstance() to be not an irreflexive property anymore. |
void |
setNotReflexive()
Make
Axiom.Descriptor.getInstance() to be no a reflexive property anymore. |
void |
setNotSymmetric()
Make
Axiom.Descriptor.getInstance() to be no a symmetric property anymore. |
void |
setNotTransitive()
Make
Axiom.Descriptor.getInstance() to be not a transitive property anymore. |
void |
setReflexive()
Make
Axiom.Descriptor.getInstance() as a reflexive property. |
void |
setSymmetric()
Make
Axiom.Descriptor.getInstance() as a symmetric property. |
void |
setTransitive()
Make
Axiom.Descriptor.getInstance() as a transitive property. |
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, readAxioms, writeAxioms, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms
void setFunctional()
Axiom.Descriptor.getInstance()
as a functional property.void setNotFunctional()
Axiom.Descriptor.getInstance()
to be not a functional property anymore.void setInverseFunctional()
Axiom.Descriptor.getInstance()
as an inverse functional property.void setNotInverseFunctional()
Axiom.Descriptor.getInstance()
to be not an inverse functional property anymore.void setTransitive()
Axiom.Descriptor.getInstance()
as a transitive property.void setNotTransitive()
Axiom.Descriptor.getInstance()
to be not a transitive property anymore.void setSymmetric()
Axiom.Descriptor.getInstance()
as a symmetric property.void setNotSymmetric()
Axiom.Descriptor.getInstance()
to be no a symmetric property anymore.void setAsymmetric()
Axiom.Descriptor.getInstance()
as a asymmetric property.void setNotAsymmetric()
Axiom.Descriptor.getInstance()
to be not an asymmetric property anymore.void setReflexive()
Axiom.Descriptor.getInstance()
as a reflexive property.void setNotReflexive()
Axiom.Descriptor.getInstance()
to be no a reflexive property anymore.void setIrreflexive()
Axiom.Descriptor.getInstance()
as an irreflexive property.void setNotIrreflexive()
Axiom.Descriptor.getInstance()
to be not an irreflexive property anymore.