public class BuilderTransitiveObjectProperty extends BaseObjectPropertyBuilder<OWLTransitiveObjectPropertyAxiom,BuilderTransitiveObjectProperty>
Constructor and Description |
---|
BuilderTransitiveObjectProperty(OWLDataFactory df) |
BuilderTransitiveObjectProperty(OWLTransitiveObjectPropertyAxiom expected,
OWLDataFactory df)
builder initialized from an existing object
|
Modifier and Type | Method and Description |
---|---|
OWLTransitiveObjectPropertyAxiom |
buildObject() |
getProperty, withProperty
applyChanges, withAnnotation, withAnnotations
@Inject public BuilderTransitiveObjectProperty(OWLDataFactory df)
df
- data factorypublic BuilderTransitiveObjectProperty(@Nonnull OWLTransitiveObjectPropertyAxiom expected, OWLDataFactory df)
expected
- the existing objectdf
- data factorypublic OWLTransitiveObjectPropertyAxiom buildObject()
buildObject
in interface Builder<OWLTransitiveObjectPropertyAxiom>
buildObject
in class BaseBuilder<OWLTransitiveObjectPropertyAxiom,BuilderTransitiveObjectProperty>
Copyright © 2020 The University of Manchester. All rights reserved.