org.semanticweb.elk.owl.interfaces

Interface ElkInverseFunctionalObjectPropertyAxiom

All Superinterfaces:

ElkAxiom, ElkObject, ElkObjectPropertyAxiom, ElkPropertyAxiom<ElkObjectPropertyExpression>

public interface ElkInverseFunctionalObjectPropertyAxiom
extends ElkObjectPropertyAxiom, ElkPropertyAxiom<ElkObjectPropertyExpression>

Corresponds to an Inverse Functional Object Property Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch, "Yevgeny Kazakov"

Method Summary

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

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