org.semanticweb.elk.owl.implementation

Class ElkIrreflexiveObjectPropertyAxiomImpl

java.lang.Object

org.semanticweb.elk.owl.implementation.ElkObjectImpl

org.semanticweb.elk.owl.implementation.ElkPropertyAxiomImpl<ElkObjectPropertyExpression>

org.semanticweb.elk.owl.implementation.ElkIrreflexiveObjectPropertyAxiomImpl

All Implemented Interfaces:

ElkAxiom, ElkIrreflexiveObjectPropertyAxiom, ElkObject, ElkObjectPropertyAxiom, ElkPropertyAxiom<ElkObjectPropertyExpression>

public class ElkIrreflexiveObjectPropertyAxiomImpl
extends ElkPropertyAxiomImpl<ElkObjectPropertyExpression>
implements ElkIrreflexiveObjectPropertyAxiom

Implementation of ElkIrreflexiveObjectPropertyAxiom.

Author:

Markus Kroetzsch, "Yevgeny Kazakov"

Field Summary

Fields inherited from class org.semanticweb.elk.owl.implementation.ElkPropertyAxiomImpl

property

Method Summary

Methods

Modifier and Type	Method and Description
<O> O	accept(ElkAxiomVisitor<O> visitor)
<O> O	accept(ElkObjectPropertyAxiomVisitor<O> visitor)

Methods inherited from class org.semanticweb.elk.owl.implementation.ElkPropertyAxiomImpl

accept, getProperty

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getProperty

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

accept

Method Detail

accept

public <O> O accept(ElkAxiomVisitor<O> visitor)

Specified by:

accept in interface ElkAxiom

Specified by:

accept in class ElkPropertyAxiomImpl<ElkObjectPropertyExpression>

accept

public <O> O accept(ElkObjectPropertyAxiomVisitor<O> visitor)

Specified by:

accept in interface ElkObjectPropertyAxiom