Package com.stardog.stark

# Interface Axiom

All Superinterfaces:
  `Iterable<Statement>`

All Known Subinterfaces:
  `Axiom.ClassExpression`, `Axiom.Datatype`, `Axiom.NamedDatatype`, `Axiom.PropertyExpression`

All Known Implementing Classes:
  `com.stardog.stark.impl.AxiomImpl`, `Axioms.ExpressionList`, `Axioms.RestrictedDatatype`

public interface Axiom extends Iterable<Statement>

An OWL Axiom

Axioms can be represented as their corresponding RDF triples wrt to the OWL to RDF mapping.

Since:
  1.0
Version:
  1.0
Author:
  Michael Grove
See Also:
  - OWL to RDF Mapping

- ## Nested Class Summary

  Nested Classes
  Modifier and Type
  Interface
  Description
  `static interface`
  `Axiom.ClassExpression`
  An expression about a class
  `static interface`
  `Axiom.Datatype`
  A datatype expression
  `static interface`
  `Axiom.NamedDatatype`
  A named datatype expression
  `static interface`
  `Axiom.PropertyExpression`
  An expression about a property

- ## Method Summary

  Modifier and Type
  Method
  Description
  `Resource`
  `mainNode()`
  The subject of the main triple
  `default Set<Statement>`
  `toGraph()`
  The Axiom as one or more RDF statements

  ### Methods inherited from interface java.lang.Iterable

  `forEach, iterator, spliterator`

- ## Method Details

  - ### mainNode

    @Nullable Resource mainNode()
    The subject of the main triple
    Returns:
      the main node
    See Also:
      - Table 1 in Translation of Axioms
      - Main Triple

  - ### toGraph

    default Set<Statement> toGraph()
    The Axiom as one or more RDF statements
    Returns:
      the Axiom as RDF