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