org.semanticweb.elk.owl.implementation

Class ElkDisjointObjectPropertiesAxiomImpl

java.lang.Object

org.semanticweb.elk.owl.predefined.AbstractElkObject

org.semanticweb.elk.owl.implementation.ElkObjectImpl

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

org.semanticweb.elk.owl.implementation.ElkObjectPropertyExpressionListObject

org.semanticweb.elk.owl.implementation.ElkDisjointObjectPropertiesAxiomImpl

All Implemented Interfaces:

ElkAxiom, ElkDisjointObjectPropertiesAxiom, ElkObject, ElkObjectPropertyAxiom

public class ElkDisjointObjectPropertiesAxiomImpl
extends ElkObjectPropertyExpressionListObject
implements ElkDisjointObjectPropertiesAxiom

Corresponds to an Disjoint Object Properties Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Nested Class Summary

Nested classes/interfaces inherited from interface org.semanticweb.elk.owl.interfaces.ElkDisjointObjectPropertiesAxiom

ElkDisjointObjectPropertiesAxiom.Factory

Method Summary

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

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

getObjectPropertyExpressions

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

getObjects, varArgsToList, varArgsToList

Methods inherited from class org.semanticweb.elk.owl.predefined.AbstractElkObject

equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getObjectPropertyExpressions

Method Detail

accept

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

Specified by:

accept in interface ElkObjectPropertyAxiom

accept

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

Specified by:

accept in interface ElkAxiom

accept

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

Specified by:

accept in interface ElkObject

accept

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

Specified by:

accept in interface ElkDisjointObjectPropertiesAxiom