Uses of Interface
org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom
Packages that use OWLObjectPropertyRangeAxiom
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.
Violation classes.
RDF model package.
Utilities package.
Builders package.
OWL API reference implementation package.
Concurrent implementation package.
-
Uses of OWLObjectPropertyRangeAxiom in org.obolibrary.macro
Methods in org.obolibrary.macro with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionAbstractMacroExpansionVisitor.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.apibinding
Methods in org.semanticweb.owlapi.apibinding that return OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionstatic OWLObjectPropertyRangeAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyRange
(OWLObjectPropertyExpression property, OWLClassExpression range) static OWLObjectPropertyRangeAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyRange
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> a) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.debugging
Methods in org.semanticweb.owlapi.debugging with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
DebuggerClassExpressionGenerator.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.dlsyntax.renderer
Methods in org.semanticweb.owlapi.dlsyntax.renderer with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
DLSyntaxObjectRenderer.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.functional.renderer
Methods in org.semanticweb.owlapi.functional.renderer with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
FunctionalSyntaxObjectRenderer.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.krss2.renderer
Methods in org.semanticweb.owlapi.krss2.renderer with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
KRSSObjectRenderer.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.latex.renderer
Methods in org.semanticweb.owlapi.latex.renderer with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
LatexObjectVisitor.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.manchestersyntax.renderer
Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
ManchesterOWLSyntaxObjectRenderer.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.model
Fields in org.semanticweb.owlapi.model with type parameters of type OWLObjectPropertyRangeAxiomModifier and TypeFieldDescriptionstatic final AxiomType<OWLObjectPropertyRangeAxiom>
AxiomType.OBJECT_PROPERTY_RANGE
ObjectPropertyRange.Methods in org.semanticweb.owlapi.model that return OWLObjectPropertyRangeAxiomMethods in org.semanticweb.owlapi.model that return types with arguments of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptiondefault Set<OWLObjectPropertyRangeAxiom>
OWLAxiomIndex.getObjectPropertyRangeAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyRangeAxiom
objects where the property is equal to the specified property.default Stream<OWLObjectPropertyRangeAxiom>
OWLAxiomIndex.objectPropertyRangeAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyRangeAxiom
objects where the property is equal to the specified property.Methods in org.semanticweb.owlapi.model with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptiondefault void
OWLLogicalAxiomVisitor.visit
(OWLObjectPropertyRangeAxiom axiom) visit OWLObjectPropertyRangeAxiom typedefault O
OWLLogicalAxiomVisitorEx.visit
(OWLObjectPropertyRangeAxiom axiom) visit OWLObjectPropertyRangeAxiom type -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.model.axiomproviders
Methods in org.semanticweb.owlapi.model.axiomproviders that return OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptiondefault OWLObjectPropertyRangeAxiom
RangeAxiomProvider.getOWLObjectPropertyRangeAxiom
(OWLObjectPropertyExpression property, OWLClassExpression range) RangeAxiomProvider.getOWLObjectPropertyRangeAxiom
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.owlxml.renderer
Methods in org.semanticweb.owlapi.owlxml.renderer with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
OWLXMLObjectRenderer.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.profiles
Methods in org.semanticweb.owlapi.profiles with parameters of type OWLObjectPropertyRangeAxiom -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.profiles.violations
Methods in org.semanticweb.owlapi.profiles.violations that return OWLObjectPropertyRangeAxiomConstructors in org.semanticweb.owlapi.profiles.violations with parameters of type OWLObjectPropertyRangeAxiomModifierConstructorDescriptionLastPropertyInChainNotInImposedRange
(OWLOntology ontology, OWLSubPropertyChainOfAxiom axiom, OWLObjectPropertyRangeAxiom rangeAxiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.rdf.model
Methods in org.semanticweb.owlapi.rdf.model with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
AbstractTranslator.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapi.util
Methods in org.semanticweb.owlapi.util that return OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionOWLObjectDesharer.visit
(OWLObjectPropertyRangeAxiom axiom) OWLObjectDuplicator.visit
(OWLObjectPropertyRangeAxiom ax) Methods in org.semanticweb.owlapi.util with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionAxiomSubjectProviderEx.visit
(OWLObjectPropertyRangeAxiom axiom) DelegatingObjectVisitorEx.visit
(OWLObjectPropertyRangeAxiom axiom) void
DLExpressivityChecker.visit
(OWLObjectPropertyRangeAxiom axiom) HornAxiomVisitorEx.visit
(OWLObjectPropertyRangeAxiom axiom) NNF.visit
(OWLObjectPropertyRangeAxiom axiom) void
OWLAnnotationPropertyTransformer.visit
(OWLObjectPropertyRangeAxiom ax) OWLObjectDesharer.visit
(OWLObjectPropertyRangeAxiom axiom) OWLObjectDuplicator.visit
(OWLObjectPropertyRangeAxiom ax) void
SimpleRenderer.visit
(OWLObjectPropertyRangeAxiom axiom) void
SimpleRendererDebug.visit
(OWLObjectPropertyRangeAxiom axiom) void
StructureWalker.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapitools.builders
Methods in org.semanticweb.owlapitools.builders that return OWLObjectPropertyRangeAxiomConstructors in org.semanticweb.owlapitools.builders with parameters of type OWLObjectPropertyRangeAxiomModifierConstructorDescriptionBuilder initialized from an existing object. -
Uses of OWLObjectPropertyRangeAxiom in org.semanticweb.owlapitools.decomposition
Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionvoid
SemanticLocalityChecker.visit
(OWLObjectPropertyRangeAxiom axiom) Range(R) = C is tautology iff ER.~C is unsatisfiablevoid
SyntacticLocalityChecker.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in uk.ac.manchester.cs.owl.owlapi
Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLObjectPropertyRangeAxiomMethods in uk.ac.manchester.cs.owl.owlapi that return OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionOWLObjectPropertyRangeAxiomImpl.getAxiomWithoutAnnotations()
OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations) Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionInitVisitorFactory.InitVisitor.visit
(OWLObjectPropertyRangeAxiom axiom) -
Uses of OWLObjectPropertyRangeAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent
Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLObjectPropertyRangeAxiomModifier and TypeMethodDescriptionConcurrentOWLOntologyImpl.getObjectPropertyRangeAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.objectPropertyRangeAxioms
(OWLObjectPropertyExpression property)