O
- the type of ontology in which the axioms for classes will be applied.J
- the type of instance (i.e.: individual) for the axioms.public interface Individual<O,J> extends Semantic.Descriptor<O,J>
Semantic.Descriptor
.
This interface contains all the Semantic.Descriptor
that
can be applied to an ontological individual (e.g.: OWLNamedIndividual
)
in any arbitrary combination since all of them should rely on the same Semantic.Ground
type.
More in particular, for the Semantic.Descriptor.getInstance()
entities in the Semantic.Descriptor.getOntology()
, those are:
Individual.Type
: for describing the classes of an individual.Individual.Disjoint
: for describing disjointed individuals for the one grounded
in a specific Individual
.Individual.Equivalent
: for describing equivalent individuals for the one grounded
in a specific Individual
.Individual.DataLink
: for representing the data properties (and related values)
applied to an Individual
.Individual.ObjectLink
: for representing the object properties (and related individuals value)
applied to an Individual
.Modifier and Type | Interface and Description |
---|---|
static interface |
Individual.DataLink<O,J,Y extends Semantic.SemanticAxiom<S,?>,S,D extends DataProperty<O,S>>
The
Semantic.Descriptor for the data properties applied to the described individuals. |
static interface |
Individual.Disjoint<O,J,D extends Individual<O,J>>
The
Semantic.Descriptor for individuals that are different from the one described. |
static interface |
Individual.Equivalent<O,J,D extends Individual<O,J>>
The
Semantic.Descriptor for individuals that are equivalent from the one described. |
static interface |
Individual.ObjectLink<O,J,Y extends Semantic.SemanticAxiom<S,?>,S,D extends ObjectProperty<O,S>>
The
Semantic.Descriptor for the object properties applied to the described individuals. |
static interface |
Individual.Type<O,J,Y,D extends Concept<O,Y>>
The
Semantic.Descriptor for classes (e.g.: types) that describes an ontological individual. |
Semantic.Axioms<Y>, Semantic.Descriptor<O,J>, Semantic.Ground<O,J>, Semantic.MappingIntent<I extends Semantic.Ground,C>, Semantic.SemanticAxiom<S,Y>, Semantic.SemanticAxioms<F extends Semantic.SemanticAxiom<?,Y>,Y>
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, readSemantic, writeSemantic, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe