org.semanticweb.owlapi.model

Interface OWLSubClassOfAxiomSetShortCut

All Known Subinterfaces:

OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLEquivalentClassesAxiom, OWLNaryClassAxiom, OWLNaryIndividualAxiom, OWLSameIndividualAxiom

All Known Implementing Classes:

OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLNaryClassAxiomImpl, OWLNaryIndividualAxiomImpl, OWLSameIndividualAxiomImpl

public interface OWLSubClassOfAxiomSetShortCut

A marker interface for an axiom that can be represented by a set of SubClassOf axioms that is equivalent to this axiom.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Method Summary

Modifier and Type	Method and Description
Set<OWLSubClassOfAxiom>	asOWLSubClassOfAxioms()

Method Detail

asOWLSubClassOfAxioms

@Nonnull
Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()

Returns:

the set of axioms equivalent to this expression