Axiom (Hydra Java API)

java.lang.Object
- hydra.owl.syntax.Axiom

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Axiom>

Direct Known Subclasses:

Axiom.AnnotationAxiom, Axiom.Assertion, Axiom.ClassAxiom, Axiom.DataPropertyAxiom, Axiom.DatatypeDefinition, Axiom.Declaration, Axiom.HasKey, Axiom.ObjectPropertyAxiom
```
public abstract class Axiom
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<Axiom>
```
See https://www.w3.org/TR/owl2-syntax/#Axioms

See Also:

Serialized Form

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`Axiom.AnnotationAxiom`
`static class`	`Axiom.Assertion`
`static class`	`Axiom.ClassAxiom`
`static class`	`Axiom.DataPropertyAxiom`
`static class`	`Axiom.DatatypeDefinition`
`static class`	`Axiom.Declaration`
`static class`	`Axiom.HasKey`
`static class`	`Axiom.ObjectPropertyAxiom`
`static interface`	`Axiom.PartialVisitor<R>`	Partial visitor over `Axiom` with a default `Axiom.PartialVisitor.otherwise(hydra.owl.syntax.Axiom)` branch.
`static interface`	`Axiom.Visitor<R>`	Visitor over `Axiom`.

Field Summary

Fields
Modifier and Type	Field	Description
`static Name`	`ANNOTATION_AXIOM`	Name of the `hydra.owl.syntax.Axiom.annotationAxiom` field.
`static Name`	`ASSERTION`	Name of the `hydra.owl.syntax.Axiom.assertion` field.
`static Name`	`CLASS_AXIOM`	Name of the `hydra.owl.syntax.Axiom.classAxiom` field.
`static Name`	`DATA_PROPERTY_AXIOM`	Name of the `hydra.owl.syntax.Axiom.dataPropertyAxiom` field.
`static Name`	`DATATYPE_DEFINITION`	Name of the `hydra.owl.syntax.Axiom.datatypeDefinition` field.
`static Name`	`DECLARATION`	Name of the `hydra.owl.syntax.Axiom.declaration` field.
`static Name`	`HAS_KEY`	Name of the `hydra.owl.syntax.Axiom.hasKey` field.
`static Name`	`OBJECT_PROPERTY_AXIOM`	Name of the `hydra.owl.syntax.Axiom.objectPropertyAxiom` field.
`static Name`	`TYPE_`	Name of the `hydra.owl.syntax.Axiom` type.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type Method Description

abstract <R> R accept(Axiom.Visitor<R> visitor)
Dispatch to visitor.
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
- Methods inherited from interface java.lang.Comparable
  compareTo

- Field Detail
  - TYPE_
```
public static final Name TYPE_
```
    Name of the hydra.owl.syntax.Axiom type.
  - ANNOTATION_AXIOM
```
public static final Name ANNOTATION_AXIOM
```
    Name of the hydra.owl.syntax.Axiom.annotationAxiom field.
  - ASSERTION
```
public static final Name ASSERTION
```
    Name of the hydra.owl.syntax.Axiom.assertion field.
  - CLASS_AXIOM
```
public static final Name CLASS_AXIOM
```
    Name of the hydra.owl.syntax.Axiom.classAxiom field.
  - DATA_PROPERTY_AXIOM
```
public static final Name DATA_PROPERTY_AXIOM
```
    Name of the hydra.owl.syntax.Axiom.dataPropertyAxiom field.
  - DATATYPE_DEFINITION
```
public static final Name DATATYPE_DEFINITION
```
    Name of the hydra.owl.syntax.Axiom.datatypeDefinition field.
  - DECLARATION
```
public static final Name DECLARATION
```
    Name of the hydra.owl.syntax.Axiom.declaration field.
  - HAS_KEY
```
public static final Name HAS_KEY
```
    Name of the hydra.owl.syntax.Axiom.hasKey field.
  - OBJECT_PROPERTY_AXIOM
```
public static final Name OBJECT_PROPERTY_AXIOM
```
    Name of the hydra.owl.syntax.Axiom.objectPropertyAxiom field.
- Method Detail
  - accept
```
public abstract <R> R accept(Axiom.Visitor<R> visitor)
```
    Dispatch to visitor.