org.semanticweb.elk.owl.interfaces
Interface ElkDataPropertyAssertionAxiom

All Superinterfaces:

ElkAssertionAxiom, ElkAxiom, ElkObject, ElkPropertyAssertionAxiom<ElkDataPropertyExpression,ElkIndividual,ElkLiteral>, ElkPropertyAxiom<ElkDataPropertyExpression>

public interface ElkDataPropertyAssertionAxiom
extends ElkPropertyAssertionAxiom<ElkDataPropertyExpression,ElkIndividual,ElkLiteral>

Corresponds to an positive data property assertion axiom in the OWL 2 specification.

Author:

Markus Kroetzsch, "Yevgeny Kazakov"

Method Summary

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

getObject, getSubject

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

getProperty

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