org.coode.oppl.querymatching

Interface AxiomQuery

All Superinterfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor, org.semanticweb.owlapi.model.OWLVisitorBase, org.semanticweb.owlapi.model.SWRLRuleVisitorBase

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() Deprecated. prefer the stream version
java.util.stream.Stream<BindingNode>	leaves()

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

visit, visit

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

visit, visit, visit, visit

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

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.SWRLRuleVisitorBase

visit

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

doDefault, getDefaultReturnValue, handleDefault

Method Detail

getLeaves

@Deprecated
Set<BindingNode> getLeaves()

Deprecated. prefer the stream version

Returns:

leaves

leaves

java.util.stream.Stream<BindingNode> leaves()

Returns:

leaves