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

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