O
- is the ontology.J
- is the ground.public interface Class<O,J> extends Axiom.Descriptor<O,J>
OWLClass
). The expressions are the following:
Class.Equivalent
: this expression describes that a Class is equivalent to another Class.Class.Disjoint
: this expression describes that a Class is disjoint to another Class.Class.Sub
: this expression describes that a Class subsumes another Class.Class.Super
: this expression describes that a Class is a super-class of another Class.Class.Instance
: this expression describes an Individual of a Class.Class.Restriction
: this expression describes the definition of a Class..
Modifier and Type | Interface and Description |
---|---|
static interface |
Class.Disjoint<O,J,D extends Class<O,J>>
Implementation of this interface enables a
Class to have the Class.Disjoint expression. |
static interface |
Class.Equivalent<O,J,D extends Class<O,J>>
Implementation of this interface enables a
Class to have the Class.Equivalent expression. |
static interface |
Class.Instance<O,J,Y,D extends Individual<O,Y>>
Implementation of this interface enables a
Class to have the Class.Instance expression. |
static interface |
Class.Restriction<O,J,Y>
Implementation of this interface enables a
Class to have the Class.Restriction expression. |
static interface |
Class.Sub<O,J,D extends Class<O,J>>
|
static interface |
Class.Super<O,J,D extends Class<O,J>>
Implementation of this interface enables a
Class to have the Class.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>
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, readAxioms, writeAxioms, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms