org.semanticweb.elk.owl.interfaces

Interface ElkFunctionalDataPropertyAxiom

All Superinterfaces:

ElkAxiom, ElkDataPropertyAxiom, ElkObject, ElkPropertyAxiom<ElkDataPropertyExpression>

public interface ElkFunctionalDataPropertyAxiom
extends ElkDataPropertyAxiom, ElkPropertyAxiom<ElkDataPropertyExpression>

Corresponds to a Functional Data Property Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch, "Yevgeny Kazakov"

Method Summary

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

accept

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

getProperty

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

accept

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

accept