Modifier and Type | Method and Description |
---|---|
static OWLObjectPropertyAssertionAxiom |
OWLFunctionalSyntaxFactory.ObjectPropertyAssertion(OWLObjectPropertyExpression property,
OWLIndividual source,
OWLIndividual target) |
static OWLObjectPropertyAssertionAxiom |
OWLFunctionalSyntaxFactory.ObjectPropertyAssertion(OWLObjectPropertyExpression property,
OWLIndividual source,
OWLIndividual target,
Collection<OWLAnnotation> a) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Field and Description |
---|---|
static AxiomType<OWLObjectPropertyAssertionAxiom> |
AxiomType.OBJECT_PROPERTY_ASSERTION
ObjectPropertyAssertion.
|
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyAssertionAxiom |
OWLObjectPropertyAssertionAxiom.getAxiomWithoutAnnotations() |
OWLObjectPropertyAssertionAxiom |
OWLObjectPropertyAssertionAxiom.getSimplified()
Gets a simplified version of this object property axiom.
|
Modifier and Type | Method and Description |
---|---|
default Set<OWLObjectPropertyAssertionAxiom> |
OWLAxiomIndex.getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Stream<OWLObjectPropertyAssertionAxiom> |
OWLAxiomIndex.objectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
Modifier and Type | Method and Description |
---|---|
default O |
OWLLogicalAxiomVisitorEx.visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
default void |
OWLLogicalAxiomVisitor.visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
Modifier and Type | Method and Description |
---|---|
default OWLObjectPropertyAssertionAxiom |
ObjectAssertionProvider.getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object) |
OWLObjectPropertyAssertionAxiom |
ObjectAssertionProvider.getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
static Stream<OWLIndividual> |
Searcher.values(Stream<OWLObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve objects from a collection of assertions.
|
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyAssertionAxiom |
OWLObjectDuplicator.visit(OWLObjectPropertyAssertionAxiom ax) |
OWLObjectPropertyAssertionAxiom |
OWLObjectDesharer.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
StructureWalker.visit(OWLObjectPropertyAssertionAxiom axiom) |
void |
SimpleRendererDebug.visit(OWLObjectPropertyAssertionAxiom axiom) |
void |
SimpleRenderer.visit(OWLObjectPropertyAssertionAxiom axiom) |
OWLObjectPropertyAssertionAxiom |
OWLObjectDuplicator.visit(OWLObjectPropertyAssertionAxiom ax) |
OWLObjectPropertyAssertionAxiom |
OWLObjectDesharer.visit(OWLObjectPropertyAssertionAxiom axiom) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLObjectPropertyAssertionAxiom axiom) |
void |
OWLAnnotationPropertyTransformer.visit(OWLObjectPropertyAssertionAxiom ax) |
O |
DelegatingObjectVisitorEx.visit(OWLObjectPropertyAssertionAxiom axiom) |
void |
DLExpressivityChecker.visit(OWLObjectPropertyAssertionAxiom axiom) |
OWLObject |
AxiomSubjectProviderEx.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyAssertionAxiom |
BuilderObjectPropertyAssertion.buildObject() |
Constructor and Description |
---|
BuilderObjectPropertyAssertion(OWLObjectPropertyAssertionAxiom expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Modifier and Type | Method and Description |
---|---|
void |
SyntacticLocalityChecker.visit(OWLObjectPropertyAssertionAxiom axiom) |
void |
SemanticLocalityChecker.visit(OWLObjectPropertyAssertionAxiom axiom)
R(i,j) holds if {i} [= \ER.{j}
|
Modifier and Type | Class and Description |
---|---|
class |
OWLObjectPropertyAssertionAxiomImpl |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyAssertionAxiom |
OWLObjectPropertyAssertionAxiomImpl.getAxiomWithoutAnnotations() |
OWLObjectPropertyAssertionAxiom |
OWLDataFactoryImpl.getOWLObjectPropertyAssertionAxiom(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLIndividual object,
Collection<OWLAnnotation> annotations) |
OWLObjectPropertyAssertionAxiom |
OWLObjectPropertyAssertionAxiomImpl.getSimplified() |
Modifier and Type | Method and Description |
---|---|
K |
InitVisitorFactory.InitVisitor.visit(OWLObjectPropertyAssertionAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
Set<OWLObjectPropertyAssertionAxiom> |
ConcurrentOWLOntologyImpl.getObjectPropertyAssertionAxioms(OWLIndividual owlIndividual) |
Stream<OWLObjectPropertyAssertionAxiom> |
ConcurrentOWLOntologyImpl.objectPropertyAssertionAxioms(OWLIndividual individual) |
Copyright © 2020 The University of Manchester. All rights reserved.