public interface OWLNaryAxiom extends OWLAxiom
Modifier and Type | Method and Description |
---|---|
Set<? extends OWLNaryAxiom> |
asPairwiseAxioms()
Gets this axiom as a set of pairwise axioms.
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
Set<? extends OWLNaryAxiom> asPairwiseAxioms()
Copyright © 2017 The University of Manchester. All Rights Reserved.