org.semanticweb.elk.owl.interfaces

Interface ElkSubClassOfAxiom

All Superinterfaces:

ElkAxiom, ElkClassAxiom, ElkObject

public interface ElkSubClassOfAxiom
extends ElkClassAxiom

Corresponds to a Subclass Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Method Summary

Methods

Modifier and Type	Method and Description
ElkClassExpression	getSubClassExpression() Get the sub class expression of this axiom.
ElkClassExpression	getSuperClassExpression() Get the super class expression of this axiom.

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

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

getSubClassExpression

ElkClassExpression getSubClassExpression()

Get the sub class expression of this axiom.

Returns:

sub class expression

getSuperClassExpression

ElkClassExpression getSuperClassExpression()

Get the super class expression of this axiom.

Returns:

super class expression