org.semanticweb.elk.owl.interfaces

Interface ElkClassAssertionAxiom

All Superinterfaces:

ElkAssertionAxiom, ElkAxiom, ElkObject

public interface ElkClassAssertionAxiom
extends ElkAssertionAxiom

Corresponds to an class assertion axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
ElkClassExpression	getClassExpression() Get the class expression that this axiom refers to.
ElkIndividual	getIndividual() Get the individual that this axiom refers to.

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAssertionAxiom

accept

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom

accept

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject

accept

Method Detail

getIndividual

ElkIndividual getIndividual()

Get the individual that this axiom refers to.

Returns:

object property expression

getClassExpression

ElkClassExpression getClassExpression()

Get the class expression that this axiom refers to.

Returns:

class expression