Uses of Interface
org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom
Packages that use OWLObjectPropertyDomainAxiom
Package
Description
OBO macro package.
Binding package.
Debugging 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 OWLObjectPropertyDomainAxiom in org.obolibrary.macro
Methods in org.obolibrary.macro with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionAbstractMacroExpansionVisitor.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.apibinding
Methods in org.semanticweb.owlapi.apibinding that return OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionstatic OWLObjectPropertyDomainAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyDomain
(OWLObjectPropertyExpression property, OWLClassExpression domain) static OWLObjectPropertyDomainAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyDomain
(OWLObjectPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.debugging
Methods in org.semanticweb.owlapi.debugging with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
DebuggerClassExpressionGenerator.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.dlsyntax.renderer
Methods in org.semanticweb.owlapi.dlsyntax.renderer with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
DLSyntaxObjectRenderer.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.functional.renderer
Methods in org.semanticweb.owlapi.functional.renderer with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
FunctionalSyntaxObjectRenderer.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.krss2.renderer
Methods in org.semanticweb.owlapi.krss2.renderer with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
KRSSObjectRenderer.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.latex.renderer
Methods in org.semanticweb.owlapi.latex.renderer with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
LatexObjectVisitor.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.manchestersyntax.renderer
Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
ManchesterOWLSyntaxObjectRenderer.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.model
Fields in org.semanticweb.owlapi.model with type parameters of type OWLObjectPropertyDomainAxiomModifier and TypeFieldDescriptionstatic final AxiomType<OWLObjectPropertyDomainAxiom>
AxiomType.OBJECT_PROPERTY_DOMAIN
ObjectPropertyDomain.Methods in org.semanticweb.owlapi.model that return OWLObjectPropertyDomainAxiomMethods in org.semanticweb.owlapi.model that return types with arguments of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptiondefault Set<OWLObjectPropertyDomainAxiom>
OWLAxiomIndex.getObjectPropertyDomainAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyDomainAxiom
objects where the property is equal to the specified property.default Stream<OWLObjectPropertyDomainAxiom>
OWLAxiomIndex.objectPropertyDomainAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyDomainAxiom
objects where the property is equal to the specified property.Methods in org.semanticweb.owlapi.model with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptiondefault void
OWLLogicalAxiomVisitor.visit
(OWLObjectPropertyDomainAxiom axiom) visit OWLObjectPropertyDomainAxiom typedefault O
OWLLogicalAxiomVisitorEx.visit
(OWLObjectPropertyDomainAxiom axiom) visit OWLObjectPropertyDomainAxiom type -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.model.axiomproviders
Methods in org.semanticweb.owlapi.model.axiomproviders that return OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptiondefault OWLObjectPropertyDomainAxiom
DomainAxiomProvider.getOWLObjectPropertyDomainAxiom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression) DomainAxiomProvider.getOWLObjectPropertyDomainAxiom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.owlxml.renderer
Methods in org.semanticweb.owlapi.owlxml.renderer with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
OWLXMLObjectRenderer.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.profiles
Methods in org.semanticweb.owlapi.profiles with parameters of type OWLObjectPropertyDomainAxiom -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.rdf.model
Methods in org.semanticweb.owlapi.rdf.model with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
AbstractTranslator.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapi.util
Methods in org.semanticweb.owlapi.util that return OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionOWLObjectDesharer.visit
(OWLObjectPropertyDomainAxiom axiom) OWLObjectDuplicator.visit
(OWLObjectPropertyDomainAxiom ax) Methods in org.semanticweb.owlapi.util with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionAxiomSubjectProviderEx.visit
(OWLObjectPropertyDomainAxiom axiom) DelegatingObjectVisitorEx.visit
(OWLObjectPropertyDomainAxiom axiom) void
DLExpressivityChecker.visit
(OWLObjectPropertyDomainAxiom axiom) HornAxiomVisitorEx.visit
(OWLObjectPropertyDomainAxiom axiom) MaximumModalDepthFinder.visit
(OWLObjectPropertyDomainAxiom axiom) NNF.visit
(OWLObjectPropertyDomainAxiom axiom) void
OWLAnnotationPropertyTransformer.visit
(OWLObjectPropertyDomainAxiom ax) OWLObjectDesharer.visit
(OWLObjectPropertyDomainAxiom axiom) OWLObjectDuplicator.visit
(OWLObjectPropertyDomainAxiom ax) void
SimpleRenderer.visit
(OWLObjectPropertyDomainAxiom axiom) void
SimpleRendererDebug.visit
(OWLObjectPropertyDomainAxiom axiom) void
StructureWalker.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapitools.builders
Methods in org.semanticweb.owlapitools.builders that return OWLObjectPropertyDomainAxiomConstructors in org.semanticweb.owlapitools.builders with parameters of type OWLObjectPropertyDomainAxiomModifierConstructorDescriptionBuilder initialized from an existing object. -
Uses of OWLObjectPropertyDomainAxiom in org.semanticweb.owlapitools.decomposition
Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionvoid
SemanticLocalityChecker.visit
(OWLObjectPropertyDomainAxiom axiom) Domain(R) = C is tautology iff ER.Top [= Cvoid
SyntacticLocalityChecker.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in uk.ac.manchester.cs.owl.owlapi
Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLObjectPropertyDomainAxiomMethods in uk.ac.manchester.cs.owl.owlapi that return OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionOWLObjectPropertyDomainAxiomImpl.getAxiomWithoutAnnotations()
OWLDataFactoryImpl.getOWLObjectPropertyDomainAxiom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations) Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionInitVisitorFactory.InitVisitor.visit
(OWLObjectPropertyDomainAxiom axiom) -
Uses of OWLObjectPropertyDomainAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent
Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLObjectPropertyDomainAxiomModifier and TypeMethodDescriptionConcurrentOWLOntologyImpl.getObjectPropertyDomainAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.objectPropertyDomainAxioms
(OWLObjectPropertyExpression property)