org.semanticweb.elk.owl.interfaces

Interface ElkNegativeObjectPropertyAssertionAxiom

All Superinterfaces:

ElkAssertionAxiom, ElkAxiom, ElkObject, ElkPropertyAssertionAxiom<ElkObjectPropertyExpression,ElkIndividual,ElkIndividual>, ElkPropertyAxiom<ElkObjectPropertyExpression>

public interface ElkNegativeObjectPropertyAssertionAxiom
extends ElkPropertyAssertionAxiom<ElkObjectPropertyExpression,ElkIndividual,ElkIndividual>

Corresponds to an negative object 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