| 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 |
OWLInverseObjectPropertiesAxiom.getSecondProperty() |
default OWLObjectPropertyExpression |
OWLObjectPropertyExpression.getSimplified()
Returns this property in its simplified form.
|
OWLObjectPropertyExpression |
OWLSubPropertyChainOfAxiom.getSuperProperty()
Gets the super property of this axiom.
|
| Modifier and Type | Method and Description |
|---|---|
default Set<OWLObjectPropertyExpression> |
OWLHasKeyAxiom.getObjectPropertyExpressions()
Deprecated.
use the stream method
|
List<OWLObjectPropertyExpression> |
OWLSubPropertyChainOfAxiom.getPropertyChain()
Gets the chain of properties that represents the subproperty in this
axiom.
|
default Stream<OWLObjectPropertyExpression> |
OWLHasKeyAxiom.objectPropertyExpressions()
Gets the set of object property expressions that make up the key.
|
| 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,
OWLDisjointObjectPropertiesAxiom axiom,
OWLObjectPropertyExpression prop) |
UseOfObjectPropertyInverse(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectPropertyExpression propertyExpression) |
UseOfPropertyInChainCausesCycle(OWLOntology ontology,
OWLSubPropertyChainOfAxiom axiom,
OWLObjectPropertyExpression property) |
| Modifier and Type | Method and Description |
|---|---|
OWLObjectPropertyExpression |
OWLRDFConsumer.translateObjectPropertyExpression(IRI mainNode)
Translate object property expression.
|
| 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.getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expressions corresponding to equivalent classes of
this class.
|
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> |
Searcher.inverse(Stream<OWLInverseObjectPropertiesAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve inverses from a collection of inverse axioms.
|
| Modifier and Type | Method and Description |
|---|---|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expressions corresponding to equivalent classes of
this class.
|
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 this property that have been asserted in the specified
ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms 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 o)
Checks if e is declared asymmetric in o.
|
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 o)
Checks if e is declared functional in o.
|
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 o)
Checks if e is declared inverse functional in o.
|
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 o)
Checks if e is declared irreflexive in o.
|
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 o)
Checks if e is declared reflexive in o.
|
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 o)
Checks if e is declared symmetric in o.
|
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 o)
Checks if e is declared transitive in o.
|
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(Collection<? extends OWLObjectPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
OWLEquivalentObjectPropertiesAxiomImpl(Collection<? extends OWLObjectPropertyExpression> properties,
Collection<OWLAnnotation> annotations) |
OWLSubPropertyChainAxiomImpl(List<? extends OWLObjectPropertyExpression> propertyChain,
OWLObjectPropertyExpression superProperty,
Collection<OWLAnnotation> annotations) |
Copyright © 2017 The University of Manchester. All rights reserved.