Uses of Interface
org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom

Packages that use OWLNegativeObjectPropertyAssertionAxiom

Package	Description
org.semanticweb.owlapi.apibinding	Binding package.
org.semanticweb.owlapi.dlsyntax.renderer	DL syntax renderer.
org.semanticweb.owlapi.functional.renderer	Functional syntax parser and renderer.
org.semanticweb.owlapi.latex.renderer	LaTeX syntax renderer.
org.semanticweb.owlapi.manchestersyntax.renderer	Manchester OWL syntax parser and renderer.
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.model.providers	Provider interfaces.
org.semanticweb.owlapi.owlxml.renderer	OWL/XML syntax parser and renderer.
org.semanticweb.owlapi.profiles	Profile classes.
org.semanticweb.owlapi.rdf.model	RDF model package.
org.semanticweb.owlapi.search	Search utilities package.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.builders	Builders package.
org.semanticweb.owlapitools.decomposition
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package.
uk.ac.manchester.cs.owl.owlapi.concurrent	Concurrent implementation package.

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.apibinding

Methods in org.semanticweb.owlapi.apibinding that return OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
static OWLNegativeObjectPropertyAssertionAxiom	OWLFunctionalSyntaxFactory.NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target)
static OWLNegativeObjectPropertyAssertionAxiom	OWLFunctionalSyntaxFactory.NegativeObjectPropertyAssertion(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target, Collection<OWLAnnotation> a)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.dlsyntax.renderer

Methods in org.semanticweb.owlapi.dlsyntax.renderer with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	DLSyntaxObjectRenderer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.functional.renderer

Methods in org.semanticweb.owlapi.functional.renderer with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	FunctionalSyntaxObjectRenderer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.latex.renderer

Methods in org.semanticweb.owlapi.latex.renderer with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	LatexObjectVisitor.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.manchestersyntax.renderer

Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	ManchesterOWLSyntaxObjectRenderer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.model

Fields in org.semanticweb.owlapi.model with type parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Field	Description
static final AxiomType<OWLNegativeObjectPropertyAssertionAxiom>	AxiomType.NEGATIVE_OBJECT_PROPERTY_ASSERTION	NegativeObjectPropertyAssertion.

Methods in org.semanticweb.owlapi.model that return OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
OWLNegativeObjectPropertyAssertionAxiom	OWLNegativeObjectPropertyAssertionAxiom.getAxiomWithoutAnnotations()

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
default Set<OWLNegativeObjectPropertyAssertionAxiom>	OWLAxiomIndex.getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)	Gets the OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.
default Stream<OWLNegativeObjectPropertyAssertionAxiom>	OWLAxiomIndex.negativeObjectPropertyAssertionAxioms(OWLIndividual individual)	Gets the OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology that have the specified individual as the subject of the axiom.

Methods in org.semanticweb.owlapi.model with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
default void	OWLLogicalAxiomVisitor.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)	visit OWLNegativeObjectPropertyAssertionAxiom type
default O	OWLLogicalAxiomVisitorEx.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)	visit OWLNegativeObjectPropertyAssertionAxiom type

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.model.providers

Methods in org.semanticweb.owlapi.model.providers that return OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
default OWLNegativeObjectPropertyAssertionAxiom	ObjectAssertionProvider.getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object)
OWLNegativeObjectPropertyAssertionAxiom	ObjectAssertionProvider.getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Collection<OWLAnnotation> annotations)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.owlxml.renderer

Methods in org.semanticweb.owlapi.owlxml.renderer with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	OWLXMLObjectRenderer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	ProfileVisitor.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.rdf.model

Methods in org.semanticweb.owlapi.rdf.model with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	AbstractTranslator.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.search

Method parameters in org.semanticweb.owlapi.search with type arguments of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
static Stream<OWLIndividual>	Searcher.negValues(Stream<OWLNegativeObjectPropertyAssertionAxiom> axioms, OWLObjectPropertyExpression p)	Retrieve objects from a collection of negative assertions.

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapi.util

Methods in org.semanticweb.owlapi.util that return OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
OWLNegativeObjectPropertyAssertionAxiom	OWLObjectDesharer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLNegativeObjectPropertyAssertionAxiom	OWLObjectDuplicator.visit(OWLNegativeObjectPropertyAssertionAxiom ax)

Methods in org.semanticweb.owlapi.util with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
OWLObject	AxiomSubjectProviderEx.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
O	DelegatingObjectVisitorEx.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	DLExpressivityChecker.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	OWLAnnotationPropertyTransformer.visit(OWLNegativeObjectPropertyAssertionAxiom ax)
OWLNegativeObjectPropertyAssertionAxiom	OWLObjectDesharer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLNegativeObjectPropertyAssertionAxiom	OWLObjectDuplicator.visit(OWLNegativeObjectPropertyAssertionAxiom ax)
void	SimpleRenderer.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	SimpleRendererDebug.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
void	StructureWalker.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapitools.builders

Methods in org.semanticweb.owlapitools.builders that return OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
OWLNegativeObjectPropertyAssertionAxiom	BuilderNegativeObjectPropertyAssertion.buildObject()

Constructors in org.semanticweb.owlapitools.builders with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier	Constructor	Description
	BuilderNegativeObjectPropertyAssertion(OWLNegativeObjectPropertyAssertionAxiom expected, OWLDataFactory df)	Builder initialized from an existing object.

Uses of OWLNegativeObjectPropertyAssertionAxiom in org.semanticweb.owlapitools.decomposition

Methods in org.semanticweb.owlapitools.decomposition with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
void	SemanticLocalityChecker.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)	!R(i,j) holds if {i} [= \AR.!{j}=!\ER.{j}
void	SyntacticLocalityChecker.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in uk.ac.manchester.cs.owl.owlapi

Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Class	Description
class	OWLNegativeObjectPropertyAssertionAxiomImpl

Methods in uk.ac.manchester.cs.owl.owlapi that return OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
OWLNegativeObjectPropertyAssertionAxiom	OWLNegativeObjectPropertyAssertionAxiomImpl.getAxiomWithoutAnnotations()
OWLNegativeObjectPropertyAssertionAxiom	OWLDataFactoryImpl.getOWLNegativeObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Collection<OWLAnnotation> annotations)

Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
K	InitVisitorFactory.InitVisitor.visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Uses of OWLNegativeObjectPropertyAssertionAxiom in uk.ac.manchester.cs.owl.owlapi.concurrent

Methods in uk.ac.manchester.cs.owl.owlapi.concurrent that return types with arguments of type OWLNegativeObjectPropertyAssertionAxiom

Modifier and Type	Method	Description
Set<OWLNegativeObjectPropertyAssertionAxiom>	ConcurrentOWLOntologyImpl.getNegativeObjectPropertyAssertionAxioms(OWLIndividual owlIndividual)
Stream<OWLNegativeObjectPropertyAssertionAxiom>	ConcurrentOWLOntologyImpl.negativeObjectPropertyAssertionAxioms(OWLIndividual individual)