Modifier and Type | Method and Description |
---|---|
static OWLSubPropertyChainOfAxiom |
OWLFunctionalSyntaxFactory.SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty) |
static OWLSubPropertyChainOfAxiom |
OWLFunctionalSyntaxFactory.SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> a) |
Constructor and Description |
---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Creates a composite change that will add a closure axiom for a given
class along a specified property.
|
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
DLSyntaxParser.parseObjectPropertyId() |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
OWLFunctionalSyntaxParser.InverseObjectProperty() |
OWLObjectPropertyExpression |
OWLFunctionalSyntaxParser.ObjectPropertyExpression() |
Modifier and Type | Method and Description |
---|---|
Set<OWLObjectPropertyExpression> |
OWLFunctionalSyntaxParser.ObjectPropertySet() |
List<OWLObjectPropertyExpression> |
OWLFunctionalSyntaxParser.SubObjectPropertyChain() |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
KRSS2Parser.RoleExpression() |
Modifier and Type | Method and Description |
---|---|
List<OWLObjectPropertyExpression> |
KRSS2Parser.propertyChain() |
Modifier and Type | Method and Description |
---|---|
List<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParserImpl.parseObjectPropertyChain() |
Set<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParserImpl.parseObjectPropertyList() |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLObjectPropertyExpression property) |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLObjectInverseOf
Represents a
ObjectInverseOf Represents the inverse of a property expression.
|
interface |
OWLObjectProperty
Represents an
Object
Property in the OWL 2 Specification.
|
Modifier and Type | Method and Description |
---|---|
default OWLObjectPropertyExpression |
OWLPropertyExpression.asObjectPropertyExpression() |
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiom.getFirstProperty() |
OWLObjectPropertyExpression |
OWLObjectInverseOf.getInverse()
Gets the property expression that this is the inverse of.
|
OWLObjectPropertyExpression |
OWLObjectPropertyExpression.getInverseProperty()
Obtains the property that corresponds to the inverse of this property.
|
default OWLObjectPropertyExpression |
OWLObjectInverseOf.getInverseProperty() |
OWLObjectPropertyExpression |
SWRLObjectPropertyAtom.getPredicate() |
OWLObjectPropertyExpression |
OWLObjectRestriction.getProperty()
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
OWLObjectPropertyExpression |
OWLObjectHasSelf.getProperty() |
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiom.getSecondProperty() |
default OWLObjectPropertyExpression |
OWLObjectPropertyExpression.getSimplified()
Deprecated.
Since it is not legal to apply ObjectInverseOf to anything other than an Object
Property, all object properties are always in the simplified form.
|
OWLObjectPropertyExpression |
OWLSubPropertyChainOfAxiom.getSuperProperty()
Gets the super property of this axiom.
|
Modifier and Type | Method and Description |
---|---|
default Set<OWLObjectPropertyExpression> |
OWLHasKeyAxiom.getObjectPropertyExpressions()
Gets the set of object property expressions that make up the key.
|
List<OWLObjectPropertyExpression> |
OWLSubPropertyChainOfAxiom.getPropertyChain()
Gets the chain of properties that represents the subproperty in this axiom.
|
default Stream<OWLObjectPropertyExpression> |
OWLHasKeyAxiom.objectPropertyExpressions()
Gets the stream of object property expressions that make up the key.
|
Modifier and Type | Method and Description |
---|---|
default Stream<OWLAsymmetricObjectPropertyAxiom> |
OWLAxiomIndex.asymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom objects contained in this ontology that
make the specified object property asymmetric. |
Stream<OWLObjectPropertyAxiom> |
OWLAxiomCollection.axioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
default Stream<OWLObjectPropertyAxiom> |
OWLAxiomCollection.axioms(OWLObjectPropertyExpression property,
Imports imports)
Gets the axioms that form the definition/description of an object property.
|
default Stream<OWLDisjointObjectPropertiesAxiom> |
OWLAxiomIndex.disjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom objects that make the specified property
disjoint with some other object property expression(s). |
default Stream<OWLEquivalentObjectPropertiesAxiom> |
OWLAxiomIndex.equivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom objects that make the specified property
equivalent to some other object property expression(s). |
default Stream<OWLFunctionalObjectPropertyAxiom> |
OWLAxiomIndex.functionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom objects contained in this ontology that
make the specified object property functional. |
default Set<OWLAsymmetricObjectPropertyAxiom> |
OWLAxiomIndex.getAsymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLAsymmetricObjectPropertyAxiom objects contained in this ontology that
make the specified object property asymmetric. |
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression property)
Gets the axioms that form the definition/description of an object property.
|
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLObjectPropertyExpression property,
boolean includeImportsClosure)
Deprecated.
|
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an object property.
|
default Set<OWLDisjointObjectPropertiesAxiom> |
OWLAxiomIndex.getDisjointObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLDisjointObjectPropertiesAxiom objects that make the specified property
disjoint with some other object property expression(s). |
default Set<OWLEquivalentObjectPropertiesAxiom> |
OWLAxiomIndex.getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
Gets the
OWLEquivalentObjectPropertiesAxiom objects that make the specified property
equivalent to some other object property expression(s). |
default Set<OWLFunctionalObjectPropertyAxiom> |
OWLAxiomIndex.getFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLFunctionalObjectPropertyAxiom objects contained in this ontology that
make the specified object property functional. |
default Set<OWLInverseFunctionalObjectPropertyAxiom> |
OWLAxiomIndex.getInverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology
that make the specified object property inverse functional. |
default Set<OWLInverseObjectPropertiesAxiom> |
OWLAxiomIndex.getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom objects where the specified property is
contained in the set returned by OWLNaryPropertyAxiom.properties() . |
default Set<OWLIrreflexiveObjectPropertyAxiom> |
OWLAxiomIndex.getIrreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property irreflexive. |
default Set<OWLObjectPropertyDomainAxiom> |
OWLAxiomIndex.getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom objects where the property is equal to the
specified property. |
default Set<OWLObjectPropertyRangeAxiom> |
OWLAxiomIndex.getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom objects where the property is equal to the
specified property. |
default Set<OWLSubObjectPropertyOfAxiom> |
OWLAxiomIndex.getObjectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the sub-property is equal to the
specified property. |
default Set<OWLSubObjectPropertyOfAxiom> |
OWLAxiomIndex.getObjectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the super-property is equal to the
specified property. |
default Set<OWLReflexiveObjectPropertyAxiom> |
OWLAxiomIndex.getReflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom objects contained in this ontology that make
the specified object property reflexive. |
default Set<OWLSymmetricObjectPropertyAxiom> |
OWLAxiomIndex.getSymmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxiom objects contained in this ontology that make
the specified object property symmetric. |
default Set<OWLTransitiveObjectPropertyAxiom> |
OWLAxiomIndex.getTransitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property transitive. |
default Stream<OWLInverseFunctionalObjectPropertyAxiom> |
OWLAxiomIndex.inverseFunctionalObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseFunctionalObjectPropertyAxiom objects contained in this ontology
that make the specified object property inverse functional. |
default Stream<OWLInverseObjectPropertiesAxiom> |
OWLAxiomIndex.inverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLInverseObjectPropertiesAxiom objects where the specified property is
contained in the stream returned by OWLNaryPropertyAxiom.properties() . |
default Stream<OWLIrreflexiveObjectPropertyAxiom> |
OWLAxiomIndex.irreflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLIrreflexiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property irreflexive. |
default Stream<OWLObjectPropertyDomainAxiom> |
OWLAxiomIndex.objectPropertyDomainAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyDomainAxiom objects where the property is equal to the
specified property. |
default Stream<OWLObjectPropertyRangeAxiom> |
OWLAxiomIndex.objectPropertyRangeAxioms(OWLObjectPropertyExpression property)
Gets the
OWLObjectPropertyRangeAxiom objects where the property is equal to the
specified property. |
default Stream<OWLSubObjectPropertyOfAxiom> |
OWLAxiomIndex.objectSubPropertyAxiomsForSubProperty(OWLObjectPropertyExpression subProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the sub-property is equal to the
specified property. |
default Stream<OWLSubObjectPropertyOfAxiom> |
OWLAxiomIndex.objectSubPropertyAxiomsForSuperProperty(OWLObjectPropertyExpression superProperty)
Gets the
OWLSubObjectPropertyOfAxiom objects where the super-property is equal to the
specified property. |
default Stream<OWLReflexiveObjectPropertyAxiom> |
OWLAxiomIndex.reflexiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLReflexiveObjectPropertyAxiom objects contained in this ontology that make
the specified object property reflexive. |
default Stream<OWLSymmetricObjectPropertyAxiom> |
OWLAxiomIndex.symmetricObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLSymmetricObjectPropertyAxiom objects contained in this ontology that make
the specified object property symmetric. |
default Stream<OWLTransitiveObjectPropertyAxiom> |
OWLAxiomIndex.transitiveObjectPropertyAxioms(OWLObjectPropertyExpression property)
Gets the
OWLTransitiveObjectPropertyAxiom objects contained in this ontology that
make the specified object property transitive. |
Modifier and Type | Method and Description |
---|---|
Set<OWLObjectPropertyExpression> |
OWL2ProfileReport.getNonSimpleRoles() |
Set<OWLObjectPropertyExpression> |
OWL2ProfileReport.getSimpleRoles() |
Constructor and Description |
---|
OWL2ProfileReport(OWLProfile profile,
Set<OWLProfileViolation> disallowedConstructs,
Set<OWLObjectPropertyExpression> nonSimpleRoles,
Set<OWLObjectPropertyExpression> simpleRoles) |
OWL2ProfileReport(OWLProfile profile,
Set<OWLProfileViolation> disallowedConstructs,
Set<OWLObjectPropertyExpression> nonSimpleRoles,
Set<OWLObjectPropertyExpression> simpleRoles) |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
UseOfPropertyInChainCausesCycle.getExpression() |
OWLObjectPropertyExpression |
UseOfObjectPropertyInverse.getExpression() |
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInIrreflexivePropertyAxiom.getExpression() |
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom.getExpression() |
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInFunctionalPropertyAxiom.getExpression() |
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInDisjointPropertiesAxiom.getExpression() |
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom.getExpression() |
Constructor and Description |
---|
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectPropertyExpression prop) |
UseOfObjectPropertyInverse(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectPropertyExpression propertyExpression) |
UseOfPropertyInChainCausesCycle(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectPropertyExpression property) |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
OWLRDFConsumer.translateObjectPropertyExpression(IRI mainNode)
Translate object property expression.
|
Modifier and Type | Method and Description |
---|---|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.bottomObjectPropertyNode()
Gets the
Node corresponding to the bottom node (containing
owl:bottomObjectProperty ) in the object property hierarchy. |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.disjointObjectProperties(OWLObjectPropertyExpression pe)
Gets the simplified object property expressions that are disjoint with the
specified object property expression
pe . |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.equivalentObjectProperties(OWLObjectPropertyExpression pe)
Gets the stream of simplified object property expressions that are
equivalent to the specified object property expression with respect to the set of reasoner
axioms.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getBottomObjectPropertyNode()
Gets the
Node corresponding to the bottom node (containing
owl:bottomObjectProperty ) in the object property hierarchy. |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe)
Gets the simplified object property expressions that are disjoint with the
specified object property expression
pe . |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are equivalent
to the specified object property expression with respect to the set of reasoner axioms.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are the
inverses of the specified object property expression with respect to the imports closure of
the root ontology.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe) |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the set of simplified object property expressions that are the strict
(potentially direct) subproperties of the specified object property expression with respect
to the imports closure of the root ontology.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe) |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the set of simplified object property expressions that are the strict
(potentially direct) super properties of the specified object property expression with
respect to the imports closure of the root ontology.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getTopObjectPropertyNode()
Gets the
Node corresponding to the top node (containing
owl:topObjectProperty ) in the object property hierarchy. |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.inverseObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are the
inverses of the specified object property expression with respect to the imports closure of
the root ontology.
|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.subObjectProperties(OWLObjectPropertyExpression pe) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.subObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the stream of simplified object property expressions that are the
strict (potentially direct) subproperties of the specified object property expression with
respect to the imports closure of the root ontology.
|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.subObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.superObjectProperties(OWLObjectPropertyExpression pe) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.superObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the stream of simplified object property expressions that are the
strict (potentially direct) super properties of the specified object property expression with
respect to the imports closure of the root ontology.
|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.superObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.topObjectPropertyNode()
Gets the
Node corresponding to the top node (containing
owl:topObjectProperty ) in the object property hierarchy. |
Modifier and Type | Method and Description |
---|---|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.disjointObjectProperties(OWLObjectPropertyExpression pe)
Gets the simplified object property expressions that are disjoint with the
specified object property expression
pe . |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.equivalentObjectProperties(OWLObjectPropertyExpression pe)
Gets the stream of simplified object property expressions that are
equivalent to the specified object property expression with respect to the set of reasoner
axioms.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe)
Gets the simplified object property expressions that are disjoint with the
specified object property expression
pe . |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are equivalent
to the specified object property expression with respect to the set of reasoner axioms.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are the
inverses of the specified object property expression with respect to the imports closure of
the root ontology.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe) |
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this property with respect
to the imports closure of the root ontology.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe) |
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect ranges of this property with respect
to the imports closure of the root ontology.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe) |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the set of simplified object property expressions that are the strict
(potentially direct) subproperties of the specified object property expression with respect
to the imports closure of the root ontology.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe) |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the set of simplified object property expressions that are the strict
(potentially direct) super properties of the specified object property expression with
respect to the imports closure of the root ontology.
|
default NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.inverseObjectProperties(OWLObjectPropertyExpression pe)
Gets the set of simplified object property expressions that are the
inverses of the specified object property expression with respect to the imports closure of
the root ontology.
|
default Stream<OWLClass> |
OWLReasoner.objectPropertyDomains(OWLObjectPropertyExpression pe) |
default Stream<OWLClass> |
OWLReasoner.objectPropertyDomains(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this property with respect
to the imports closure of the root ontology.
|
default Stream<OWLClass> |
OWLReasoner.objectPropertyDomains(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLClass> |
OWLReasoner.objectPropertyRanges(OWLObjectPropertyExpression pe) |
default Stream<OWLClass> |
OWLReasoner.objectPropertyRanges(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect ranges of this property with respect
to the imports closure of the root ontology.
|
default Stream<OWLClass> |
OWLReasoner.objectPropertyRanges(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLNamedIndividual> |
OWLReasoner.objectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe)
Gets the object property values for the specified individual and object property expression.
|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.subObjectProperties(OWLObjectPropertyExpression pe) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.subObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the stream of simplified object property expressions that are the
strict (potentially direct) subproperties of the specified object property expression with
respect to the imports closure of the root ontology.
|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.subObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.superObjectProperties(OWLObjectPropertyExpression pe) |
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.superObjectProperties(OWLObjectPropertyExpression pe,
boolean direct)
Gets the stream of simplified object property expressions that are the
strict (potentially direct) super properties of the specified object property expression with
respect to the imports closure of the root ontology.
|
default Stream<OWLObjectPropertyExpression> |
OWLReasoner.superObjectProperties(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyBottomNode() |
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode() |
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(OWLObjectPropertyExpression prop) |
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression> properties) |
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyTopNode() |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(OWLObjectPropertyExpression prop) |
Modifier and Type | Method and Description |
---|---|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression> properties) |
Constructor and Description |
---|
OWLObjectPropertyNode(OWLObjectPropertyExpression entity) |
OWLObjectPropertyNodeSet(OWLObjectPropertyExpression entity) |
Constructor and Description |
---|
OWLObjectPropertyNode(Collection<OWLObjectPropertyExpression> entities) |
OWLObjectPropertyNode(Stream<OWLObjectPropertyExpression> entities) |
OWLObjectPropertyNodeSet(Node<OWLObjectPropertyExpression> owlObjectPropertyNode) |
OWLObjectPropertyNodeSet(Set<Node<OWLObjectPropertyExpression>> nodes) |
OWLObjectPropertyNodeSet(Stream<Node<OWLObjectPropertyExpression>> nodes) |
Modifier and Type | Method and Description |
---|---|
Node<? extends OWLObjectPropertyExpression> |
OWLKnowledgeExplorerReasoner.getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Modifier and Type | Method and Description |
---|---|
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getBottomObjectPropertyNode() |
NodeSet<OWLObjectPropertyExpression> |
StructuralReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) |
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe) |
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe) |
NodeSet<OWLObjectPropertyExpression> |
StructuralReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
NodeSet<OWLObjectPropertyExpression> |
StructuralReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getTopObjectPropertyNode() |
Modifier and Type | Method and Description |
---|---|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the object properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object property expressions (entities or inverses) which are asserted to be
super-properties of e in the specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
Searcher.inverse(Stream<OWLInverseObjectPropertiesAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve inverses from a collection of inverse axioms.
|
Modifier and Type | Method and Description |
---|---|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the object properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object property expressions (entities or inverses) which are asserted to be
super-properties of e in the specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontologies.
|
static boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static Stream<OWLObjectPropertyExpression> |
Searcher.inverse(Stream<OWLInverseObjectPropertiesAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve inverses from a collection of inverse axioms.
|
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared asymmetric in the ontology.
|
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared asymmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared functional in the ontology.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared inverse functional in the ontology.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared inverse functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared irreflexive in the ontology.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared irreflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared reflexive in the ontology.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared reflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared symmetric in the ontology.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared symmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared transitive in the ontology.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared transitive in a collection of ontologies.
|
static Stream<OWLIndividual> |
Searcher.negValues(Stream<OWLNegativeObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve objects from a collection of negative assertions.
|
static Stream<OWLIndividual> |
Searcher.values(Stream<OWLObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve objects from a collection of assertions.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyManager.getCompositeProperties() |
Collection<Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties() |
static Collection<Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties(Stream<OWLOntology> ontologies) |
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure() |
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure() |
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyManager.getNonSimpleProperties() |
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyHierarchy()
The object property hierarchy relation -> is the smallest relation on object property
expressions for which the following conditions hold (A -> B means that -> holds for A
and B): if Ax contains an axiom SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and
if Ax contains an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2 and PE2 ->
PE1 hold; and if Ax contains an axiom InverseObjectProperties(PE1 PE2), then PE1 ->
INV(PE2) and INV(PE2) -> PE1 hold; and if Ax contains an axiom
SymmetricObjectProperty(PE), then PE -> INV(PE) holds; and if PE1 -> PE2 holds, then
INV(PE1) -> INV(PE2) holds as well.
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyHierarchy()
The object property hierarchy relation -> is the smallest relation on object property
expressions for which the following conditions hold (A -> B means that -> holds for A
and B): if Ax contains an axiom SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and
if Ax contains an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2 and PE2 ->
PE1 hold; and if Ax contains an axiom InverseObjectProperties(PE1 PE2), then PE1 ->
INV(PE2) and INV(PE2) -> PE1 hold; and if Ax contains an axiom
SymmetricObjectProperty(PE), then PE -> INV(PE) holds; and if PE1 -> PE2 holds, then
INV(PE1) -> INV(PE2) holds as well.
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyPartialOrdering() |
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyPartialOrdering() |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLObjectPropertyManager.isComposite(OWLObjectPropertyExpression expression)
An object property expression PE is composite in Ax if Ax contains an axiom of the form
SubObjectPropertyOf(SubObjectPropertyChain(PE1 ...
|
boolean |
OWLObjectPropertyManager.isLessThan(OWLObjectPropertyExpression propA,
OWLObjectPropertyExpression propB) |
boolean |
OWLObjectPropertyManager.isNonSimple(OWLObjectPropertyExpression expression)
The relation ->* is the reflexive-transitive closure of ->.
|
boolean |
OWLObjectPropertyManager.isSubPropertyOf(OWLObjectPropertyExpression sub,
OWLObjectPropertyExpression sup)
Tests to see if one property is a sub property of another property in the reflexive
transitive closure of the property hierarchy.
|
static void |
OWLObjectPropertyManager.tarjan(Stream<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Deque<OWLObjectPropertyExpression> stack,
Map<OWLObjectPropertyExpression,Integer> indexMap,
Map<OWLObjectPropertyExpression,Integer> lowlinkMap,
Set<Set<OWLObjectPropertyExpression>> result,
Set<OWLObjectPropertyExpression> processed,
Set<OWLObjectPropertyExpression> stackProps) |
Modifier and Type | Method and Description |
---|---|
List<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParser.parseObjectPropertyChain() |
Set<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParser.parseObjectPropertyList() |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
BuilderInverseObjectProperties.getInverse() |
OWLObjectPropertyExpression |
BuilderSWRLObjectPropertyAtom.getProperty() |
OWLObjectPropertyExpression |
BaseObjectPropertyBuilder.getProperty() |
Modifier and Type | Method and Description |
---|---|
BuilderInverseObjectProperties |
BuilderInverseObjectProperties.withInverseProperty(OWLObjectPropertyExpression arg) |
BuilderSWRLObjectPropertyAtom |
BuilderSWRLObjectPropertyAtom.withProperty(OWLObjectPropertyExpression arg) |
B |
BaseObjectPropertyBuilder.withProperty(OWLObjectPropertyExpression arg) |
BuilderPropertyChain |
BuilderPropertyChain.withPropertyInChain(OWLObjectPropertyExpression arg) |
Modifier and Type | Method and Description |
---|---|
BuilderPropertyChain |
BuilderPropertyChain.withPropertiesInChain(Collection<OWLObjectPropertyExpression> arg) |
Modifier and Type | Class and Description |
---|---|
class |
OWLObjectInverseOfImpl |
class |
OWLObjectPropertyImpl |
Modifier and Type | Method and Description |
---|---|
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiomImpl.getFirstProperty() |
OWLObjectPropertyExpression |
SWRLObjectPropertyAtomImpl.getPredicate() |
OWLObjectPropertyExpression |
OWLQuantifiedObjectRestrictionImpl.getProperty() |
OWLObjectPropertyExpression |
OWLObjectPropertyCharacteristicAxiomImpl.getProperty() |
OWLObjectPropertyExpression |
OWLObjectHasValueImpl.getProperty() |
OWLObjectPropertyExpression |
OWLObjectHasSelfImpl.getProperty() |
OWLObjectPropertyExpression |
OWLObjectCardinalityRestrictionImpl.getProperty() |
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiomImpl.getSecondProperty() |
OWLObjectPropertyExpression |
OWLSubPropertyChainAxiomImpl.getSuperProperty() |
Modifier and Type | Method and Description |
---|---|
List<OWLObjectPropertyExpression> |
OWLSubPropertyChainAxiomImpl.getPropertyChain() |
Modifier and Type | Method and Description |
---|---|
OWLDisjointObjectPropertiesAxiom |
OWLDataFactoryImpl.getOWLDisjointObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
OWLEquivalentObjectPropertiesAxiom |
OWLDataFactoryImpl.getOWLEquivalentObjectPropertiesAxiom(Collection<? extends OWLObjectPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
OWLSubPropertyChainOfAxiom |
OWLDataFactoryImpl.getOWLSubPropertyChainOfAxiom(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> annotations) |
Constructor and Description |
---|
OWLDisjointObjectPropertiesAxiomImpl(List<OWLObjectPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
OWLEquivalentObjectPropertiesAxiomImpl(List<OWLObjectPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
OWLSubPropertyChainAxiomImpl(List<? extends OWLObjectPropertyExpression> propertyChain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> annotations) |
Copyright © 2020 The University of Manchester. All rights reserved.