O
- is the ontology.J
- is the ground.public interface DataProperty<O,J> extends Axiom.Descriptor<O,J>
OWLDataProperty
). The expressions are the following:
DataProperty.Equivalent
: this expression describes that a DataProperty is equivalent to another DataProperty.DataProperty.Disjoint
: this expression describes that a DataProperty is disjoint to another DataProperty.DataProperty.Sub
: this expression describes that a DataProperty is subsumes another DataProperty.DataProperty.Super
: this expression describes that a DataProperty is super-sumes another DataProperty.DataProperty.Domain
: this expression describes the domain restrictions of a DataProperty.DataProperty.Range
: this expression describes the range restrictions of a DataProperty.
Modifier and Type | Interface and Description |
---|---|
static interface |
DataProperty.Disjoint<O,J,D extends DataProperty<O,J>>
Implementation of this interface enables a
DataProperty to have the DataProperty.Disjoint expression. |
static interface |
DataProperty.Domain<O,J,Y>
Implementation of this interface enables a
DataProperty to have the DataProperty.Domain expression. |
static interface |
DataProperty.Equivalent<O,J,D extends DataProperty<O,J>>
Implementation of this interface enables a
DataProperty to have the DataProperty.Equivalent expression. |
static interface |
DataProperty.Range<O,J,Y>
Implementation of this interface enables a
DataProperty to have the DataProperty.Range expression. |
static interface |
DataProperty.Sub<O,J,D extends DataProperty<O,J>>
Implementation of this interface enables a
DataProperty to have the DataProperty.Sub expression. |
static interface |
DataProperty.Super<O,J,D extends DataProperty<O,J>>
Implementation of this interface enables a
DataProperty to have the DataProperty.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 |
setFunctional()
Make
Axiom.Descriptor.getInstance() as a functional property. |
void |
setNotFunctional()
Make
Axiom.Descriptor.getInstance() to be not a functional 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.