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

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 12-Jan-2010

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

Method Summary

java.util.Set<OWLSubClassOfAxiom>

asOWLSubClassOfAxioms()

Method Detail

asOWLSubClassOfAxioms

java.util.Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()