Uses of Interface
org.semanticweb.owlapi.model.OWLDisjointClassesAxiom
Packages that use OWLDisjointClassesAxiom
Package
Description
OBO macro package.
Binding package.
DL syntax renderer.
Functional syntax parser and renderer.
Package structure renamed from de.uulm.ecs.ai.owlapi.krssrenderer.
LaTeX syntax renderer.
Manchester OWL syntax parser and renderer.
Main API classes.
Axiom provider classes.
OWL/XML syntax parser and renderer.
Profile classes.
RDF model package.
Utilities package.
Builders package.
OWL API reference implementation package.
Concurrent implementation package.
-
Uses of OWLDisjointClassesAxiom in org.obolibrary.macro
Methods in org.obolibrary.macro with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionAbstractMacroExpansionVisitor.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.apibinding
Methods in org.semanticweb.owlapi.apibinding that return OWLDisjointClassesAxiomModifier and TypeMethodDescriptionstatic OWLDisjointClassesAxiom
OWLFunctionalSyntaxFactory.DisjointClasses
(Collection<? extends OWLClassExpression> classExpressions) static OWLDisjointClassesAxiom
OWLFunctionalSyntaxFactory.DisjointClasses
(Collection<OWLAnnotation> a, OWLClassExpression... classExpressions) static OWLDisjointClassesAxiom
OWLFunctionalSyntaxFactory.DisjointClasses
(Collection<OWLClassExpression> classExpressions, Collection<OWLAnnotation> a) static OWLDisjointClassesAxiom
OWLFunctionalSyntaxFactory.DisjointClasses
(OWLClassExpression... classExpressions) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.dlsyntax.renderer
Methods in org.semanticweb.owlapi.dlsyntax.renderer with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionvoid
DLSyntaxObjectRenderer.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.functional.renderer
Methods in org.semanticweb.owlapi.functional.renderer with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionvoid
FunctionalSyntaxObjectRenderer.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.krss2.renderer
Methods in org.semanticweb.owlapi.krss2.renderer with parameters of type OWLDisjointClassesAxiom -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.latex.renderer
Methods in org.semanticweb.owlapi.latex.renderer with parameters of type OWLDisjointClassesAxiom -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.manchestersyntax.renderer
Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionvoid
ManchesterOWLSyntaxObjectRenderer.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.model
Fields in org.semanticweb.owlapi.model with type parameters of type OWLDisjointClassesAxiomModifier and TypeFieldDescriptionstatic final AxiomType
<OWLDisjointClassesAxiom> AxiomType.DISJOINT_CLASSES
DisjointClasses.Methods in org.semanticweb.owlapi.model that return OWLDisjointClassesAxiomModifier and TypeMethodDescriptionOWLDisjointClassesAxiom.getAxiomWithoutAnnotations()
OWLDisjointUnionAxiom.getOWLDisjointClassesAxiom()
Gets the part of this axiom that corresponds to anDisjointClasses
axiom.Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionOWLDisjointClassesAxiom.asPairwiseAxioms()
default Stream
<OWLDisjointClassesAxiom> OWLAxiomIndex.disjointClassesAxioms
(OWLClass cls) Gets the stream of disjoint class axioms that contain the specified class as an operand.default Set
<OWLDisjointClassesAxiom> OWLAxiomIndex.getDisjointClassesAxioms
(OWLClass cls) Gets the set of disjoint class axioms that contain the specified class as an operand.OWLDisjointClassesAxiom.splitToAnnotatedPairs()
Methods in org.semanticweb.owlapi.model with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptiondefault void
OWLLogicalAxiomVisitor.visit
(OWLDisjointClassesAxiom axiom) visit OWLDisjointClassesAxiom typedefault O
OWLLogicalAxiomVisitorEx.visit
(OWLDisjointClassesAxiom axiom) visit OWLDisjointClassesAxiom type -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.model.axiomproviders
Methods in org.semanticweb.owlapi.model.axiomproviders that return OWLDisjointClassesAxiomModifier and TypeMethodDescriptiondefault OWLDisjointClassesAxiom
DisjointAxiomProvider.getOWLDisjointClassesAxiom
(Collection<? extends OWLClassExpression> classExpressions) DisjointAxiomProvider.getOWLDisjointClassesAxiom
(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations) default OWLDisjointClassesAxiom
DisjointAxiomProvider.getOWLDisjointClassesAxiom
(Stream<? extends OWLClassExpression> classExpressions) default OWLDisjointClassesAxiom
DisjointAxiomProvider.getOWLDisjointClassesAxiom
(Stream<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations) default OWLDisjointClassesAxiom
DisjointAxiomProvider.getOWLDisjointClassesAxiom
(OWLClassExpression... classExpressions) default OWLDisjointClassesAxiom
DisjointAxiomProvider.getOWLDisjointClassesAxiom
(OWLClassExpression classA, OWLClassExpression classB, Collection<OWLAnnotation> annotations) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.owlxml.renderer
Methods in org.semanticweb.owlapi.owlxml.renderer with parameters of type OWLDisjointClassesAxiom -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.profiles
Methods in org.semanticweb.owlapi.profiles with parameters of type OWLDisjointClassesAxiom -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.rdf.model
Methods in org.semanticweb.owlapi.rdf.model with parameters of type OWLDisjointClassesAxiom -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapi.util
Methods in org.semanticweb.owlapi.util that return OWLDisjointClassesAxiomModifier and TypeMethodDescriptionOWLObjectDesharer.visit
(OWLDisjointClassesAxiom axiom) OWLObjectDuplicator.visit
(OWLDisjointClassesAxiom ax) Methods in org.semanticweb.owlapi.util with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionAxiomSubjectProviderEx.visit
(OWLDisjointClassesAxiom axiom) DelegatingObjectVisitorEx.visit
(OWLDisjointClassesAxiom axiom) void
DLExpressivityChecker.visit
(OWLDisjointClassesAxiom axiom) HornAxiomVisitorEx.visit
(OWLDisjointClassesAxiom axiom) MaximumModalDepthFinder.visit
(OWLDisjointClassesAxiom axiom) NNF.visit
(OWLDisjointClassesAxiom axiom) void
OWLAnnotationPropertyTransformer.visit
(OWLDisjointClassesAxiom ax) OWLObjectDesharer.visit
(OWLDisjointClassesAxiom axiom) OWLObjectDuplicator.visit
(OWLDisjointClassesAxiom ax) void
SimpleRenderer.visit
(OWLDisjointClassesAxiom axiom) void
SimpleRendererDebug.visit
(OWLDisjointClassesAxiom axiom) void
StructureWalker.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapitools.builders
Methods in org.semanticweb.owlapitools.builders that return OWLDisjointClassesAxiomConstructors in org.semanticweb.owlapitools.builders with parameters of type OWLDisjointClassesAxiomModifierConstructorDescriptionBuilderDisjointClasses
(OWLDisjointClassesAxiom expected, OWLDataFactory df) Builder initialized from an existing object. -
Uses of OWLDisjointClassesAxiom in org.semanticweb.owlapitools.decomposition
Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionvoid
SemanticLocalityChecker.visit
(OWLDisjointClassesAxiom axiom) void
SyntacticLocalityChecker.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in uk.ac.manchester.cs.owl.owlapi
Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLDisjointClassesAxiomMethods in uk.ac.manchester.cs.owl.owlapi that return OWLDisjointClassesAxiomModifier and TypeMethodDescriptionOWLDisjointClassesAxiomImpl.getAxiomWithoutAnnotations()
OWLDataFactoryImpl.getOWLDisjointClassesAxiom
(Collection<? extends OWLClassExpression> classExpressions, Collection<OWLAnnotation> annotations) OWLDisjointUnionAxiomImpl.getOWLDisjointClassesAxiom()
Methods in uk.ac.manchester.cs.owl.owlapi that return types with arguments of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionOWLDisjointClassesAxiomImpl.asPairwiseAxioms()
OWLDisjointClassesAxiomImpl.splitToAnnotatedPairs()
Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionInitVisitorFactory.InitCollectionVisitor.visit
(OWLDisjointClassesAxiom axiom) -
Uses of OWLDisjointClassesAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent
Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLDisjointClassesAxiomModifier and TypeMethodDescriptionConcurrentOWLOntologyImpl.disjointClassesAxioms
(OWLClass cls) ConcurrentOWLOntologyImpl.getDisjointClassesAxioms
(OWLClass owlClass)