org.semanticweb.elk.owl.implementation
Class ElkDisjointDataPropertiesAxiomImpl

java.lang.Object
  extended by org.semanticweb.elk.owl.implementation.ElkObjectImpl
      extended by org.semanticweb.elk.owl.implementation.ElkObjectListObject<ElkDataPropertyExpression>
          extended by org.semanticweb.elk.owl.implementation.ElkDataPropertyExpressionListObject
              extended by org.semanticweb.elk.owl.implementation.ElkDisjointDataPropertiesAxiomImpl
All Implemented Interfaces:
ElkAxiom, ElkDataPropertyAxiom, ElkDisjointDataPropertiesAxiom, ElkObject

public class ElkDisjointDataPropertiesAxiomImpl
extends ElkDataPropertyExpressionListObject
implements ElkDisjointDataPropertiesAxiom

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

Author:
Markus Kroetzsch

Field Summary
 
Fields inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject
elkObjects
 
Method Summary
<O> O
accept(ElkAxiomVisitor<O> visitor)
           
<O> O
accept(ElkDataPropertyAxiomVisitor<O> visitor)
           
<O> O
accept(ElkObjectVisitor<O> visitor)
           
 
Methods inherited from class org.semanticweb.elk.owl.implementation.ElkDataPropertyExpressionListObject
getDataPropertyExpressions
 
Methods inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject
varArgsToList, varArgsToList
 
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.ElkDisjointDataPropertiesAxiom
getDataPropertyExpressions
 

Method Detail

accept

public <O> O accept(ElkDataPropertyAxiomVisitor<O> visitor)
Specified by:
accept in interface ElkDataPropertyAxiom

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


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.