OPPLOWLDifferentIndividualsAxiom(OPPLOWLDataFactory dataFactory,
InlineSet<org.semanticweb.owlapi.model.OWLIndividual> individuals,
Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
boolean shouldExpandAsPairWise) |
OPPLOWLDisjointClassesAxiom(OPPLOWLDataFactory dataFactory,
InlineSet<org.semanticweb.owlapi.model.OWLClassExpression> classExpressions,
Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
boolean shouldExpandAsPairWise) |
OPPLOWLDisjointDataPropertiesAxiom(OPPLOWLDataFactory dataFactory,
InlineSet<org.semanticweb.owlapi.model.OWLDataPropertyExpression> propertyExpressions,
Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
boolean shouldExpandAsPairWise) |
OPPLOWLDisjointObjectPropertiesAxiom(OPPLOWLDataFactory dataFactory,
InlineSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> propertyExpressions,
Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
boolean shouldExpandAsPairWise) |
OPPLOWLSameIndividualAxiom(OPPLOWLDataFactory dataFactory,
InlineSet<org.semanticweb.owlapi.model.OWLIndividual> individuals,
Set<? extends org.semanticweb.owlapi.model.OWLAnnotation> annotations,
boolean shouldExpandAsPairWise) |