O
- the type of ontology in which the axioms for classes will be applied.J
- the type of instance (i.e.: class) for the axioms.public interface Concept<O,J> extends Semantic.Descriptor<O,J>
Semantic.Descriptor
.
This interface contains all the Semantic.Descriptor
that
can be applied to an ontological class (e.g.: OWLClass
)
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:
Concept.Classify
: for describing the instances of an ontological class.Concept.Disjoint
: for describing disjointed class for the one grounded
in a specific Concept
.Concept.Equivalent
: for describing equivalent class for the one grounded
in a specific Concept
.Concept.Sub
: for representing classes that are implied by the one grounded
in a specific Concept
.Concept.Super
: for representing a grounded Concept
that implies
specific classes.Concept.Define
: for describing the axioms that builds the
definition of a grounded Concept
.Modifier and Type | Interface and Description |
---|---|
static interface |
Concept.Classify<O,J,Y,D extends Individual<O,Y>>
The
Semantic.Descriptor for individuals of an ontological class. |
static interface |
Concept.Define<O,J,Y>
The
Semantic.Descriptor for the definition of an ontological class. |
static interface |
Concept.Disjoint<O,J,D extends Concept<O,J>>
The
Semantic.Descriptor for disjointed classes of an ontological class. |
static interface |
Concept.Equivalent<O,J,D extends Concept<O,J>>
The
Semantic.Descriptor for equivalent classes of an ontological class. |
static interface |
Concept.Sub<O,J,D extends Concept<O,J>>
The
Semantic.Descriptor for sub classes of an ontological class. |
static interface |
Concept.Super<O,J,D extends Concept<O,J>>
The
Semantic.Descriptor for super classes of an ontological class. |
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