org.semanticweb.elk.owl.interfaces
Interface ElkDataPropertyAssertionAxiom

All Superinterfaces:
ElkAssertionAxiom, ElkAxiom, ElkObject, ElkPropertyAssertionAxiom<ElkDataPropertyExpression,ElkIndividual,ElkLiteral>, ElkPropertyAxiom<ElkDataPropertyExpression>

public interface ElkDataPropertyAssertionAxiom
extends ElkPropertyAssertionAxiom<ElkDataPropertyExpression,ElkIndividual,ElkLiteral>

Corresponds to an positive data 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
 



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