Package 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
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
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
-
Method Details
-
asOWLSubClassOfAxioms
Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()- Returns:
- the set of axioms equivalent to this expression
-