org.semanticweb.elk.owl.interfaces
Interface ElkObjectPropertyDomainAxiom

All Superinterfaces:

ElkAxiom, ElkObject, ElkObjectPropertyAxiom, ElkPropertyAxiom<ElkObjectPropertyExpression>, ElkPropertyDomainAxiom<ElkObjectPropertyExpression,ElkClassExpression>

public interface ElkObjectPropertyDomainAxiom
extends ElkObjectPropertyAxiom, ElkPropertyDomainAxiom<ElkObjectPropertyExpression,ElkClassExpression>

Corresponds to an Object Property Domain 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.ElkPropertyDomainAxiom

getDomain

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