org.coode.oppl.querymatching

Interface AxiomQuery

All Superinterfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor

All Known Implementing Classes:

AssertedSolvabilityBasedAxiomQuery, AssertedTreeSearchAxiomQuery, AssertedTreeSearchSingleAxiomQuery, InferredSolvabilityBasedTreeSearchAxiomQuery, InferredTreeSearchAxiomQuery

public interface AxiomQuery
extends org.semanticweb.owlapi.model.OWLAxiomVisitor

Verifies whether an axiom holds in the ontology

Author:

Luigi Iannone

Method Summary

Modifier and Type	Method and Description
Set<BindingNode>	getLeaves()

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit, visit, visit, visit

Method Detail

getLeaves

Set<BindingNode> getLeaves()

Returns:

leaves