org.semanticweb.elk.owl.interfaces
Interface ElkPropertyAxiom<P>

Type Parameters:
P - the type of the property of this axiom
All Superinterfaces:
ElkAxiom, ElkObject
All Known Subinterfaces:
ElkAnnotationPropertyDomainAxiom, ElkAnnotationPropertyRangeAxiom, ElkAsymmetricObjectPropertyAxiom, ElkDataPropertyAssertionAxiom, ElkDataPropertyDomainAxiom, ElkDataPropertyRangeAxiom, ElkFunctionalDataPropertyAxiom, ElkFunctionalObjectPropertyAxiom, ElkInverseFunctionalObjectPropertyAxiom, ElkIrreflexiveObjectPropertyAxiom, ElkNegativeDataPropertyAssertionAxiom, ElkNegativeObjectPropertyAssertionAxiom, ElkObjectPropertyAssertionAxiom, ElkObjectPropertyDomainAxiom, ElkObjectPropertyRangeAxiom, ElkPropertyAssertionAxiom<P,S,O>, ElkPropertyDomainAxiom<P,D>, ElkPropertyRangeAxiom<P,R>, ElkReflexiveObjectPropertyAxiom, ElkSymmetricObjectPropertyAxiom, ElkTransitiveObjectPropertyAxiom

public interface ElkPropertyAxiom<P>
extends ElkAxiom

A generic interface for axioms with data properties or object properties.

Author:
"Yevgeny Kazakov"

Method Summary
 P getProperty()
          Get the property of this axiom.
 
Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom
accept
 
Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject
accept
 

Method Detail

getProperty

P getProperty()
Get the property of this axiom.

Returns:
the property of this axiom


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